ch.uzh.ifi.attempto.chartparser
Class Nonterminal

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

Direct Known Subclasses:

BackrefCategory

public class Nonterminal
extends Category

This class stands for a nonterminal category. This class also includes special categories like references, scope openers, and position operators.

Author:

Tobias Kuhn

Field Summary

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

featureMap, name, specialCategories

Constructor Summary

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

Method Summary

protected java.lang.String	getType() This method returns the type of the category.
void	setFeatureMap(FeatureMap featureMap) Sets the feature map of this category.
java.lang.String	toString()

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

addNegFeatureMap, addPosFeatureMap, canUnify, deepCopy, equals, getFeature, getFeatureMap, getFeatureNames, getFeatureValues, getName, getNegFeatureMaps, getPosFeatureMaps, isSimilar, isSpecialCategory, setFeature, setFeature, skolemize, subsumes, tryToUnify, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

Nonterminal

protected Nonterminal()

Creates a new nonterminal category.

Nonterminal

public Nonterminal(java.lang.String name)

Creates a new nonterminal category.

Parameters:

name - The name of the category.

Method Detail

setFeatureMap

public void setFeatureMap(FeatureMap featureMap)

Sets the feature map of this category.

Parameters:

featureMap - The new feature map.

getType

protected java.lang.String getType()

Description copied from class: Category

This method returns the type of the category. For example, "term" is returned for terminal categories and "nonterm" for non-terminal ones.

Specified by:

getType in class Category

Returns:

The type of the category.

toString

public java.lang.String toString()

Specified by:

toString in class Category