de.dhbwstuttgart.typeinference.unify

Interfaces

• Unifier

Classes

• CartesianProduct
• CSet
• CSubstitution
• CSubstitutionGenVar
• CSubstitutionSet
• CVectorSet
• FC_TTO
• MUB
• ParallelConstraintSet
• ParallelUnify
• Unify
• UnifyResult