Common

Documentation

Module author: Cédric HT

class opetopy.common.AbstractRuleInstance[source]

Abstract class representing a rule instance in a proof tree.

__weakref__

list of weak references to the object (if defined)

eval() → Any[source]

Pure virtual method evaluating a proof tree and returning the final conclusion sequent, or raising an exception if the proof is invalid.

toTex() → str[source]

Converts the proof tree in TeX code.

exception opetopy.common.DerivationError(scope: str, message: str, **kwargs)[source]

This exception is raised whenever an illegal operation on syntactical constructs relevant to opetopes is performed.

__init__(scope: str, message: str, **kwargs) → None[source]

Initialize self. See help(type(self)) for accurate signature.

__str__()[source]

Return str(self).

__weakref__

list of weak references to the object (if defined)