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