titus.prettypfa.InterpretationState

class titus.prettypfa.InterpretationState[source]

Bases: object

State of the PrettyPFA interpreter; used internally.

__init__()