public abstract class SubtermGenerator extends java.lang.Object implements TermGenerator
RecSubTermFeature
, a term feature can be given
that determines when traversal should be stopped, i.e., when one should not
descend further into a term.Modifier and Type | Class and Description |
---|---|
(package private) class |
SubtermGenerator.LeftIterator |
(package private) class |
SubtermGenerator.RightIterator |
(package private) class |
SubtermGenerator.SubIterator |
Modifier and Type | Field and Description |
---|---|
private ProjectionToTerm |
completeTerm |
private TermFeature |
cond |
Modifier | Constructor and Description |
---|---|
private |
SubtermGenerator(ProjectionToTerm completeTerm,
TermFeature cond) |
Modifier and Type | Method and Description |
---|---|
private boolean |
descendFurther(Term t,
Services services) |
protected Term |
getTermInst(RuleApp app,
PosInOccurrence pos,
Goal goal) |
static TermGenerator |
leftTraverse(ProjectionToTerm cTerm,
TermFeature cond)
Left-traverse the subterms of a term in depth-first order.
|
static TermGenerator |
rightTraverse(ProjectionToTerm cTerm,
TermFeature cond)
Right-traverse the subterms of a term in depth-first order.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
generate
private final TermFeature cond
private final ProjectionToTerm completeTerm
private SubtermGenerator(ProjectionToTerm completeTerm, TermFeature cond)
public static TermGenerator leftTraverse(ProjectionToTerm cTerm, TermFeature cond)
public static TermGenerator rightTraverse(ProjectionToTerm cTerm, TermFeature cond)
protected Term getTermInst(RuleApp app, PosInOccurrence pos, Goal goal)