@Deprecated public class EqualityConstraint extends java.lang.Object implements Constraint
Constraint.Top
BOTTOM, TOP
Constructor and Description |
---|
EqualityConstraint()
Deprecated.
Don't use this constructor, use Constraint.BOTTOM instead
|
Modifier and Type | Method and Description |
---|---|
protected java.lang.Object |
clone()
Deprecated.
|
boolean |
equals(java.lang.Object obj)
Deprecated.
checks equality of constraints by subsuming relation (only equal if no
new sorts need to be introduced for subsumption)
|
Term |
getDirectInstantiation(Metavariable p_mv)
Deprecated.
|
Term |
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).
|
int |
hashCode()
Deprecated.
|
boolean |
isAsStrongAs(Constraint co)
Deprecated.
|
boolean |
isAsWeakAs(Constraint co)
Deprecated.
|
boolean |
isBottom()
Deprecated.
returns true if Bottom
|
boolean |
isSatisfiable()
Deprecated.
a constraint being instance of this class is satisfiable.
|
Constraint |
join(Constraint co,
TermServices services)
Deprecated.
joins the given constraint with this constraint
and returns the joint new constraint.
|
Constraint |
join(Constraint co,
TermServices services,
BooleanContainer unchanged)
Deprecated.
joins constraint co with this constraint
and returns the joint new constraint.
|
static ImmutableSet<Metavariable> |
metaVars(Term t)
Deprecated.
|
java.util.Iterator<Metavariable> |
restrictedMetavariables()
Deprecated.
|
java.lang.String |
toString()
Deprecated.
|
Constraint |
unify(Term t1,
Term t2,
TermServices services)
Deprecated.
unifies terms t1 and t2
|
Constraint |
unify(Term t1,
Term t2,
TermServices services,
BooleanContainer unchanged)
Deprecated.
executes unification for terms t1 and t2.
|
public EqualityConstraint()
public static ImmutableSet<Metavariable> metaVars(Term t)
protected java.lang.Object clone()
clone
in class java.lang.Object
public final boolean isBottom()
isBottom
in interface Constraint
public final boolean isSatisfiable()
isSatisfiable
in interface Constraint
public java.util.Iterator<Metavariable> restrictedMetavariables()
public Term getDirectInstantiation(Metavariable p_mv)
public Term getInstantiation(Metavariable p_mv, Services services)
getInstantiation
in interface Constraint
p_mv
- the Metavariableservices
- the Servicespublic Constraint unify(Term t1, Term t2, TermServices services)
unify
in interface Constraint
t1
- Term to be unifiedt2
- term to be unifiedservices
- the Services providing access to the type model
(e.g. necessary when introducing intersection sorts)public Constraint unify(Term t1, Term t2, TermServices services, BooleanContainer unchanged)
unify
in interface Constraint
t1
- Term to be unfiedt2
- Term to be unfiedservices
- the Services providing access to the type model
(e.g. necessary when introducing intersection sorts)unchanged
- true iff the new constraint equals this onepublic boolean equals(java.lang.Object obj)
equals
in interface Constraint
equals
in class java.lang.Object
public boolean isAsStrongAs(Constraint co)
isAsStrongAs
in interface Constraint
public boolean isAsWeakAs(Constraint co)
isAsWeakAs
in interface Constraint
public Constraint join(Constraint co, TermServices services)
join
in interface Constraint
co
- Constraint to be joined with this oneservices
- the Services providing access to the type modelpublic Constraint join(Constraint co, TermServices services, BooleanContainer unchanged)
join
in interface Constraint
co
- Constraint to be joined with this oneservices
- the Services providing access to the type modelunchanged
- the BooleanContainers value set true, if this
constraint is as strong as copublic java.lang.String toString()
toString
in interface Constraint
toString
in class java.lang.Object
public int hashCode()
hashCode
in interface Constraint
hashCode
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.