tuffy.ra
Class AtomEx

java.lang.Object
  extended by tuffy.ra.AtomEx

public class AtomEx
extends java.lang.Object

STILL IN DEVELOPMENT. An atomic formula with possibly functional arguments.


Constructor Summary
AtomEx(Predicate predicate)
           
 
Method Summary
 void appendTerm(Expression t)
          Appends a new term.
 java.util.ArrayList<Expression> getArguments()
           
 Predicate getPred()
          Returns the predicate of this literal.
 java.util.HashSet<java.lang.String> getVars()
          Returns the set of variable names in this literal.
 boolean isBuiltIn()
           
 java.lang.String toSQL()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtomEx

public AtomEx(Predicate predicate)
Method Detail

appendTerm

public void appendTerm(Expression t)
Appends a new term.

Parameters:
t - the term to be appended

getArguments

public java.util.ArrayList<Expression> getArguments()

getPred

public Predicate getPred()
Returns the predicate of this literal.


getVars

public java.util.HashSet<java.lang.String> getVars()
Returns the set of variable names in this literal.


isBuiltIn

public boolean isBuiltIn()

toSQL

public java.lang.String toSQL()