Package jazzparser :: Package formalisms :: Package music_halfspan :: Module syntax :: Class ComplexCategory
[hide private]
[frames] | no frames]

Class ComplexCategory

source code

                      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.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__