Uses of Class
eu.bandm.tools.umod.runtime.CheckedCoPair_L

Packages that use CheckedCoPair_L

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

Subclasses of CheckedCoPair_L in eu.bandm.tools.umod.runtime

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