edu.udo.cs.ie.cowbots.logic
Class SymbolicSet

Package class diagram package SymbolicSet
java.lang.Object
  extended by 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.


Field Summary
(package private)  java.util.List<ELPLiteral> literals
           
(package private)  java.util.List<java.lang.String> variables
           
 
Constructor Summary
SymbolicSet()
           
 
Method Summary
 void addLiteral(ELPLiteral lit)
           
 void addVariable(java.lang.String varname)
           
 java.util.List<ELPLiteral> getLiterals()
           
 java.util.List<java.lang.String> getVariables()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

variables

java.util.List<java.lang.String> variables

literals

java.util.List<ELPLiteral> literals
Constructor Detail

SymbolicSet

public SymbolicSet()
Method Detail

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