Package | Description |
---|---|
de.uka.ilkd.key.strategy.quantifierHeuristics |
Modifier and Type | Class and Description |
---|---|
static class |
Constraint.Top
Deprecated.
|
class |
EqualityConstraint
Deprecated.
|
Modifier and Type | Field and Description |
---|---|
static Constraint |
Constraint.BOTTOM
Deprecated.
standard constraint class implementing the offered functionality
|
static Constraint |
Constraint.TOP
Deprecated.
unsatisfiable Constraint
|
Modifier and Type | Method and Description |
---|---|
Constraint |
Constraint.join(Constraint co,
TermServices services)
Deprecated.
joins the given constraint with this constraint and returns the joint new
constraint.
|
Constraint |
Constraint.Top.join(Constraint co,
TermServices services)
Deprecated.
joint of Top and co is Top
|
Constraint |
EqualityConstraint.join(Constraint co,
TermServices services)
Deprecated.
joins the given constraint with this constraint
and returns the joint new constraint.
|
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)
Deprecated.
tries to unify the terms t1 and t2
|
Constraint |
Constraint.Top.unify(Term t1,
Term t2,
TermServices services)
Deprecated.
adding new constraints to an unsatisfiable constraint results in an
unsatisfiable constraint so this one is returned
|
Constraint |
EqualityConstraint.unify(Term t1,
Term t2,
TermServices services)
Deprecated.
unifies terms t1 and t2
|
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.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Constraint.isAsStrongAs(Constraint co)
Deprecated.
|
boolean |
Constraint.Top.isAsStrongAs(Constraint co)
Deprecated.
|
boolean |
EqualityConstraint.isAsStrongAs(Constraint co)
Deprecated.
|
boolean |
Constraint.isAsWeakAs(Constraint co)
Deprecated.
|
boolean |
Constraint.Top.isAsWeakAs(Constraint co)
Deprecated.
|
boolean |
EqualityConstraint.isAsWeakAs(Constraint co)
Deprecated.
|
Constraint |
Constraint.join(Constraint co,
TermServices services)
Deprecated.
joins the given constraint with this constraint and returns the joint new
constraint.
|
Constraint |
Constraint.Top.join(Constraint co,
TermServices services)
Deprecated.
joint of Top and co is Top
|
Constraint |
EqualityConstraint.join(Constraint co,
TermServices services)
Deprecated.
joins the given constraint with this constraint
and returns the joint new constraint.
|
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.
|
Constructor and Description |
---|
ConstraintAwareSyntacticalReplaceVisitor(TermLabelState termLabelState,
Services services,
Constraint metavariableInst,
PosInOccurrence applicationPosInOccurrence,
Rule rule,
RuleApp ruleApp,
Taclet.TacletLabelHint labelHint,
Goal goal) |
Copyright © 2003-2019 The KeY-Project.