|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Literal | |
|---|---|
| org.processmining.models.graphbased.directed.petrinetwithdata | |
| org.processmining.models.graphbased.directed.petrinetwithdata.unfolding | |
| Uses of Literal in org.processmining.models.graphbased.directed.petrinetwithdata |
|---|
| Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return Literal | |
|---|---|
Literal |
Predicate.negated()
|
| Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type Literal | |
|---|---|
java.util.Set<java.util.Set<Literal>> |
Guard.getConjuncts()
|
| Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Literal | |
|---|---|
boolean |
Literal.equals(Literal l)
|
| Method parameters in org.processmining.models.graphbased.directed.petrinetwithdata with type arguments of type Literal | |
|---|---|
void |
Guard.addConjunct(java.util.Set<Literal> conjunct)
|
| Uses of Literal in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding |
|---|
| Constructor parameters in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding with type arguments of type Literal | |
|---|---|
PredicateEffect(Predicate pred,
java.util.Set<Literal> conj,
java.lang.String effect)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||