Fixpoint3.Ast.ExecutableRam.BoolExp
enum BoolExpSourcecase Not(BoolExp)case IsEmpty(Int32)case NotMemberOf(Vector[RamTerm], Int32, BoxedDenotation)case Leq(Boxed, Boxed -> (Boxed -> Bool), Int32)case Eq(RamTerm, RamTerm)case Guard1(Boxed -> Bool, RamTerm)case Guard2(Boxed -> (Boxed -> Bool), RamTerm, RamTerm)case Guard3(Boxed -> (Boxed -> (Boxed -> Bool)), RamTerm, RamTerm, RamTerm)case Guard4(Boxed -> (Boxed -> (Boxed -> (Boxed -> Bool))), RamTerm, RamTerm, RamTerm, RamTerm)case Guard5(Boxed -> (Boxed -> (Boxed -> (Boxed -> (Boxed -> Bool)))), RamTerm, RamTerm, RamTerm, RamTerm, RamTerm)Not(b): True if b is false.
IsEmpty(index): True if there are no facts in the index at index.
NotMemberOf(terms, index, den): True if terms is not a fact in the facts
placed at index.
Leq(const, pos): True if const is less than the lattice element of pos.
Eq(t1, t2): True if t1 == t2.
Guard1(f, term1): True if f(term1) == true.
Guard2(f, term1, term2): True if f(term1, term2) == true.
Guard3(f, term1, term2, term3): True if f(term1, term2, term3) == true.
Guard4(f, term1, term2, term3, term4): True if f(term1, term2, term3, term4) == true.
Guard5(f, term1, term2, term3, term4, term5): True if f(term1, term2, term3, term4, term5) == true.