Package edu.harvard.seas.pl.abcdatalog.engine.bottomup

Class AnnotatedAtom

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom

All Implemented Interfaces:

Premise

public class AnnotatedAtom
extends Object
implements Premise

An annotated atom. In certain evaluation algorithms (such as semi-naive evaluation) it is helpful to have an annotation associated with an atom.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	AnnotatedAtom.Annotation

Constructor Summary

Constructors

Constructor	Description
AnnotatedAtom(PositiveAtom atom, AnnotatedAtom.Annotation anno)

Method Summary

Modifier and Type	Method	Description
<I, O> O	accept(PremiseVisitor<I,O> visitor, I state)
Premise	applySubst(Substitution subst)
PositiveAtom	asUnannotatedAtom()
AnnotatedAtom.Annotation	getAnnotation()
Term[]	getArgs()
PredicateSym	getPred()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

AnnotatedAtom

public AnnotatedAtom(PositiveAtom atom,
 AnnotatedAtom.Annotation anno)

Method Details

getArgs

public Term[] getArgs()

getPred

public PredicateSym getPred()

asUnannotatedAtom

public PositiveAtom asUnannotatedAtom()

getAnnotation

public AnnotatedAtom.Annotation getAnnotation()

accept

public <I,
O> O accept(PremiseVisitor<I,O> visitor,
 I state)

Specified by:

accept in interface Premise

toString

public String toString()

Overrides:

toString in class Object

applySubst

public Premise applySubst(Substitution subst)

Specified by:

applySubst in interface Premise