001    /*
002     * Copyright 2007 - 2007 JEuclid, http://jeuclid.sf.net
003     * 
004     * Licensed under the Apache License, Version 2.0 (the "License");
005     * you may not use this file except in compliance with the License.
006     * You may obtain a copy of the License at
007     *
008     *      http://www.apache.org/licenses/LICENSE-2.0
009     *
010     * Unless required by applicable law or agreed to in writing, software
011     * distributed under the License is distributed on an "AS IS" BASIS,
012     * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
013     * See the License for the specific language governing permissions and
014     * limitations under the License.
015     */
016    package org.w3c.dom.mathml;
017    
018    /*
019     * Please note: This file was automatically generated from the source of the
020     * MathML specification. Do not edit it. If there are errors or missing
021     * elements, please correct the stylesheet instead.
022     */
023    
024    /**
025     * The set element is the container element that represents a set of elements.
026     * The elements of a set can be defined either by explicitly listing the
027     * elements, or by using the bvar and condition elements.
028     * 
029     * 
030     */
031    public interface MathMLSetElement extends MathMLContentContainer {
032        /**
033         * This is true if the set is specified by giving the list of its elements
034         * explicitly.
035         * 
036         * @return value of the isExplicit attribute.
037         */
038        boolean getIsExplicit();
039    
040        /**
041         * The type attribute of the represented element. Predefined values are
042         * normal and multiset. See and .
043         * 
044         * @return value of the type attribute.
045         */
046        String getType();
047    
048        /**
049         * setter for the type attribute.
050         * 
051         * @param type
052         *            new value for type.
053         * @see #getType()
054         */
055        void setType(String type);
056    };