Class Element_enumSetContains

All Implemented Interfaces:
Locatable<XMLDocumentIdentifier>, Matchable<BaseMatcher>, TypedContent, Visitable<Visitor>

@Generated(generator="eu.bandm.tools.tdom.TypedDOMGenerator", version="", timestamp="2025-01-23_18h16m05") @Undocumented public class Element_enumSetContains extends Element implements Visitable<Visitor>, Matchable<BaseMatcher>
Meaning: Boolean value whether an enumeration set contains a particular value.

<!ELEMENT enumSetContains EMPTY >.
Required attributes: value, option.
Optional attribute: number.
This class realizes the element definition from the source DTD.