|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface HasTypeConstraints
Interface for objects that have type constraints. Type constraints are represented as inequalities between Typeable objects.
InequalityTerm
Red (cxh) |
Red (yuhong) |
Method Summary | |
---|---|
java.util.Set<Inequality> |
typeConstraints()
Return the type constraints of this object. |
Method Detail |
---|
java.util.Set<Inequality> typeConstraints()
Inequality
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |