BodyPredicate

enum BodyPredicateSource

case BodyAtom(PredSym, BoxedDenotation, Polarity, Fixity, Vector[BodyTerm])

case Functional(Vector[VarSym], Vector[Boxed] -> Vector[Vector[Boxed]], Vector[VarSym])

case Guard0(Unit -> Bool)

case Guard1(Boxed -> Bool, VarSym)

case Guard2(Boxed -> (Boxed -> Bool), VarSym, VarSym)

case Guard3(Boxed -> (Boxed -> (Boxed -> Bool)), VarSym, VarSym, VarSym)

case Guard4(Boxed -> (Boxed -> (Boxed -> (Boxed -> Bool))), VarSym, VarSym, VarSym, VarSym)

case Guard5(Boxed -> (Boxed -> (Boxed -> (Boxed -> (Boxed -> Bool)))), VarSym, VarSym, VarSym, VarSym, VarSym)

Represents a predicate in the body of a rule: an atom, a functional, or a guard.

Instances