Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinetwithdata | |
org.processmining.models.graphbased.directed.petrinetwithdata.unfolding |
Modifier and Type | Method and Description |
---|---|
Literal |
Predicate.negated() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Set<Literal>> |
Guard.getConjuncts() |
Modifier and Type | Method and Description |
---|---|
boolean |
Literal.equals(Literal l) |
Modifier and Type | Method and Description |
---|---|
void |
Guard.addConjunct(java.util.Set<Literal> conjunct) |
Constructor and Description |
---|
PredicateEffect(Predicate pred,
java.util.Set<Literal> conj,
java.lang.String effect) |