ch.uzh.ifi.attempto.chartparser
Class Terminal

java.lang.Object
  ch.uzh.ifi.attempto.chartparser.Category
      ch.uzh.ifi.attempto.chartparser.Terminal

public class Terminal
extends Category

This class stands for a terminal category.

Author:

Tobias Kuhn

Constructor Summary

Terminal(java.lang.String name)
Creates a new terminal category.

Method Summary

java.lang.String

toString()

Methods inherited from class ch.uzh.ifi.attempto.chartparser.Category

deepCopy, deepCopy, equals, getFeature, getName, setFeature, skolemize, tryToUnify, unify

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Terminal

public Terminal(java.lang.String name)

Creates a new terminal category.

Parameters:

name - The name of the category.

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Category