public class Guard
extends java.lang.Object
Constructor and Description |
---|
Guard() |
Modifier and Type | Method and 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() |
public void addConjunct(java.util.Set<Literal> conjunct)
public java.util.Set<java.util.Set<Literal>> getConjuncts()
public void addGuardOR(Guard grd)
public void addGuardAND(Guard grd)
public java.util.Set<DataElement> dataOf()
public java.lang.String toString()
toString
in class java.lang.Object