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

Packages that use Pair_checkedRight

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_checkedRight in eu.bandm.tools.umod.runtime

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

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