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