Fixpoint3.Predicate.PredType

PredType describes the three types of predicates that exists in a RAM program.

Full relations contains all facts computed for a relation.

Delta relations contains, in iteration i, all facts computed in iteration i-1 in fixpoints computations.

New relations contains, in iteration i, all facts computed in iteration i in fixpoints computations.