Uses of Class
de.dhbwstuttgart.typeinference.unify.UnifyResult

Packages that use UnifyResult

Package	Description
de.dhbwstuttgart.typeinference.unify

Uses of UnifyResult in de.dhbwstuttgart.typeinference.unify

Methods in de.dhbwstuttgart.typeinference.unify that return UnifyResult

Modifier and Type	Method and Description
private UnifyResult	ParallelUnify.parallelUnify(Menge<Pair> pairs, FC_TTO fc)
UnifyResult	ParallelUnify.unify()