# flake8: noqa
# type: ignore
# pylint: skip-file
base_expression  # unused variable (ltlf2dfa/base.py:167)
_  # unused function (ltlf2dfa/base.py:274)
_.wrapped  # unused property (ltlf2dfa/helpers.py:114)
sym2regexp  # unused function (ltlf2dfa/helpers.py:130)
MAX_CACHE_SIZE  # unused variable (ltlf2dfa/helpers.py:139)
_.to_ldlf  # unused method (ltlf2dfa/ltlf.py:61)
compute_declare_assumption  # unused function (ltlf2dfa/ltlf2dfa.py:138)
error  # unused variable (ltlf2dfa/ltlf2dfa.py:187)
_._pl_transformer  # unused attribute (ltlf2dfa/parser/ltlf.py:53)
_.start  # unused method (ltlf2dfa/parser/ltlf.py:55)
_.ltlf_formula  # unused method (ltlf2dfa/parser/ltlf.py:60)
_.ltlf_equivalence  # unused method (ltlf2dfa/parser/ltlf.py:65)
_.ltlf_implication  # unused method (ltlf2dfa/parser/ltlf.py:75)
_.ltlf_or  # unused method (ltlf2dfa/parser/ltlf.py:85)
_.ltlf_and  # unused method (ltlf2dfa/parser/ltlf.py:95)
_.ltlf_until  # unused method (ltlf2dfa/parser/ltlf.py:105)
_.ltlf_release  # unused method (ltlf2dfa/parser/ltlf.py:115)
_.ltlf_always  # unused method (ltlf2dfa/parser/ltlf.py:125)
_.ltlf_eventually  # unused method (ltlf2dfa/parser/ltlf.py:135)
_.ltlf_next  # unused method (ltlf2dfa/parser/ltlf.py:145)
_.ltlf_weak_next  # unused method (ltlf2dfa/parser/ltlf.py:155)
_.ltlf_not  # unused method (ltlf2dfa/parser/ltlf.py:165)
_.ltlf_wrapped  # unused method (ltlf2dfa/parser/ltlf.py:175)
_.ltlf_atom  # unused method (ltlf2dfa/parser/ltlf.py:185)
_.ltlf_true  # unused method (ltlf2dfa/parser/ltlf.py:190)
_.ltlf_false  # unused method (ltlf2dfa/parser/ltlf.py:194)
_.ltlf_last  # unused method (ltlf2dfa/parser/ltlf.py:198)
_.ltlf_symbol  # unused method (ltlf2dfa/parser/ltlf.py:205)
_.start  # unused method (ltlf2dfa/parser/pl.py:42)
_.propositional_formula  # unused method (ltlf2dfa/parser/pl.py:46)
_.prop_equivalence  # unused method (ltlf2dfa/parser/pl.py:51)
_.prop_implication  # unused method (ltlf2dfa/parser/pl.py:61)
_.prop_or  # unused method (ltlf2dfa/parser/pl.py:71)
_.prop_and  # unused method (ltlf2dfa/parser/pl.py:81)
_.prop_not  # unused method (ltlf2dfa/parser/pl.py:91)
_.prop_wrapped  # unused method (ltlf2dfa/parser/pl.py:101)
_.prop_atom  # unused method (ltlf2dfa/parser/pl.py:111)
_.prop_true  # unused method (ltlf2dfa/parser/pl.py:116)
_.prop_false  # unused method (ltlf2dfa/parser/pl.py:121)
_.atom  # unused method (ltlf2dfa/parser/pl.py:126)
PPLTLBefore  # unused import (ltlf2dfa/parser/ppltl.py:28)
PPLTLHistorically  # unused import (ltlf2dfa/parser/ppltl.py:28)
PPLTLOnce  # unused import (ltlf2dfa/parser/ppltl.py:28)
PPLTLStart  # unused import (ltlf2dfa/parser/ppltl.py:28)
PPLTLTrue  # unused import (ltlf2dfa/parser/ppltl.py:28)
PPLTLWeakBefore  # unused import (ltlf2dfa/parser/ppltl.py:28)
PPLTLTransformer  # unused class (ltlf2dfa/parser/ppltl.py:47)
_._pl_transformer  # unused attribute (ltlf2dfa/parser/ppltl.py:53)
_.start  # unused method (ltlf2dfa/parser/ppltl.py:55)
_.ppltl_formula  # unused method (ltlf2dfa/parser/ppltl.py:60)
_.ppltl_equivalence  # unused method (ltlf2dfa/parser/ppltl.py:65)
_.ppltl_implication  # unused method (ltlf2dfa/parser/ppltl.py:75)
_.ppltl_or  # unused method (ltlf2dfa/parser/ppltl.py:85)
_.ppltl_and  # unused method (ltlf2dfa/parser/ppltl.py:95)
_.ppltl_since  # unused method (ltlf2dfa/parser/ppltl.py:105)
_.ppltl_pastrelease  # unused method (ltlf2dfa/parser/ppltl.py:115)
_.ppltl_historically  # unused method (ltlf2dfa/parser/ppltl.py:125)
_.ppltl_once  # unused method (ltlf2dfa/parser/ppltl.py:135)
_.ppltl_before  # unused method (ltlf2dfa/parser/ppltl.py:145)
_.ppltl_weak_before  # unused method (ltlf2dfa/parser/ppltl.py:155)
_.ppltl_not  # unused method (ltlf2dfa/parser/ppltl.py:165)
_.ppltl_wrapped  # unused method (ltlf2dfa/parser/ppltl.py:175)
_.ppltl_atom  # unused method (ltlf2dfa/parser/ppltl.py:185)
_.ppltl_true  # unused method (ltlf2dfa/parser/ppltl.py:190)
_.ppltl_false  # unused method (ltlf2dfa/parser/ppltl.py:194)
_.ppltl_start  # unused method (ltlf2dfa/parser/ppltl.py:198)
_.ppltl_symbol  # unused method (ltlf2dfa/parser/ppltl.py:205)
PPLTLUnaryOperator  # unused class (ltlf2dfa/ppltl.py:77)
PPLTLBinaryOperator  # unused class (ltlf2dfa/ppltl.py:81)
PPLTLTrue  # unused class (ltlf2dfa/ppltl.py:109)
PPLTLImplies  # unused class (ltlf2dfa/ppltl.py:213)
PPLTLEquivalence  # unused class (ltlf2dfa/ppltl.py:240)
EQUAL  # unused variable (ltlf2dfa/symbols.py:33)
ALL_SYMBOLS  # unused variable (ltlf2dfa/symbols.py:57)
