negateAspifLiteral | Clingo.ProgramBuilding |
negateLiteral | Clingo.Internal.Types, Clingo.Propagation, Clingo |
negateTruth | Clingo.Internal.Types, Clingo.Propagation, Clingo.Control, Clingo |
Negation | Clingo.Internal.AST, Clingo.AST |
NegationSign | Clingo.Internal.AST, Clingo.AST |
negative | Clingo.Internal.Types, Clingo.Symbol, Clingo.Propagation, Clingo |
newArray' | Clingo.Internal.AST |
newLiteral | Clingo.Propagation, Clingo |
Node | |
1 (Type/Class) | Clingo.ProgramBuilding |
2 (Data Constructor) | Clingo.ProgramBuilding |
NoSign | Clingo.Internal.AST, Clingo.AST |
NotEqual | Clingo.Internal.AST, Clingo.AST |
NotReady | Clingo.Solving, Clingo |
NumberTerm | Clingo.Inspection.Theory |