public final class FunctionsTransformations
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static boolean |
hasFunction(org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PNWDTransition pnwdTransition) |
static org.processmining.datapetrinets.expression.GuardExpression |
transformExpression(org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PNWDTransition transition,
com.google.common.collect.SetMultimap<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> nameToTransition,
com.google.common.collect.SetMultimap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,VirtualVariable> virtualVariables,
com.google.common.collect.ImmutableMap<java.lang.String,Variable> normalVariables,
WriteOperationCost writeOperationCost) |
public static org.processmining.datapetrinets.expression.GuardExpression transformExpression(org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PNWDTransition transition, com.google.common.collect.SetMultimap<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> nameToTransition, com.google.common.collect.SetMultimap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,VirtualVariable> virtualVariables, com.google.common.collect.ImmutableMap<java.lang.String,Variable> normalVariables, WriteOperationCost writeOperationCost)
public static boolean hasFunction(org.processmining.models.graphbased.directed.petrinetwithdata.newImpl.PNWDTransition pnwdTransition)