Package eu.bandm.tools.umod.runtime

Interface Pair_checkedLeft<L,R>

All Superinterfaces:

Pair<L,R>, Serializable

All Known Implementing Classes:

CheckedPair_L, CheckedPair_LR

public interface Pair_checkedLeft<L,R>
extends Pair<L,R>

Requires "Pair" operations and strictness of the left side.

Field Summary

Fields inherited from interface eu.bandm.tools.umod.runtime.Pair

serialVersionUID

Method Summary

Methods inherited from interface eu.bandm.tools.umod.runtime.Pair

get_left, get_right, set_left, set_right, with_left, with_right