|
||||||||||
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 |