public class TermBuffer extends java.lang.Object implements ProjectionToTerm
LetFeature
and ForEachCP
.Constructor and Description |
---|
TermBuffer() |
Modifier and Type | Method and Description |
---|---|
Term |
getContent() |
void |
setContent(Term t) |
Term |
toTerm(RuleApp app,
PosInOccurrence pos,
Goal goal) |
private Term t
public Term getContent()
public void setContent(Term t)
public Term toTerm(RuleApp app, PosInOccurrence pos, Goal goal)
toTerm
in interface ProjectionToTerm