public class AllowedCutPositionsGenerator extends java.lang.Object implements TermGenerator
Modifier and Type | Class and Description |
---|---|
private static class |
AllowedCutPositionsGenerator.ACPIterator |
Modifier and Type | Field and Description |
---|---|
static TermGenerator |
INSTANCE |
Modifier | Constructor and Description |
---|---|
private |
AllowedCutPositionsGenerator() |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<Term> |
generate(RuleApp app,
PosInOccurrence pos,
Goal goal) |
public static final TermGenerator INSTANCE
public java.util.Iterator<Term> generate(RuleApp app, PosInOccurrence pos, Goal goal)
generate
in interface TermGenerator