Common

Documentation

Module author: Cédric HT

class opetopy.common.AbstractRuleInstance

Abstract class representing a rule instance in a proof tree.

__weakref__

list of weak references to the object (if defined)

eval() → Any

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

toTex() → str

Converts the proof tree in TeX code.

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

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

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

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

__str__()

Return str(self).

__weakref__

list of weak references to the object (if defined)