Backend | |
1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
3 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
4 (Data Constructor) | Clingo.Internal.Types |
backend | Clingo.Control, Clingo |
backendAcycEdge | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendAddAtom | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendAssume | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendExternal | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendHeuristic | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendMinimize | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendProject | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendRule | Clingo.Raw.ProgramBuilding, Clingo.Raw |
backendWeightRule | Clingo.Raw.ProgramBuilding, Clingo.Raw |
BinaryOperation | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
BinaryOperator | Clingo.Internal.AST, Clingo.AST |
BinLeft | Clingo.Internal.AST, Clingo.AST |
BinRight | Clingo.Internal.AST, Clingo.AST |
Body | Clingo.Internal.AST, Clingo.AST |
BodyAggregate | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
BodyAggregateElement | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
BodyBodyAggregate | Clingo.Internal.AST, Clingo.AST |
BodyConditional | Clingo.Internal.AST, Clingo.AST |
BodyDisjoint | Clingo.Internal.AST, Clingo.AST |
BodyLitAggregate | Clingo.Internal.AST, Clingo.AST |
BodyLiteral | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
BodyTheoryAtom | Clingo.Internal.AST, Clingo.AST |
BraveConsequences | |
1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
2 (Data Constructor) | Clingo.Model, Clingo |