class documentation
class FunctionalCategory(AbstractCCGCategory): (source)
Constructor: FunctionalCategory(res, arg, dir)
Class that represents a function application category. Consists of argument and result categories, together with an application direction.
Method | __init__ |
Undocumented |
Method | __str__ |
Undocumented |
Method | arg |
Undocumented |
Method | can |
Returns None if they cannot be unified |
Method | dir |
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 | res |
Undocumented |
Method | substitute |
Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. |
Instance Variable | _arg |
Undocumented |
Instance Variable | _comparison |
Undocumented |
Instance Variable | _dir |
Undocumented |
Instance Variable | _res |
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.