Package | Description |
---|---|
de.uka.ilkd.key.strategy.quantifierHeuristics |
Modifier and Type | Method and Description |
---|---|
static ImmutableSet<Metavariable> |
EqualityConstraint.metaVars(Term t)
Deprecated.
|
java.util.Iterator<Metavariable> |
EqualityConstraint.restrictedMetavariables()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
int |
Metavariable.compareTo(Metavariable p_mr)
Deprecated.
|
Term |
EqualityConstraint.getDirectInstantiation(Metavariable p_mv)
Deprecated.
|
Term |
Constraint.getInstantiation(Metavariable p_mv,
Services services)
Deprecated.
Find a term the given metavariable can be instantiated with which
is consistent with every instantiation that satisfies this
constraint (that means, the term such an instantiation
substitutes the metavariable with can always be unified with the
returned term).
|
Term |
Constraint.Top.getInstantiation(Metavariable p_mv,
Services services)
Deprecated.
as this constraint is unsatisfiable it just returns the metavariable given as argument
|
Term |
EqualityConstraint.getInstantiation(Metavariable p_mv,
Services services)
Deprecated.
Find a term the given metavariable can be instantiated with which
is consistent with every instantiation that satisfies this
constraint (that means, the term such an instantiation
substitutes the metavariable with can always be unified with the
returned term).
|
Copyright © 2003-2019 The KeY-Project.