Uses of Class
org.processmining.models.graphbased.directed.petrinetwithdata.Predicate

Packages that use Predicate
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
 Predicate Literal.getPred()
           
 

Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type Predicate
 java.util.Set<Predicate> PetriNetWithData.getPredicates()
           
 

Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Predicate
 boolean Predicate.equals(Predicate p)
           
 

Constructors in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Predicate
Literal(Predicate pred, java.lang.Boolean negated)
           
 

Constructor parameters in org.processmining.models.graphbased.directed.petrinetwithdata with type arguments of type Predicate
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
PredicateEffect(Predicate pred, java.util.Set<Literal> conj, java.lang.String effect)