public class TriggeredInstantiations extends java.lang.Object implements TermGenerator
Constructor and Description |
---|
TriggeredInstantiations(boolean checkConditions) |
Modifier and Type | Method and Description |
---|---|
static TermGenerator |
create(boolean skipConditions) |
java.util.Iterator<Term> |
generate(RuleApp app,
PosInOccurrence pos,
Goal goal) |
public TriggeredInstantiations(boolean checkConditions)
checkConditions
- boolean indicating if conditions should be checkedpublic static TermGenerator create(boolean skipConditions)
public java.util.Iterator<Term> generate(RuleApp app, PosInOccurrence pos, Goal goal)
generate
in interface TermGenerator
Copyright © 2003-2019 The KeY-Project.