class documentation

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_unify Returns None if they cannot be unified
Method categ Undocumented
Method is_function Returns true if the category is a function application.
Method is_primitive Returns true if the category is primitive.
Method is_var 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_key Undocumented
Instance Variable _restrs Undocumented

Inherited from AbstractCCGCategory:

Method __eq__ Undocumented
Method __hash__ Undocumented
Method __lt__ Undocumented
Method __ne__ Undocumented
Instance Variable _hash Undocumented
def __init__(self, categ, restrictions=[]): (source)

Undocumented

def __str__(self): (source)
def can_unify(self, other): (source)

Determines whether two categories can be unified.
  • Returns None if they cannot be unified
  • Returns a list of necessary substitutions if they can.

def categ(self): (source)

Undocumented

def is_function(self): (source)

Returns true if the category is a function application.

def is_primitive(self): (source)

Returns true if the category is primitive.

def is_var(self): (source)

Returns true if the category is a variable.

def restrs(self): (source)

Undocumented

def substitute(self, subs): (source)

Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category.

Undocumented

_comparison_key = (source)

Undocumented

Undocumented