org.jetbrains.jet.lang.resolve.calls.inference (Kotlin Compiler)

Interface Summary
Interface	Description
BoundsOwner
ConstraintResolutionListener
ConstraintSystem
ConstraintSystemCompleter
ConstraintSystemSolution
SolutionStatus
TypeConstraints

Class Summary
Class	Description
ConstraintPosition
ConstraintsUtil
ConstraintSystemImpl
ConstraintSystemWithPriorities
DebugConstraintResolutionListener
InferenceErrorData
InferenceErrorData.ExtendedInferenceErrorData
PrintingConstraintResolutionListener
SubtypingConstraint
TypeConstraintsImpl
TypeValue

Enum Summary
Enum	Description
ConstraintSystemImpl.ConstraintKind
ConstraintType	A specific type for subtype constraint of types.
TypeConstraintsImpl.BoundKind

Package org.jetbrains.jet.lang.resolve.calls.inference