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

Packages that use Guard

org.processmining.models.graphbased.directed.petrinetwithdata

Uses of Guard in org.processmining.models.graphbased.directed.petrinetwithdata

Methods in org.processmining.models.graphbased.directed.petrinetwithdata that return types with arguments of type Guard

java.util.Map<Transition,Guard>

PetriNetWithData.getGuards()

Methods in org.processmining.models.graphbased.directed.petrinetwithdata with parameters of type Guard

void	Guard.addGuardAND(Guard grd)
void	Guard.addGuardOR(Guard grd)
void	PetriNetWithData.assignGuard(Transition t, Guard grd)