Uses of Interface
eu.bandm.tools.umod.runtime.Pair

Packages that use Pair

Package	Description
eu.bandm.tools.umod.runtime	Runtime classes for the model code generated by the umod compiler, for data integrity, de/serialization, visualization, visitors and rewriters.

Uses of Pair in eu.bandm.tools.umod.runtime

Subinterfaces of Pair in eu.bandm.tools.umod.runtime

Modifier and Type	Interface	Description
interface	Pair_checkedLeft<L,R>	Requires "Pair" operations and strictness of the left side.
interface	Pair_checkedRight<L,R>	Requires "Pair" operations and strictness of the right side.

Classes in eu.bandm.tools.umod.runtime that implement Pair

Modifier and Type	Class	Description
class	CheckedPair_L<L,R>	Implements "Pair" operations and guarantees stricness of left side component.
class	CheckedPair_LR<L,R>	Implements "Pair" operations and guarantees stricness of both components.
class	CheckedPair_R<L,R>	Implements "Pair" operations and guarantees stricness of right side component.
class	UncheckedPair<L,R>	Implements "Pair" operations, but no strictness.

Methods in eu.bandm.tools.umod.runtime that return Pair

Modifier and Type	Method	Description
Pair<L,R>	Pair.with_left(L l)
Pair<L,R>	Pair.with_right(R r)

Constructors in eu.bandm.tools.umod.runtime with parameters of type Pair

Modifier	Constructor	Description
	UncheckedPair(Pair<L,R> p)