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

Interface Head

All Known Implementing Classes:

PositiveAtom

public interface Head

The head 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(HeadVisitor<I,O> visitor, I state)
Head	applySubst(Substitution subst)

Method Details

accept

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

applySubst

Head applySubst(Substitution subst)