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

Packages that use CheckedPair_R

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

Methods in eu.bandm.tools.umod.runtime that return CheckedPair_R

Modifier and Type	Method	Description
CheckedPair_R<L,R>	CheckedPair_R.with_left(L l)
CheckedPair_R<L,R>	CheckedPair_R.with_right(R r)	Deliver a new instance with the given right value and the left value of this instance.

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

Modifier and Type	Method	Description
static <A, B> List<CheckedPair_R<A,B>>	CheckedPair_R.fromIterables(Iterable<A> left, Iterable<B> right, Class<A> lclass, Class<B> rclass)	Create a list of instances which contains all possible combinations of the given values.