List of all items

Structs

• AllModels
• Assignment
• Atom
• Backend
• Configuration
• ConfigurationType
• DefaultCtx
• ExternalError
• FactBase
• GenericControl
• GenericSolveHandle
• Id
• MModel
• Model
• OptimalModels
• Options
• Part
• PropagateControl
• PropagateInit
• ShowType
• Signature
• SolveControl
• SolveMode
• SolveResult
• SolverLiteral
• Statistics
• Symbol
• SymbolicAtom
• SymbolicAtoms
• SymbolicAtomsIterator
• TheoryAtoms
• TheoryAtomsIterator
• WeightedLiteral
• ast::Aggregate
• ast::AtomicLiteral
• ast::BasicLiteral
• ast::BinaryOperation
• ast::BodyAggregate
• ast::BodyAggregateElement
• ast::BodyAtom
• ast::BodyLiteral
• ast::Comparison
• ast::ConditionalLiteral
• ast::Defined
• ast::Definition
• ast::Disjoint
• ast::DisjointElement
• ast::Disjunction
• ast::Edge
• ast::External
• ast::Function
• ast::Guard
• ast::Head
• ast::HeadAggregate
• ast::HeadAggregateElement
• ast::Heuristic
• ast::Id
• ast::Interval
• ast::Literal
• ast::Location
• ast::Minimize
• ast::Pool
• ast::Program
• ast::ProgramBuilder
• ast::ProjectAtom
• ast::ProjectSignature
• ast::Rule
• ast::Script
• ast::ShowSignature
• ast::ShowTerm
• ast::Statement
• ast::SymbolicAtom
• ast::SymbolicTerm
• ast::Term
• ast::TheoryAtom
• ast::TheoryAtomDefinition
• ast::TheoryAtomElement
• ast::TheoryDefinition
• ast::TheoryFunction
• ast::TheoryGuard
• ast::TheoryGuardDefinition
• ast::TheoryOperatorDefinition
• ast::TheorySequence
• ast::TheoryTerm
• ast::TheoryTermDefinition
• ast::TheoryUnparsedTerm
• ast::TheoryUnparsedTermElement
• ast::UnaryOperation
• ast::Variable
• defaults::Non

Enums

• ClauseType
• ClingoError
• ErrorCode
• ErrorType
• ExternalType
• HeuristicType
• ModelType
• PropagatorCheckMode
• SolveEvent
• StatisticsType
• SymbolType
• TheoryTermType
• TruthValue
• Warning
• WeigthConstraintType
• ast::AggregateFunction
• ast::BinaryOperator
• ast::BodyLiteralIsA
• ast::ComparisonOperator
• ast::HeadIsA
• ast::Sign
• ast::StatementIsA
• ast::TermIsA
• ast::TheoryAtomType
• ast::TheoryOperatorType
• ast::TheoryTermSequenceType
• ast::UnaryOperator
• theory::TheoryValue

Traits

• ControlCtx
• FromSymbol
• FunctionHandler
• GroundProgramObserver
• Logger
• Propagator
• SolveEventHandler
• ToSymbol
• ast::StatementHandler
• theory::Theory

Derive Macros

• ToSymbol

Functions

• add_string
• ast::aggregate
• ast::atomic_literal_from_body_atom
• ast::basic_literal_from_boolean_constant
• ast::basic_literal_from_comparison
• ast::basic_literal_from_symbolic_atom
• ast::binary_operation
• ast::body_aggregate
• ast::body_aggregate_element
• ast::comparison
• ast::conditional_literal
• ast::defined
• ast::definition
• ast::disjunction
• ast::edge
• ast::external
• ast::function
• ast::guard
• ast::head_aggregate
• ast::head_aggregate_element
• ast::heuristic
• ast::id
• ast::interval
• ast::minimize
• ast::parse_string_with_statement_handler
• ast::pool
• ast::program
• ast::project_atom
• ast::project_signature
• ast::rule
• ast::script
• ast::show_signature
• ast::show_term
• ast::symbolic_atom
• ast::symbolic_term
• ast::theory_atom
• ast::theory_atom_definition
• ast::theory_atom_element
• ast::theory_definition
• ast::theory_function
• ast::theory_guard
• ast::theory_guard_definition
• ast::theory_operator_definition
• ast::theory_sequence
• ast::theory_term_definition
• ast::theory_unparsed_term
• ast::theory_unparsed_term_element
• ast::unary_operation
• ast::variable
• control
• control_with_context
• parse_term
• parse_term_with_logger
• set_error
• version

Type Aliases

• Control
• SolveHandle