SemanticTheory.java

/**
 *  Copyright 2004-2016 Riccardo Solmi. All rights reserved.
 *  This file is part of the Whole Platform.
 *  
 *  The Whole Platform is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU Lesser General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *  
 *  The Whole Platform is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 *  GNU Lesser General Public License for more details.
 *  
 *  You should have received a copy of the GNU Lesser General Public License
 *  along with the Whole Platform. If not, see <http://www.gnu.org/licenses/>.
 */
package org.whole.lang.semantics.model;


/**
 *  @generator Whole
 */
public interface SemanticTheory extends ISemanticsEntity {


    public URI getUri();

    public void setUri(URI uri);

    public Namespace getNamespace();

    public void setNamespace(Namespace namespace);

    public Name getName();

    public void setName(Name name);

    public Version getVersion();

    public void setVersion(Version version);

    public SemanticFunctions getFunctions();

    public void setFunctions(SemanticFunctions functions);
}