org.processmining.models.graphbased.directed.petrinetwithdata
Class Guard
java.lang.Object
org.processmining.models.graphbased.directed.petrinetwithdata.Guard
public class Guard
- extends java.lang.Object
Constructor Summary |
Guard()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Guard
public Guard()
addConjunct
public void addConjunct(java.util.Set<Literal> conjunct)
getConjuncts
public java.util.Set<java.util.Set<Literal>> getConjuncts()
addGuardOR
public void addGuardOR(Guard grd)
addGuardAND
public void addGuardAND(Guard grd)
dataOf
public java.util.Set<DataElement> dataOf()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object