Class TargetConstraints.Supertypes
java.lang.Object
org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Supertypes
- Enclosing class:
- TargetConstraints
-
Field Summary
-
Constructor Summary
-
Method Summary
-
Field Details
-
primaries
-
types
-
targets
-
-
Constructor Details
-
Supertypes
protected Supertypes()
-
-
Method Details
-
clear
public void clear()
-