titus.errors.PrettyPfaException¶

class titus.errors.PrettyPfaException[source]¶

Bases: titus.errors.PFAException

Exceptions found in converting PrettyPFA into PFA.