List of all items
Structs
- AggregateBody
- Atom
- ConstantSymbol
- DatalogCapabilities
- DatalogProfile
- GroundAtom
- PredicateSymbol
- Program
- Rule
- Stratification
- Stratum
- UnsupportedCapabilities
- VariableSymbol
Enums
- Aggregator
- BindExpr
- BindingKind
- BuiltinFilter
- DatalogFeature
- EqualityMode
- FilterKind
- GroundTerm
- Literal
- ProfileCheckError
- ProgramValidationError
- StratificationError
- Term
- TermShapeError