Package edu.udel.cis.vsl.civl.predicate.IF

Class Predicates

java.lang.Object

edu.udel.cis.vsl.civl.predicate.IF.Predicates

public class Predicates
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Predicates()

Method Summary

Modifier and Type	Method	Description
static AndPredicate	newAndPredicate(CIVLStatePredicate predicate)
static Deadlock	newDeadlock(edu.udel.cis.vsl.sarl.IF.SymbolicUniverse universe, Enabler enabler, SymbolicAnalyzer symbolicAnalyzer)
static FunctionalEquivalence	newFunctionalEquivalence(edu.udel.cis.vsl.sarl.IF.SymbolicUniverse universe, SymbolicAnalyzer symbolicAnalyzer, java.lang.String[] outputNames, java.util.Map<edu.udel.cis.vsl.sarl.IF.expr.BooleanExpression,java.util.Set<Pair<State,edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression[]>>> specOutputs)
static PotentialDeadlock	newPotentialDeadlock(edu.udel.cis.vsl.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

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

Constructor Detail

Predicates

public Predicates()

Method Detail

newDeadlock

public static Deadlock newDeadlock(edu.udel.cis.vsl.sarl.IF.SymbolicUniverse universe,
                                   Enabler enabler,
                                   SymbolicAnalyzer symbolicAnalyzer)

newPotentialDeadlock

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

newFunctionalEquivalence

public static FunctionalEquivalence newFunctionalEquivalence(edu.udel.cis.vsl.sarl.IF.SymbolicUniverse universe,
                                                             SymbolicAnalyzer symbolicAnalyzer,
                                                             java.lang.String[] outputNames,
                                                             java.util.Map<edu.udel.cis.vsl.sarl.IF.expr.BooleanExpression,java.util.Set<Pair<State,edu.udel.cis.vsl.sarl.IF.expr.SymbolicExpression[]>>> specOutputs)

newAndPredicate

public static AndPredicate newAndPredicate(CIVLStatePredicate predicate)

newTrivialPredicate

public static TrivialPredicate newTrivialPredicate()