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

Packages that use AndPredicate

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

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

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

Modifier and Type	Method	Description
static AndPredicate	Predicates.newAndPredicate(CIVLStatePredicate predicate)