rationals.Builder Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of org.semanticweb.hermit Show documentation

HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more. This is the maven build of HermiT and is designed for people who wish to use HermiT from within the OWL API. It is now versioned in the main HermiT version repository, although not officially supported by the HermiT developers. The version number of this package is a composite of the HermiT version and an value representing releases of this packaged version. So, 1.3.7.1 is the first release of the mavenized version of HermiT based on the 1.3.7 release of HermiT. This package includes the Jautomata library (http://jautomata.sourceforge.net/), and builds with it directly. This library appears to be no longer under active development, and so a "fork" seems appropriate. No development is intended or anticipated on this code base.

There is a newer version: 1.3.8.4

Show newest version

/*
 * Copyright (c) 2007 - OQube / Arnaud Bailly This library 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 2.1 of the License, or (at your option) any later version.
 * 
 * This library 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 this library; if not, write to the Free Software Foundation, Inc.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 * 
 * Created 30 mai 07
 */
package rationals;

/**
 * An interface for easier creation of automata.
 * 
 * @author nono
 * 
 */
public interface Builder> {

  /**
   * Factory method.
   * 
   * @param label
   * @param auto
   * @return
   */
  T build(State label, Automaton auto);
  
  /**
   * Sets the label of the transition.
   * 
   * @param label
   * @return this transition builder.
   */
  public T on(Object label);

  /**
   * Sets the end state and terminates transition construction. This method
   * effectively adds the transition to the automaton.
   * 
   * @param o
   *          the label of the end state.
   */
  public T go(Object o);

  /**
   * Adds a new transition in the automaton that loops on current label and from
   * state.
   * 
   * @return
   */
  public T loop();

  /**
   * Resets this builder to another starting state. Note that the state is
   * created if needed.
   * 
   * @param label
   *          the state to start from.
   * @return this builder.
   */
  public T from(Object label);

}