tuffy.ra
Class AtomEx

java.lang.Object
  tuffy.ra.AtomEx

public class AtomEx
extends java.lang.Object

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

Field Summary

private java.util.ArrayList<Expression>	args
private Predicate	pred
private java.util.HashSet<java.lang.String>	vars

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

Field Detail

pred

private Predicate pred

args

private java.util.ArrayList<Expression> args

vars

private java.util.HashSet<java.lang.String> vars

Constructor Detail

AtomEx

public AtomEx(Predicate predicate)

Method Detail

getArguments

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

isBuiltIn

public boolean isBuiltIn()

getVars

public java.util.HashSet<java.lang.String> getVars()

Returns the set of variable names in this literal.

getPred

public Predicate getPred()

Returns the predicate of this literal.

toSQL

public java.lang.String toSQL()

appendTerm

public void appendTerm(Expression t)

Appends a new term.

Parameters:

t - the term to be appended