class documentation
Class representing a variable CCG category. Used for conjunctions (and possibly type-raising, if implemented as a unary rule).
Class Method | new |
A class method allowing generation of unique variable identifiers. |
Class Method | reset |
Undocumented |
Method | __init__ |
Initialize a variable (selects a new identifier) |
Method | __str__ |
Undocumented |
Method | can |
If the variable can be replaced with other a substitution is returned. |
Method | id |
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 | substitute |
If there is a substitution corresponding to this variable, return the substituted category. |
Class Variable | _max |
Undocumented |
Instance Variable | _comparison |
Undocumented |
Instance Variable | _id |
Undocumented |
Instance Variable | _prim |
Undocumented |
Inherited from AbstractCCGCategory
:
Method | __eq__ |
Undocumented |
Method | __hash__ |
Undocumented |
Method | __lt__ |
Undocumented |
Method | __ne__ |
Undocumented |
Instance Variable | _hash |
Undocumented |
Initialize a variable (selects a new identifier)
Parameters | |
prim | a boolean that determines whether the variable is restricted to primitives |