package javakurs.uebung10;

import java.util.Set;

/**
 * {@link FiniteAutomaton} extends {@link FiniteAutomatonBase} with more
 * functionality.
 *
 * @param <EdgeInfo>
 *          the kind of edge info used in the graph
 *
 * @author
 * @version $Id$
 */
public class FiniteAutomaton<EdgeInfo> extends FiniteAutomatonBase<EdgeInfo> {

  /**
   * {@inheritDoc}
   */
  @Override
  protected SubAutomaton newCharAutomaton(EdgeInfo edgeInfo) {

    // TODO Auto-generated method stub
    return null;
  }


  /**
   * {@inheritDoc}
   */
  @Override
  protected SubAutomaton newCharSetAutomaton(Set<EdgeInfo> chars) {

    // TODO Auto-generated method stub
    return null;
  }


  /**
   * {@inheritDoc}
   */
  @Override
  public SubAutomaton concatenate(SubAutomaton lhs, SubAutomaton rhs) {

    // TODO Auto-generated method stub
    return null;
  }


  /**
   * {@inheritDoc}
   */
  @Override
  public SubAutomaton alternative(SubAutomaton lhs, SubAutomaton rhs) {

    // TODO Auto-generated method stub
    return null;
  }


  /**
   * {@inheritDoc}
   */
  @Override
  public SubAutomaton kleene(SubAutomaton sub) {

    // TODO Auto-generated method stub
    return null;
  }


  /**
   * {@inheritDoc}
   */
  @Override
  protected void determinize(FiniteAutomatonBase<EdgeInfo> detAutomaton) {

    // TODO Auto-generated method stub
  }
}
