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)