ch.uzh.ifi.attempto.chartparser
Class Nonterminal

java.lang.Object
  ch.uzh.ifi.attempto.chartparser.Category
      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, 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.