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	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	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	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	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	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	Description
DataEffect(DataElement data_elem, java.lang.String effect)