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