Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinetwithdata | |
org.processmining.models.graphbased.directed.petrinetwithdata.unfolding |
Modifier and Type | Method and Description |
---|---|
Predicate |
Literal.getPred() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Predicate> |
PetriNetWithData.getPredicates() |
Modifier and Type | Method and Description |
---|---|
boolean |
Predicate.equals(Predicate p) |
Constructor and Description |
---|
Literal(Predicate pred,
java.lang.Boolean negated) |
Constructor and Description |
---|
PetriNetWithData(java.lang.String label,
java.util.Set<DataElement> data_elements,
java.util.Set<Predicate> pred_set) |
Constructor and Description |
---|
PredicateEffect(Predicate pred,
java.util.Set<Literal> conj,
java.lang.String effect) |