Interface Term

All Known Implementing Classes:

Constant, Variable

public interface Term

A Datalog term (i.e., a constant or variable).

Method Summary

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

Method Details

accept

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

applySubst

Term applySubst(Substitution subst)