|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DataElement | |
|---|---|
| org.processmining.models.graphbased.directed.petrinetwithdata | |
| org.processmining.models.graphbased.directed.petrinetwithdata.unfolding | |
| Uses of DataElement in org.processmining.models.graphbased.directed.petrinetwithdata |
|---|
| Fields in org.processmining.models.graphbased.directed.petrinetwithdata with type parameters of type DataElement | |
|---|---|
java.util.Map<Transition,java.util.Set<DataElement>> |
PetriNetWithData.destroying_data
|
java.util.Map<Transition,java.util.Set<DataElement>> |
PetriNetWithData.writing_data
|
| Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type DataElement | |
|---|---|
java.util.Set<DataElement> |
Guard.dataOf()
|
java.util.Set<DataElement> |
PetriNetWithData.getDataElements()
|
java.util.Set<DataElement> |
Predicate.getDepData()
|
| Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type DataElement | |
|---|---|
boolean |
PetriNetWithData.isDestroying(Transition t,
DataElement d)
|
boolean |
PetriNetWithData.isReading(Transition t,
DataElement d)
|
boolean |
PetriNetWithData.isWriting(Transition t,
DataElement d)
|
| Method parameters in org.processmining.models.graphbased.directed.petrinetwithdata with type arguments of type DataElement | |
|---|---|
void |
PetriNetWithData.assignDataOperation(Transition t,
java.util.Set<DataElement> data_elements,
java.lang.String type)
|
| Constructor parameters in org.processmining.models.graphbased.directed.petrinetwithdata with type arguments of type DataElement | |
|---|---|
PetriNetWithData(java.lang.String label,
java.util.Set<DataElement> data_elements,
java.util.Set<Predicate> pred_set)
|
|
Predicate(java.lang.String name,
java.util.Set<DataElement> dep_data)
|
|
| Uses of DataElement in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding |
|---|
| Constructors in org.processmining.models.graphbased.directed.petrinetwithdata.unfolding with parameters of type DataElement | |
|---|---|
DataEffect(DataElement data_elem,
java.lang.String effect)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||