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

Packages that use FunctionalEquivalence

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

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

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

Modifier and Type	Method	Description
static FunctionalEquivalence	Predicates.newFunctionalEquivalence(dev.civl.sarl.IF.SymbolicUniverse universe, SymbolicAnalyzer symbolicAnalyzer, String[] outputNames, Map<dev.civl.sarl.IF.expr.BooleanExpression,Set<Pair<State,dev.civl.sarl.IF.expr.SymbolicExpression[]>>> specOutputs)