de.uka.ilkd.key.strategy.quantifierHeuristics

Class HeuristicInstantiation

java.lang.Object

de.uka.ilkd.key.strategy.quantifierHeuristics.HeuristicInstantiation

All Implemented Interfaces:

TermGenerator

public class HeuristicInstantiation
extends java.lang.Object
implements TermGenerator

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	HeuristicInstantiation.HIIterator

Field Summary

Fields

Modifier and Type	Field and Description
static TermGenerator	INSTANCE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	HeuristicInstantiation()

Method Summary

Modifier and Type	Method and Description
java.util.Iterator<Term>	generate(RuleApp app, PosInOccurrence pos, Goal goal)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final TermGenerator INSTANCE

Constructor Detail

HeuristicInstantiation

private HeuristicInstantiation()

Method Detail

generate

public java.util.Iterator<Term> generate(RuleApp app,
                                         PosInOccurrence pos,
                                         Goal goal)

Specified by:

generate in interface TermGenerator