Uses of Interface
de.dhbwstuttgart.typeinference.KomplexeMenge

Packages that use KomplexeMenge

Package	Description
de.dhbwstuttgart.typeinference
de.dhbwstuttgart.typeinference.unify

Uses of KomplexeMenge in de.dhbwstuttgart.typeinference

Classes in de.dhbwstuttgart.typeinference that implement KomplexeMenge

Modifier and Type	Class and Description
class	ConstraintsSet
(package private) class	EinzelElement<A>
class	OderConstraint
class	OderMenge<A>
class	SingleConstraint Beschreibung von Herrn Plümicke: "The set of constraints consists of constraints of the form θ R θ' , where θ and θ' are Java types and R (R ∈ { < ,
class	UndConstraint Stellt ein Constraint dar, welches aus mehreren Constraint-Paaren besteht.
class	UndMenge<A>

Fields in de.dhbwstuttgart.typeinference with type parameters of type KomplexeMenge

Modifier and Type	Field and Description
(package private) Menge<KomplexeMenge<A>>	OderMenge.set
(package private) Menge<KomplexeMenge<A>>	UndMenge.set

Methods in de.dhbwstuttgart.typeinference with parameters of type KomplexeMenge

Modifier and Type	Method and Description
void	ConstraintsSet.add(KomplexeMenge<Pair> constraint)
void	KomplexeMenge.addItems(KomplexeMenge<A> item)
void	EinzelElement.addItems(KomplexeMenge<A> item)
void	OderMenge.addItems(KomplexeMenge<A> item)
void	UndMenge.addItems(KomplexeMenge<A> item)

Uses of KomplexeMenge in de.dhbwstuttgart.typeinference.unify

Classes in de.dhbwstuttgart.typeinference.unify that implement KomplexeMenge

Modifier and Type	Class and Description
(package private) class	ParallelConstraintSet