edu.udo.cs.ie.cowbots.logic
Class SymbolicSet
java.lang.Object
edu.udo.cs.ie.cowbots.logic.SymbolicSet
public class SymbolicSet
- extends java.lang.Object
this class represents a symbolic set, which is
a set of local variables over a set of literals.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
variables
java.util.List<java.lang.String> variables
literals
java.util.List<ELPLiteral> literals
SymbolicSet
public SymbolicSet()
addVariable
public void addVariable(java.lang.String varname)
addLiteral
public void addLiteral(ELPLiteral lit)
getVariables
public java.util.List<java.lang.String> getVariables()
getLiterals
public java.util.List<ELPLiteral> getLiterals()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object