pytableaux.proof.writers

Classes

class TabWriter

Tableau writer base class.

Constructing a TabWriter.

Examples:

>>> # make an instance of the default writer class, with the default notation.
>>> writer = TabWriter()

>>> # make an HtmlTabWriter, with the default notation.
>>> writer = TabWriter('html')

>>> # make an HtmlTabWriter, with standard notation.
>>> writer = TabWriter('html', 'standard')

Return type:

_T

engine: str = 'unknown'

The writer engine (jinja, doctree, etc.)

format: str

The format registry identifier.

file_extension: str

The file extension for output files.

defaults = mappingproxy({})

Default options.

lw: LexWriter

The writer's LexWriter instance.

opts: dict

The writer's options.

class TabWriterRegistry(*, name=None)

A tableau writer class registry.

Parameters:

name (str | None) --

registry

registry