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

Packages that use DataElement

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

Modifier and Type	Field and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Constructor and Description
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

Constructor and Description
DataEffect(DataElement data_elem, java.lang.String effect)