Crate clingo [−] [src]
Modules
ast |
Functions and data structures to work with program ASTs. |
Structs
Assignment |
Represents a (partial) assignment of a particular solver. |
AstStatement |
Representation of a program statement. |
Atom |
Unsigned integer type used for aspif atoms. |
Backend |
Handle to the backend to add directives in aspif format. |
ClingoError |
Error from the clingo library. |
Configuration |
Handle for to the solver configuration. |
ConfigurationType |
Bitset describing the entries of the configuration. |
Control |
Control object holding grounding and solving state. |
Error |
The |
Id |
Unsigned integer type used in various places. |
Literal |
Signed integer type used for aspif and solver literals. |
Location |
Represents a source code location marking its beginnig and end. |
Model |
Represents a model. |
Part |
Struct used to specify the program parts that have to be grounded. |
ProgramBuilder |
Object to build non-ground programs. |
PropagateControl |
This object can be used to add clauses and propagate literals while solving. |
PropagateInit |
Object to initialize a user-defined propagator before each solving step. |
ShowType |
Bitset describing symbols in models. |
Signature |
Represents a predicate signature. |
SolveControl |
Object to add clauses during search. |
SolveHandle |
Search handle to a solve call. |
SolveMode |
Bitset describing solve modes. |
SolveResult |
Bitset that describes the result of a solve call. |
Statistics |
Handle for to the solver statistics. |
Symbol |
Represents a symbol. |
SymbolicAtom |
A symbolic atom in a program. |
SymbolicAtoms |
Container that stores symbolic atoms in a program -- the relevant Herbrand base gringo uses to instantiate programs. |
SymbolicAtomsIterator |
An iterator over symbolic atoms. |
SymbolicLiteral |
Represents a symbolic literal. |
TheoryAtoms |
Container that stores theory atoms, elements, and terms of a program. |
TheoryAtomsIterator |
Iterator over theory atoms. |
WeightedLiteral |
A Literal with an associated weight. |
WrapperError |
Error in the rust wrapper, like null pointers or failed calls to C functions. |
Enums
ClauseType |
Enumeration of clause types determining the lifetime of a clause. |
ErrorType |
Enumeration of clingo error types for |
ExternalType |
Enumeration of different external statements. |
HeuristicType |
Enumeration of different heuristic modifiers. |
ModelType |
Enumeration for the different model types. |
PropagatorCheckMode |
Supported check modes for propagators. |
SolveEventType |
Enumeration of solve events. |
StatisticsType |
Enumeration for entries of the statistics. |
SymbolType |
Enumeration of available symbol types. |
TheoryTermType |
Enumeration of theory term types. |
TruthValue |
Represents three-valued truth values. |
Warning |
Enumeration of warning codes. |
Traits
AstStatementHandler | |
ExternalFunctionHandler | |
GroundProgramObserver | |
Logger | |
Propagator |
An instance of this trait has to be registered with a solver to implement a custom propagator. |
SolveEventHandler |
Functions
add_string |
Internalize a string. |
parse_program |
Parse the given program and return an abstract syntax tree for each statement via a callback. |
parse_program_with_logger |
Parse the given program and return an abstract syntax tree for each statement via a callback. |
parse_term |
Parse a term in string form. |
parse_term_with_logger |
Parse a term in string form. |
set_error |
Set an error code and message in the active thread. |
version |
Obtain the clingo version. |