AUTHORS.rst
CONTRIBUTING.rst
HISTORY.rst
LICENSE
MANIFEST.in
README.rst
setup.cfg
setup.py
docs/Makefile
docs/authors.rst
docs/conf.py
docs/contributing.rst
docs/history.rst
docs/index.rst
docs/installation.rst
docs/make.bat
docs/readme.rst
docs/usage.rst
docs/code_examples/first_tutorial.rst
pythogic/__init__.py
pythogic/pythogic.py
pythogic.egg-info/PKG-INFO
pythogic.egg-info/SOURCES.txt
pythogic.egg-info/dependency_links.txt
pythogic.egg-info/not-zip-safe
pythogic.egg-info/top_level.txt
pythogic/base/Alphabet.py
pythogic/base/FormalSystem.py
pythogic/base/Formula.py
pythogic/base/Symbol.py
pythogic/base/Symbols.py
pythogic/base/__init__.py
pythogic/base/utils.py
pythogic/fol/FOL.py
pythogic/fol/__init__.py
pythogic/fol/semantics/Assignment.py
pythogic/fol/semantics/Function.py
pythogic/fol/semantics/Interpretation.py
pythogic/fol/semantics/Object.py
pythogic/fol/semantics/Relation.py
pythogic/fol/semantics/__init__.py
pythogic/fol/syntax/FOLAlphabet.py
pythogic/fol/syntax/Term.py
pythogic/fol/syntax/__init__.py
pythogic/ldlf/LDLf.py
pythogic/ldlf/__init__.py
pythogic/ldlf_empty_traces/LDLf_EmptyTraces.py
pythogic/ldlf_empty_traces/__init__.py
pythogic/ltlf/LTLf.py
pythogic/ltlf/__init__.py
pythogic/ltlf/semantics/FiniteTrace.py
pythogic/ltlf/semantics/__init__.py
pythogic/pl/PL.py
pythogic/pl/__init__.py
pythogic/pl/semantics/PLInterpretation.py
pythogic/pl/semantics/__init__.py
pythogic/ref/REf.py
pythogic/ref/__init__.py
tests/__init__.py
tests/test_base.py
tests/test_fol.py
tests/test_ldlf.py
tests/test_ldlf_emptytraces.py
tests/test_pl.py
tests/test_pythogic.py
tests/test_ref.py
tests/nfa_example/000000_alphabet_a_logical_true.dot
tests/nfa_example/000000_alphabet_a_logical_true.dot.svg
tests/nfa_example/000001_alphabet_a_logical_false.dot
tests/nfa_example/000001_alphabet_a_logical_false.dot.svg
tests/nfa_example/000002_alphabet_a_tt_and_tt.dot
tests/nfa_example/000002_alphabet_a_tt_and_tt.dot.svg
tests/nfa_example/000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot
tests/nfa_example/000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot.svg
tests/nfa_example/000004_alphabet_a_tt_and_ff.dot
tests/nfa_example/000004_alphabet_a_tt_and_ff.dot.svg
tests/nfa_example/000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot
tests/nfa_example/000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot.svg
tests/nfa_example/000006_alphabet_a_tt_and_ff.dot
tests/nfa_example/000006_alphabet_a_tt_and_ff.dot.svg
tests/nfa_example/000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot
tests/nfa_example/000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot.svg
tests/nfa_example/000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot
tests/nfa_example/000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot.svg
tests/nfa_example/000009_alphabet_a_eventually_a_ff.dot
tests/nfa_example/000009_alphabet_a_eventually_a_ff.dot.svg
tests/nfa_example/000010_alphabet_a_eventually_false_tt.dot
tests/nfa_example/000010_alphabet_a_eventually_false_tt.dot.svg
tests/nfa_example/000011_alphabet_a_eventually_true_tt.dot
tests/nfa_example/000011_alphabet_a_eventually_true_tt.dot.svg
tests/nfa_example/000012_alphabet_a_eventually_not_a_tt.dot
tests/nfa_example/000012_alphabet_a_eventually_not_a_tt.dot.svg
tests/nfa_example/000013_alphabet_a_eventually_a_tt.dot
tests/nfa_example/000013_alphabet_a_eventually_a_tt.dot.svg
tests/nfa_example/000014_alphabet_a_eventually_test_a_tt.dot
tests/nfa_example/000014_alphabet_a_eventually_test_a_tt.dot.svg
tests/nfa_example/000015_alphabet_a_eventually_sequence_a_not_a_tt.dot
tests/nfa_example/000015_alphabet_a_eventually_sequence_a_not_a_tt.dot.svg
tests/nfa_example/000016_alphabet_a_eventually_star_a_tt.dot
tests/nfa_example/000016_alphabet_a_eventually_star_a_tt.dot.svg
tests/nfa_example/000017_alphabet_a_eventually_star_a_ff.dot
tests/nfa_example/000017_alphabet_a_eventually_star_a_ff.dot.svg
tests/nfa_example/000018_alphabet_a_eventually_star_not_a_tt.dot
tests/nfa_example/000018_alphabet_a_eventually_star_not_a_tt.dot.svg
tests/nfa_example/000019_alphabet_a_eventually_star_not_a_ff.dot
tests/nfa_example/000019_alphabet_a_eventually_star_not_a_ff.dot.svg
tests/nfa_example/000020_alphabet_a_eventually_star_not_a_a.dot
tests/nfa_example/000020_alphabet_a_eventually_star_not_a_a.dot.svg
tests/nfa_example/000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot
tests/nfa_example/000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot.svg
tests/nfa_example/000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa_example/000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa_example/000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa_example/000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa_example/000024_alphabet_always_a_ff.dot
tests/nfa_example/000024_alphabet_always_a_ff.dot.svg
tests/nfa_example/000025_alphabet_a_always_false_tt.dot
tests/nfa_example/000025_alphabet_a_always_false_tt.dot.svg
tests/nfa_example/000026_alphabet_a_always_true_tt.dot
tests/nfa_example/000026_alphabet_a_always_true_tt.dot.svg
tests/nfa_example/000027_alphabet_a_always_not_a_tt.dot
tests/nfa_example/000027_alphabet_a_always_not_a_tt.dot.svg
tests/nfa_example/000028_alphabet_a_always_a_tt.dot
tests/nfa_example/000028_alphabet_a_always_a_tt.dot.svg
tests/nfa_example/000029_alphabet_a_always_test_a_tt.dot
tests/nfa_example/000029_alphabet_a_always_test_a_tt.dot.svg
tests/nfa_example/000030_alphabet_a_always_test_a_ff.dot
tests/nfa_example/000030_alphabet_a_always_test_a_ff.dot.svg
tests/nfa_example/000031_alphabet_a_always_sequence_a_not_a_tt.dot
tests/nfa_example/000031_alphabet_a_always_sequence_a_not_a_tt.dot.svg
tests/nfa_example/000032_alphabet_a_always_star_a_tt.dot
tests/nfa_example/000032_alphabet_a_always_star_a_tt.dot.svg
tests/nfa_example/000033_alphabet_a_always_star_a_ff.dot
tests/nfa_example/000033_alphabet_a_always_star_a_ff.dot.svg
tests/nfa_example/000034_alphabet_a_always_star_not_a_tt.dot
tests/nfa_example/000034_alphabet_a_always_star_not_a_tt.dot.svg
tests/nfa_example/000035_alphabet_a_always_star_not_a_ff.dot
tests/nfa_example/000035_alphabet_a_always_star_not_a_ff.dot.svg
tests/nfa_example/000036_alphabet_a_always_star_not_a_a.dot
tests/nfa_example/000036_alphabet_a_always_star_not_a_a.dot.svg
tests/nfa_example/000037_alphabet_a_always_star_not_a_end.dot
tests/nfa_example/000037_alphabet_a_always_star_not_a_end.dot.svg
tests/nfa_example/001000_alphabet_abc_.dot
tests/nfa_example/001000_alphabet_abc_.dot.svg