Package edu.harvard.seas.pl.abcdatalog.ast

Interface Premise

All Known Implementing Classes:

AnnotatedAtom, BinaryDisunifier, BinaryUnifier, NegatedAtom, PositiveAtom

public interface Premise

A premise in the body of a clause. This interface is under-specified to allow the addition of new language features.

Method Summary

Modifier and Type	Method	Description
<I, O> O	accept(PremiseVisitor<I,O> visitor, I state)
Premise	applySubst(Substitution subst)

Method Details

accept

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

applySubst

Premise applySubst(Substitution subst)