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

java.lang.Object
  extended by org.processmining.models.graphbased.directed.petrinetwithdata.Guard

public class Guard
extends java.lang.Object


Constructor Summary
Guard()
           
 
Method Summary
 void addConjunct(java.util.Set<Literal> conjunct)
           
 void addGuardAND(Guard grd)
           
 void addGuardOR(Guard grd)
           
 java.util.Set<DataElement> dataOf()
           
 java.util.Set<java.util.Set<Literal>> getConjuncts()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Guard

public Guard()
Method Detail

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