Package | Description |
---|---|
de.uka.ilkd.key.strategy.quantifierHeuristics |
Modifier and Type | Method and Description |
---|---|
Substitution |
TriggersSet.getReplacementWithMVs() |
Modifier and Type | Method and Description |
---|---|
ImmutableSet<Substitution> |
Trigger.getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm,
Services services) |
Modifier and Type | Method and Description |
---|---|
static long |
PredictCostProver.computerInstanceCost(Substitution sub,
Term matrix,
ImmutableSet<Term> assertList,
Services services) |
Copyright © 2003-2019 The KeY-Project.