Uses of Interface
dev.civl.mc.predicate.IF.TrivialPredicate

Packages that use TrivialPredicate

Package	Description
dev.civl.mc.predicate.IF	Module predicate defines predicates that are required to hold for any CIVL-C programs.

Uses of TrivialPredicate in dev.civl.mc.predicate.IF

Methods in dev.civl.mc.predicate.IF that return TrivialPredicate

Modifier and Type	Method	Description
static TrivialPredicate	Predicates.newTrivialPredicate()