|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectch.uzh.ifi.attempto.chartparser.Category
public abstract class Category
This class represents a grammatical category.
Constructor Summary | |
---|---|
Category(java.lang.String name)
Creates a new category. |
Method Summary | |
---|---|
boolean |
canUnify(Category category)
This method detects whether this category can unify with the given category. |
Category |
deepCopy()
Creates a deep copy of this category. |
boolean |
equals(java.lang.Object obj)
|
StringRef |
getFeature(java.lang.String featureName)
Returns a feature value. |
FeatureMap |
getFeatureMap()
Returns the map of features of this category. |
java.lang.String |
getName()
Returns the name of the category. |
boolean |
isReference()
Returns true if this category is a reference. |
boolean |
isSimilar(Category c)
This methods checks whether two categories are similar. |
void |
setFeature(java.lang.String featureName,
java.lang.String featureValue)
Sets a feature. |
void |
setFeature(java.lang.String featureName,
StringRef featureValue)
Sets a feature. |
void |
skolemize()
Skolemizes the feature values of this category. |
boolean |
subsumes(Category category)
This method returns true if this category subsumes (i.e. |
java.lang.String |
toString()
|
void |
tryToUnify(Category category)
Tries to unify this category with another category. |
void |
unify(Category category)
Unifies this category with another category. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Category(java.lang.String name)
name
- The name of the category.Method Detail |
---|
public boolean isReference()
public java.lang.String getName()
public FeatureMap getFeatureMap()
public void setFeature(java.lang.String featureName, StringRef featureValue)
featureName
- The feature namefeatureValue
- The string reference that points to the value of the feature.public void setFeature(java.lang.String featureName, java.lang.String featureValue)
featureName
- The feature namefeatureValue
- The value of the feature.public StringRef getFeature(java.lang.String featureName)
featureName
- The name of the feature.
public void unify(Category category) throws UnificationFailedException
category
- The category to be unified with this category.
UnificationFailedException
- If unification fails.public void tryToUnify(Category category) throws UnificationFailedException
category
- The category to be unified with this category.
UnificationFailedException
- If unification fails.public boolean canUnify(Category category)
category
- The category for the unification check.
public void skolemize()
public Category deepCopy()
public boolean isSimilar(Category c)
c
- The category for which similarity with this category should be checked.
public boolean subsumes(Category category)
category
- The category for which it is checked whether this category subsumes it.
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |