edu.lehigh.swat.hawk.storage.simpledb
Class Atom

java.lang.Object
  extended by edu.lehigh.swat.hawk.storage.simpledb.Atom

public class Atom
extends java.lang.Object

A logical atom. An atom consists of a predicate and a set of arguments. The arguments may be variables or literals. If they are variables, then they are preceded by a question mark.


Constructor Summary
Atom(java.lang.String predicate, java.lang.String arg)
          A shorthand constructor for an atom with a unary predicate.
Atom(java.lang.String predicate, java.lang.String[] arguments)
           
Atom(java.lang.String predicate, java.lang.String arg1, java.lang.String arg2)
          A shorthand constructor for an atom with a binary predicate.
 
Method Summary
 java.lang.String[] getArguments()
          Return an array of the atom's arguments.
 java.lang.String getPredicate()
          Return the name of the atom's predicate.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Atom

public Atom(java.lang.String predicate,
            java.lang.String[] arguments)

Atom

public Atom(java.lang.String predicate,
            java.lang.String arg1,
            java.lang.String arg2)
A shorthand constructor for an atom with a binary predicate.


Atom

public Atom(java.lang.String predicate,
            java.lang.String arg)
A shorthand constructor for an atom with a unary predicate.

Method Detail

getPredicate

public java.lang.String getPredicate()
Return the name of the atom's predicate.


getArguments

public java.lang.String[] getArguments()
Return an array of the atom's arguments.


toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object