class documentation
class PrimitiveCategory(AbstractCCGCategory): (source)
Constructor: PrimitiveCategory(categ, restrictions)
Class representing primitive categories. Takes a string representation of the category, and a list of strings specifying the morphological subcategories.
Method | __init__ |
Undocumented |
Method | __str__ |
Undocumented |
Method | can |
Returns None if they cannot be unified |
Method | categ |
Undocumented |
Method | is |
Returns true if the category is a function application. |
Method | is |
Returns true if the category is primitive. |
Method | is |
Returns true if the category is a variable. |
Method | restrs |
Undocumented |
Method | substitute |
Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. |
Instance Variable | _categ |
Undocumented |
Instance Variable | _comparison |
Undocumented |
Instance Variable | _restrs |
Undocumented |
Inherited from AbstractCCGCategory
:
Method | __eq__ |
Undocumented |
Method | __hash__ |
Undocumented |
Method | __lt__ |
Undocumented |
Method | __ne__ |
Undocumented |
Instance Variable | _hash |
Undocumented |
- Determines whether two categories can be unified.
- Returns None if they cannot be unified
- Returns a list of necessary substitutions if they can.