Clingo
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
Clingo::Part Struct Reference
C++ API » Grounding and Solving

A program part to provide inputs to program directives. More...

#include <control.hh>

Public Member Functions

 Part (std::string name, SymbolVector params={})
 Constructs a program part with the given name and parameters.
 

Public Attributes

std::string name
 The name of the part.
 
SymbolVector params
 The parameters of the part.
 

Detailed Description

A program part to provide inputs to program directives.

Constructor & Destructor Documentation

◆ Part()

Clingo::Part::Part ( std::string  name,
SymbolVector  params = {} 
)
inline

Constructs a program part with the given name and parameters.

Parameters
namethe name of the part
paramsthe parameters of the part
The documentation for this struct was generated from the following file: