@Deprecated public static class Constraint.Top extends java.lang.Object implements Constraint
Constraint.Top
BOTTOM, TOP
Constructor and Description |
---|
Top()
Deprecated.
creation of TOP
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Deprecated.
checks equality of constraints
|
Term |
getInstantiation(Metavariable p_mv,
Services services)
Deprecated.
as this constraint is unsatisfiable it just returns the metavariable given as argument
|
int |
hashCode()
Deprecated.
|
boolean |
isAsStrongAs(Constraint co)
Deprecated.
|
boolean |
isAsWeakAs(Constraint co)
Deprecated.
|
boolean |
isBottom()
Deprecated.
returns true if Bottom
|
boolean |
isSatisfiable()
Deprecated.
is an unsatisfiable Constraint satisfiable?
|
Constraint |
join(Constraint co,
TermServices services)
Deprecated.
joint of Top and co is Top
|
Constraint |
join(Constraint co,
TermServices services,
BooleanContainer c)
Deprecated.
joint of Top and co is Top and Top subsumes every constraint
|
java.lang.String |
toString()
Deprecated.
|
Constraint |
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 |
unify(Term t1,
Term t2,
TermServices services,
BooleanContainer unchanged)
Deprecated.
tries to unify terms t1 and t2.
|
public boolean isSatisfiable()
isSatisfiable
in interface Constraint
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 the parameter
may be null
but then the unification fails (i.e. @link
Constraint#TOP is returned) when accessing the type model
(e.g. for introducing intersection sorts) would be necessary).public Constraint unify(Term t1, Term t2, TermServices services, BooleanContainer unchanged)
Constraint
unify
in interface Constraint
t1
- Term to be unfiedt2
- Term to be unfiedservices
- the Services providing access to the type modelunchanged
- true iff the new constraint equals this onepublic boolean equals(java.lang.Object obj)
Constraint
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 c)
join
in interface Constraint
co
- Constraint to be joined with this oneservices
- the Services providing access to the type modelc
- the BooleanContainers value set true, if this constraint is as
strong as copublic boolean isBottom()
isBottom
in interface Constraint
public 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