Class AdornedAtom

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.topdown.AdornedAtom

public class AdornedAtom
extends Object

An adorned atom (i.e., an atom where every argument is marked as either bound or free).

Constructor Summary

Constructors

Constructor	Description
AdornedAtom(AdornedPredicateSym pred, Term[] args)	Constructs an adorned atom with the given predicate symbol and arguments.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Term[]	getArgs()
AdornedPredicateSym	getPred()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

AdornedAtom

public AdornedAtom(AdornedPredicateSym pred,
 Term[] args)

Constructs an adorned atom with the given predicate symbol and arguments.

Parameters:

pred - adorned predicate symbol

args - arguments

Method Details

toString

public String toString()

Overrides:

toString in class Object

getPred

public AdornedPredicateSym getPred()

getArgs

public Term[] getArgs()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object