|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |