Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

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