Package 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

Constructors

Constructor	Description
Guard()

Method Summary

Modifier and Type	Method	Description
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