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

Packages that use Pair_checkedLeft

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

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

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

Modifier and Type	Class and 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.

Methods in eu.bandm.tools.umod.runtime that return types with arguments of type Pair_checkedLeft

Modifier and Type	Method and Description
protected <T,U> BiFunction<T,U,Pair_checkedLeft<T,U>>	Phrasebook.consPair_checkedLeft()
protected <T,U> BiFunction<T,U,Pair_checkedLeft<T,U>>	Phrasebook.consPair_checkedLeft()