@Deprecated
public interface Constraint
Modifier and Type | Interface and Description |
---|---|
static class |
Constraint.Top
Deprecated.
|
Modifier and Type | Field and Description |
---|---|
static Constraint |
BOTTOM
Deprecated.
standard constraint class implementing the offered functionality
|
static Constraint |
TOP
Deprecated.
unsatisfiable Constraint
|
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.
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.
|
java.lang.String |
toString()
Deprecated.
|
Constraint |
unify(Term t1,
Term t2,
TermServices services)
Deprecated.
tries to unify the terms t1 and t2
|
Constraint |
unify(Term t1,
Term t2,
TermServices services,
BooleanContainer unchanged)
Deprecated.
tries to unify terms t1 and t2.
|
static final Constraint TOP
static final Constraint BOTTOM
boolean isBottom()
boolean isSatisfiable()
Term getInstantiation(Metavariable p_mv, Services services)
p_mv
- the Metavariableservices
- the ServicesConstraint unify(Term t1, Term t2, TermServices services)
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).Constraint unify(Term t1, Term t2, TermServices services, BooleanContainer unchanged)
t1
- Term to be unfiedt2
- Term to be unfiedservices
- the Services providing access to the type modelunchanged
- true iff the new constraint equals this oneboolean isAsStrongAs(Constraint co)
boolean isAsWeakAs(Constraint co)
boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
int hashCode()
hashCode
in class java.lang.Object
Constraint join(Constraint co, TermServices services)
co
- Constraint to be joined with this oneservices
- the Services providing access to the type modelConstraint join(Constraint co, TermServices services, BooleanContainer unchanged)
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 cojava.lang.String toString()
toString
in class java.lang.Object