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 |