Uses of Class
org.processmining.models.graphbased.directed.petrinetwithdata.Predicate
-
Packages that use Predicate Package Description org.processmining.models.graphbased.directed.petrinetwithdata org.processmining.models.graphbased.directed.petrinetwithdata.unfolding -
-
Uses of Predicate in org.processmining.models.graphbased.directed.petrinetwithdata
Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return Predicate Modifier and Type Method Description PredicateLiteral. getPred()Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type Predicate Modifier and Type Method Description java.util.Set<Predicate>PetriNetWithData. getPredicates()Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Predicate Modifier and Type Method Description booleanPredicate. equals(Predicate p)Constructors in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Predicate Constructor Description Literal(Predicate pred, java.lang.Boolean negated) -
Uses of Predicate in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding
Constructors in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding with parameters of type Predicate Constructor Description PredicateEffect(Predicate pred, java.util.Set<Literal> conj, java.lang.String effect)
-