de.dhbwstuttgart.typeinference.assumptions

Classes

• Assumption
• ClassAssumption
• ConstructorAssumption
• FieldAssumption
• GenericVarAssumption
• LocalVarAssumption
• MethodAssumption
• ParameterAssumption
• TypeAssumptions