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 and Description
Predicate	Literal.getPred()

Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type Predicate

Modifier and Type	Method and Description
java.util.Set<Predicate>	PetriNetWithData.getPredicates()

Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Predicate

Modifier and Type	Method and Description
boolean	Predicate.equals(Predicate p)

Constructors in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Predicate

Constructor and Description
Literal(Predicate pred, java.lang.Boolean negated)

Constructor parameters in org.processmining.models.graphbased.directed.petrinetwithdata with type arguments of type Predicate

Constructor and Description
PetriNetWithData(java.lang.String label, java.util.Set<DataElement> data_elements, java.util.Set<Predicate> pred_set)

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 and Description
PredicateEffect(Predicate pred, java.util.Set<Literal> conj, java.lang.String effect)