Uses of Class
org.processmining.models.graphbased.directed.petrinetwithdata.DataElement

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)