Module dev.civl.mc

Package dev.civl.mc.predicate.IF

Class Predicates

java.lang.Object

dev.civl.mc.predicate.IF.Predicates

public class Predicates
extends Object

Constructor Summary

Constructors

Constructor	Description
Predicates()

Method Summary

Modifier and Type	Method	Description
static AndPredicate	newAndPredicate(CIVLStatePredicate predicate)
static Deadlock	newDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe, Enabler enabler, StateFactory stateFactory, SymbolicAnalyzer symbolicAnalyzer)
static FunctionalEquivalence	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)
static PotentialDeadlock	newPotentialDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe, Enabler enabler, LibraryEnablerLoader loader, Evaluator evaluator, ModelFactory modelFactory, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)
static TrivialPredicate	newTrivialPredicate()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Predicates

public Predicates()

Method Details

newDeadlock

public static Deadlock newDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe,
 Enabler enabler,
 StateFactory stateFactory,
 SymbolicAnalyzer symbolicAnalyzer)

newPotentialDeadlock

public static PotentialDeadlock newPotentialDeadlock(dev.civl.sarl.IF.SymbolicUniverse universe,
 Enabler enabler,
 LibraryEnablerLoader loader,
 Evaluator evaluator,
 ModelFactory modelFactory,
 SymbolicUtility symbolicUtil,
 SymbolicAnalyzer symbolicAnalyzer)

newFunctionalEquivalence

public static FunctionalEquivalence 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)

newAndPredicate

public static AndPredicate newAndPredicate(CIVLStatePredicate predicate)

newTrivialPredicate

public static TrivialPredicate newTrivialPredicate()