ch.uzh.ifi.attempto.chartparser
Class Nonterminal

java.lang.Object
  extended by ch.uzh.ifi.attempto.chartparser.Category
      extended by ch.uzh.ifi.attempto.chartparser.Nonterminal

public class Nonterminal
extends Category

This class stands for a nonterminal category.

Author:
Tobias Kuhn

Constructor Summary
Nonterminal(java.lang.String name)
          Creates a new nonterminal category.
 
Method Summary
 
Methods inherited from class ch.uzh.ifi.attempto.chartparser.Category
deepCopy, deepCopy, equals, getFeature, getName, setFeature, skolemize, subsumes, toString, tryToUnify, unify
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Nonterminal

public Nonterminal(java.lang.String name)
Creates a new nonterminal category.

Parameters:
name - The name of the category.


Copyright 2008-2009, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch)