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

Packages that use CoPair_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 CoPair_checkedLeft in eu.bandm.tools.umod.runtime

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

Modifier and Type	Class and Description
class	CheckedCoPair_L<L,R> Implements "CoPair" operations and guarantees strictness of left variant.
class	CheckedCoPair_LR<L,R> Implements "CoPair" operations and guarantees strictness of both variants.