Package jazzparser :: Package formalisms :: Package music_halfspan :: Module syntax :: Class ComplexCategory

Class ComplexCategory

                      object --+        
                               |        
            base.syntax.Category --+    
                                   |    
     base.syntax.ComplexCategoryBase --+
                                       |
                          object --+   |
                                   |   |
base.modalities.ModalComplexCategory --+
                                       |
                                      ComplexCategory

In the halfspan formalism, complex categories are made up of an argument half category, a slash and a result half category. Neither the argument nor the result may be whole categories, atomic or complex.

This kind of complex category is hugely simpler than previous incarnations, since there are no unification variables involved anywhere.

Nested Classes

[hide private]

Inherited from base.syntax.Category: CategoryParseError

Instance Methods

[hide private]

__init__(self, *args, **kwargs)
A slash category must be initialised with a pair of categories (argument and result) that appear on the right and left of the slash (respectively) and a Slash object.

source code

copy(self)

source code

__eq__(self, other)

source code

Inherited from base.syntax.ComplexCategoryBase: __hash__, __str__, replace_slash_id, to_latex

Inherited from base.syntax.ComplexCategoryBase (private): _get_slash_ids

Inherited from base.syntax.Category: __ne__, __repr__

Inherited from base.modalities.ModalComplexCategory: set_slash_modality

Inherited from object: __delattr__, __format__, __getattribute__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __subclasshook__

Class Variables

[hide private]

ATOMIC = False

Properties

[hide private]

Inherited from base.syntax.ComplexCategoryBase: slash_ids

Inherited from object: __class__

Method Details

[hide private]

init(self, *args, **kwargs)
(Constructor)

source code

A slash category must be initialised with a pair of categories (argument and result) that appear on the right and left of the slash (respectively) and a Slash object.

Overrides: object.__init__: (inherited documentation)

copy(self)

source code

Overrides: base.syntax.ComplexCategoryBase.copy

eq(self, other)
(Equality operator)

source code

Overrides: base.syntax.ComplexCategoryBase.__eq__

Class ComplexCategory

__init__(self, *args, **kwargs) (Constructor)

copy(self)

__eq__(self, other) (Equality operator)

init(self, *args, **kwargs)
(Constructor)

eq(self, other)
(Equality operator)