Package | Description |
---|---|
de.uka.ilkd.key.strategy.quantifierHeuristics |
Modifier and Type | Method and Description |
---|---|
Constraint |
Constraint.join(Constraint co,
TermServices services,
BooleanContainer unchanged)
Deprecated.
joins constraint co with this constraint and returns the joint new
constraint.
|
Constraint |
Constraint.Top.join(Constraint co,
TermServices services,
BooleanContainer c)
Deprecated.
joint of Top and co is Top and Top subsumes every constraint
|
Constraint |
EqualityConstraint.join(Constraint co,
TermServices services,
BooleanContainer unchanged)
Deprecated.
joins constraint co with this constraint
and returns the joint new constraint.
|
Constraint |
Constraint.unify(Term t1,
Term t2,
TermServices services,
BooleanContainer unchanged)
Deprecated.
tries to unify terms t1 and t2.
|
Constraint |
Constraint.Top.unify(Term t1,
Term t2,
TermServices services,
BooleanContainer unchanged)
Deprecated.
|
Constraint |
EqualityConstraint.unify(Term t1,
Term t2,
TermServices services,
BooleanContainer unchanged)
Deprecated.
executes unification for terms t1 and t2.
|
Copyright © 2003-2019 The KeY-Project.