Search Java Classes and Packages
#Org.checkerframework.framework.util.typeinference.constraint Classes and Interfaces - 12 results found.
| Name | Description | Type | Package | Framework |
| A2F | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| A2FReducer | A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AFConstraint | AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AFReducer | AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible | Interface | org.checkerframework.framework.util.typeinference.constraint | Checker |
| F2A | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| F2AReducer | F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| FIsA | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| FIsAReducer | FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| TIsU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TSubU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TSuperU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TUConstraint | Subclasses of TUConstraint represent constraints between type parameter whose type arguments are being inferred and the types used to do that inference. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |