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

Packages that use CoPair

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

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

Modifier and Type	Interface	Description
interface	CoPair_checkedLeft<L,R>	Requires "CoPair" operations and implies strictness of left side.
interface	CoPair_checkedRight<L,R>	Requires "CoPair" operations and implies strictness of right side.

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

Modifier and Type	Class	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.
class	CheckedCoPair_R<L,R>	Facade to "CoPair" operations and guarantees strictness of right variant, by overwriting "set_right()"
class	UncheckedCoPair<L,R>	Implements "CoPair" operations, not guaranteeing any strictness.

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

Modifier	Constructor	Description
	CheckedCoPair_L(CoPair<L,R> p)
	CheckedCoPair_LR(CoPair<L,R> p)
	CheckedCoPair_R(CoPair<L,R> p)
	UncheckedCoPair(CoPair<L,R> p)