Element constraints
[Testing finite sets]
Variable Documentation
ElementUnion Test::Set::Element::_elementunion("Element::Union") |
ElementUnionConst Test::Set::Element::_elementunionconst("Element::UnionConst") |
ElementInter Test::Set::Element::_elementinter("Element::Inter") |
ElementInterIn Test::Set::Element::_elementinterin("Element::InterIn") |
ElementDisjoint Test::Set::Element::_elementdisjoint("Element::Disjoint") |
ElementSet Test::Set::Element::_elementset("Element::Set") |
ElementSetConst Test::Set::Element::_elementsetconst("Element::SetConst") |