@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(Object obj)
Deprecated.
checks equality of constraints
|
Term |
getInstantiation(Metavariable p_mv,
TermServices services)
Deprecated.
|
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.
|
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, TermServices services)
services
- TODOConstraint 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(Object obj)
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 co