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_ltlf.py
tests/test_pl.py
tests/test_pythogic.py
tests/test_ref.py
tests/automata/DFA_000000_alphabet_a_logical_true.dot
tests/automata/DFA_000000_alphabet_a_logical_true.dot.svg
tests/automata/DFA_000001_alphabet_a_logical_false.dot
tests/automata/DFA_000001_alphabet_a_logical_false.dot.svg
tests/automata/DFA_000002_alphabet_a_tt_and_tt.dot
tests/automata/DFA_000002_alphabet_a_tt_and_tt.dot.svg
tests/automata/DFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot
tests/automata/DFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot.svg
tests/automata/DFA_000004_alphabet_a_tt_and_ff.dot
tests/automata/DFA_000004_alphabet_a_tt_and_ff.dot.svg
tests/automata/DFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot
tests/automata/DFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot.svg
tests/automata/DFA_000006_alphabet_a_tt_and_ff.dot
tests/automata/DFA_000006_alphabet_a_tt_and_ff.dot.svg
tests/automata/DFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot
tests/automata/DFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot.svg
tests/automata/DFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot
tests/automata/DFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot.svg
tests/automata/DFA_000009_alphabet_a_eventually_a_ff.dot
tests/automata/DFA_000009_alphabet_a_eventually_a_ff.dot.svg
tests/automata/DFA_000010_alphabet_a_eventually_false_tt.dot
tests/automata/DFA_000010_alphabet_a_eventually_false_tt.dot.svg
tests/automata/DFA_000011_alphabet_a_eventually_true_tt.dot
tests/automata/DFA_000011_alphabet_a_eventually_true_tt.dot.svg
tests/automata/DFA_000012_alphabet_a_eventually_not_a_tt.dot
tests/automata/DFA_000012_alphabet_a_eventually_not_a_tt.dot.svg
tests/automata/DFA_000013_alphabet_a_eventually_a_tt.dot
tests/automata/DFA_000013_alphabet_a_eventually_a_tt.dot.svg
tests/automata/DFA_000014_alphabet_a_eventually_test_a_tt.dot
tests/automata/DFA_000014_alphabet_a_eventually_test_a_tt.dot.svg
tests/automata/DFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot
tests/automata/DFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot.svg
tests/automata/DFA_000016_alphabet_a_eventually_star_a_tt.dot
tests/automata/DFA_000016_alphabet_a_eventually_star_a_tt.dot.svg
tests/automata/DFA_000017_alphabet_a_eventually_star_a_ff.dot
tests/automata/DFA_000017_alphabet_a_eventually_star_a_ff.dot.svg
tests/automata/DFA_000018_alphabet_a_eventually_star_not_a_tt.dot
tests/automata/DFA_000018_alphabet_a_eventually_star_not_a_tt.dot.svg
tests/automata/DFA_000019_alphabet_a_eventually_star_not_a_ff.dot
tests/automata/DFA_000019_alphabet_a_eventually_star_not_a_ff.dot.svg
tests/automata/DFA_000020_alphabet_a_eventually_star_not_a_a.dot
tests/automata/DFA_000020_alphabet_a_eventually_star_not_a_a.dot.svg
tests/automata/DFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot
tests/automata/DFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot.svg
tests/automata/DFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/automata/DFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/automata/DFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/automata/DFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/automata/DFA_000024_alphabet_always_a_ff.dot
tests/automata/DFA_000024_alphabet_always_a_ff.dot.svg
tests/automata/DFA_000025_alphabet_a_always_false_tt.dot
tests/automata/DFA_000025_alphabet_a_always_false_tt.dot.svg
tests/automata/DFA_000026_alphabet_a_always_true_tt.dot
tests/automata/DFA_000026_alphabet_a_always_true_tt.dot.svg
tests/automata/DFA_000027_alphabet_a_always_not_a_tt.dot
tests/automata/DFA_000027_alphabet_a_always_not_a_tt.dot.svg
tests/automata/DFA_000028_alphabet_a_always_a_tt.dot
tests/automata/DFA_000028_alphabet_a_always_a_tt.dot.svg
tests/automata/DFA_000029_alphabet_a_always_test_a_tt.dot
tests/automata/DFA_000029_alphabet_a_always_test_a_tt.dot.svg
tests/automata/DFA_000030_alphabet_a_always_test_a_ff.dot
tests/automata/DFA_000030_alphabet_a_always_test_a_ff.dot.svg
tests/automata/DFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot
tests/automata/DFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot.svg
tests/automata/DFA_000032_alphabet_a_always_star_a_tt.dot
tests/automata/DFA_000032_alphabet_a_always_star_a_tt.dot.svg
tests/automata/DFA_000033_alphabet_a_always_star_a_ff.dot
tests/automata/DFA_000033_alphabet_a_always_star_a_ff.dot.svg
tests/automata/DFA_000034_alphabet_a_always_star_not_a_tt.dot
tests/automata/DFA_000034_alphabet_a_always_star_not_a_tt.dot.svg
tests/automata/DFA_000035_alphabet_a_always_star_not_a_ff.dot
tests/automata/DFA_000035_alphabet_a_always_star_not_a_ff.dot.svg
tests/automata/DFA_000036_alphabet_a_always_star_not_a_a.dot
tests/automata/DFA_000036_alphabet_a_always_star_not_a_a.dot.svg
tests/automata/DFA_000037_alphabet_a_always_star_not_a_end.dot
tests/automata/DFA_000037_alphabet_a_always_star_not_a_end.dot.svg
tests/automata/DFA_001000_alphabet_abc_starred_sequences.dot
tests/automata/DFA_001000_alphabet_abc_starred_sequences.dot.svg
tests/automata/DFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot
tests/automata/DFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot.svg
tests/automata/DFA_001002_alphabet_abc_always_union_a_b_end.dot
tests/automata/DFA_001002_alphabet_abc_always_union_a_b_end.dot.svg
tests/automata/NFA_000000_alphabet_a_logical_true.dot
tests/automata/NFA_000000_alphabet_a_logical_true.dot.svg
tests/automata/NFA_000001_alphabet_a_logical_false.dot
tests/automata/NFA_000001_alphabet_a_logical_false.dot.svg
tests/automata/NFA_000002_alphabet_a_tt_and_tt.dot
tests/automata/NFA_000002_alphabet_a_tt_and_tt.dot.svg
tests/automata/NFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot
tests/automata/NFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot.svg
tests/automata/NFA_000004_alphabet_a_tt_and_ff.dot
tests/automata/NFA_000004_alphabet_a_tt_and_ff.dot.svg
tests/automata/NFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot
tests/automata/NFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot.svg
tests/automata/NFA_000006_alphabet_a_tt_and_ff.dot
tests/automata/NFA_000006_alphabet_a_tt_and_ff.dot.svg
tests/automata/NFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot
tests/automata/NFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot.svg
tests/automata/NFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot
tests/automata/NFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot.svg
tests/automata/NFA_000009_alphabet_a_eventually_a_ff.dot
tests/automata/NFA_000009_alphabet_a_eventually_a_ff.dot.svg
tests/automata/NFA_000010_alphabet_a_eventually_false_tt.dot
tests/automata/NFA_000010_alphabet_a_eventually_false_tt.dot.svg
tests/automata/NFA_000011_alphabet_a_eventually_true_tt.dot
tests/automata/NFA_000011_alphabet_a_eventually_true_tt.dot.svg
tests/automata/NFA_000012_alphabet_a_eventually_not_a_tt.dot
tests/automata/NFA_000012_alphabet_a_eventually_not_a_tt.dot.svg
tests/automata/NFA_000013_alphabet_a_eventually_a_tt.dot
tests/automata/NFA_000013_alphabet_a_eventually_a_tt.dot.svg
tests/automata/NFA_000014_alphabet_a_eventually_test_a_tt.dot
tests/automata/NFA_000014_alphabet_a_eventually_test_a_tt.dot.svg
tests/automata/NFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot
tests/automata/NFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot.svg
tests/automata/NFA_000016_alphabet_a_eventually_star_a_tt.dot
tests/automata/NFA_000016_alphabet_a_eventually_star_a_tt.dot.svg
tests/automata/NFA_000017_alphabet_a_eventually_star_a_ff.dot
tests/automata/NFA_000017_alphabet_a_eventually_star_a_ff.dot.svg
tests/automata/NFA_000018_alphabet_a_eventually_star_not_a_tt.dot
tests/automata/NFA_000018_alphabet_a_eventually_star_not_a_tt.dot.svg
tests/automata/NFA_000019_alphabet_a_eventually_star_not_a_ff.dot
tests/automata/NFA_000019_alphabet_a_eventually_star_not_a_ff.dot.svg
tests/automata/NFA_000020_alphabet_a_eventually_star_not_a_a.dot
tests/automata/NFA_000020_alphabet_a_eventually_star_not_a_a.dot.svg
tests/automata/NFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot
tests/automata/NFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot.svg
tests/automata/NFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/automata/NFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/automata/NFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/automata/NFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/automata/NFA_000024_alphabet_always_a_ff.dot
tests/automata/NFA_000024_alphabet_always_a_ff.dot.svg
tests/automata/NFA_000025_alphabet_a_always_false_tt.dot
tests/automata/NFA_000025_alphabet_a_always_false_tt.dot.svg
tests/automata/NFA_000026_alphabet_a_always_true_tt.dot
tests/automata/NFA_000026_alphabet_a_always_true_tt.dot.svg
tests/automata/NFA_000027_alphabet_a_always_not_a_tt.dot
tests/automata/NFA_000027_alphabet_a_always_not_a_tt.dot.svg
tests/automata/NFA_000028_alphabet_a_always_a_tt.dot
tests/automata/NFA_000028_alphabet_a_always_a_tt.dot.svg
tests/automata/NFA_000029_alphabet_a_always_test_a_tt.dot
tests/automata/NFA_000029_alphabet_a_always_test_a_tt.dot.svg
tests/automata/NFA_000030_alphabet_a_always_test_a_ff.dot
tests/automata/NFA_000030_alphabet_a_always_test_a_ff.dot.svg
tests/automata/NFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot
tests/automata/NFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot.svg
tests/automata/NFA_000032_alphabet_a_always_star_a_tt.dot
tests/automata/NFA_000032_alphabet_a_always_star_a_tt.dot.svg
tests/automata/NFA_000033_alphabet_a_always_star_a_ff.dot
tests/automata/NFA_000033_alphabet_a_always_star_a_ff.dot.svg
tests/automata/NFA_000034_alphabet_a_always_star_not_a_tt.dot
tests/automata/NFA_000034_alphabet_a_always_star_not_a_tt.dot.svg
tests/automata/NFA_000035_alphabet_a_always_star_not_a_ff.dot
tests/automata/NFA_000035_alphabet_a_always_star_not_a_ff.dot.svg
tests/automata/NFA_000036_alphabet_a_always_star_not_a_a.dot
tests/automata/NFA_000036_alphabet_a_always_star_not_a_a.dot.svg
tests/automata/NFA_000037_alphabet_a_always_star_not_a_end.dot
tests/automata/NFA_000037_alphabet_a_always_star_not_a_end.dot.svg
tests/automata/NFA_001000_alphabet_abc_starred_sequences.dot
tests/automata/NFA_001000_alphabet_abc_starred_sequences.dot.svg
tests/automata/NFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot
tests/automata/NFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot.svg
tests/automata/NFA_001002_alphabet_abc_always_union_a_b_end.dot
tests/automata/NFA_001002_alphabet_abc_always_union_a_b_end.dot.svg
tests/nfa/DFA_000000_alphabet_a_logical_true.dot
tests/nfa/DFA_000000_alphabet_a_logical_true.dot.svg
tests/nfa/DFA_000001_alphabet_a_logical_false.dot
tests/nfa/DFA_000001_alphabet_a_logical_false.dot.svg
tests/nfa/DFA_000002_alphabet_a_tt_and_tt.dot
tests/nfa/DFA_000002_alphabet_a_tt_and_tt.dot.svg
tests/nfa/DFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot
tests/nfa/DFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot.svg
tests/nfa/DFA_000004_alphabet_a_tt_and_ff.dot
tests/nfa/DFA_000004_alphabet_a_tt_and_ff.dot.svg
tests/nfa/DFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot
tests/nfa/DFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot.svg
tests/nfa/DFA_000006_alphabet_a_tt_and_ff.dot
tests/nfa/DFA_000006_alphabet_a_tt_and_ff.dot.svg
tests/nfa/DFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot
tests/nfa/DFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot.svg
tests/nfa/DFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot
tests/nfa/DFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot.svg
tests/nfa/DFA_000009_alphabet_a_eventually_a_ff.dot
tests/nfa/DFA_000009_alphabet_a_eventually_a_ff.dot.svg
tests/nfa/DFA_000010_alphabet_a_eventually_false_tt.dot
tests/nfa/DFA_000010_alphabet_a_eventually_false_tt.dot.svg
tests/nfa/DFA_000011_alphabet_a_eventually_true_tt.dot
tests/nfa/DFA_000011_alphabet_a_eventually_true_tt.dot.svg
tests/nfa/DFA_000012_alphabet_a_eventually_not_a_tt.dot
tests/nfa/DFA_000012_alphabet_a_eventually_not_a_tt.dot.svg
tests/nfa/DFA_000013_alphabet_a_eventually_a_tt.dot
tests/nfa/DFA_000013_alphabet_a_eventually_a_tt.dot.svg
tests/nfa/DFA_000014_alphabet_a_eventually_test_a_tt.dot
tests/nfa/DFA_000014_alphabet_a_eventually_test_a_tt.dot.svg
tests/nfa/DFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot
tests/nfa/DFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot.svg
tests/nfa/DFA_000016_alphabet_a_eventually_star_a_tt.dot
tests/nfa/DFA_000016_alphabet_a_eventually_star_a_tt.dot.svg
tests/nfa/DFA_000017_alphabet_a_eventually_star_a_ff.dot
tests/nfa/DFA_000017_alphabet_a_eventually_star_a_ff.dot.svg
tests/nfa/DFA_000018_alphabet_a_eventually_star_not_a_tt.dot
tests/nfa/DFA_000018_alphabet_a_eventually_star_not_a_tt.dot.svg
tests/nfa/DFA_000019_alphabet_a_eventually_star_not_a_ff.dot
tests/nfa/DFA_000019_alphabet_a_eventually_star_not_a_ff.dot.svg
tests/nfa/DFA_000020_alphabet_a_eventually_star_not_a_a.dot
tests/nfa/DFA_000020_alphabet_a_eventually_star_not_a_a.dot.svg
tests/nfa/DFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot
tests/nfa/DFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot.svg
tests/nfa/DFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa/DFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa/DFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa/DFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa/DFA_000024_alphabet_always_a_ff.dot
tests/nfa/DFA_000024_alphabet_always_a_ff.dot.svg
tests/nfa/DFA_000025_alphabet_a_always_false_tt.dot
tests/nfa/DFA_000025_alphabet_a_always_false_tt.dot.svg
tests/nfa/DFA_000026_alphabet_a_always_true_tt.dot
tests/nfa/DFA_000026_alphabet_a_always_true_tt.dot.svg
tests/nfa/DFA_000027_alphabet_a_always_not_a_tt.dot
tests/nfa/DFA_000027_alphabet_a_always_not_a_tt.dot.svg
tests/nfa/DFA_000028_alphabet_a_always_a_tt.dot
tests/nfa/DFA_000028_alphabet_a_always_a_tt.dot.svg
tests/nfa/DFA_000029_alphabet_a_always_test_a_tt.dot
tests/nfa/DFA_000029_alphabet_a_always_test_a_tt.dot.svg
tests/nfa/DFA_000030_alphabet_a_always_test_a_ff.dot
tests/nfa/DFA_000030_alphabet_a_always_test_a_ff.dot.svg
tests/nfa/DFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot
tests/nfa/DFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot.svg
tests/nfa/DFA_000032_alphabet_a_always_star_a_tt.dot
tests/nfa/DFA_000032_alphabet_a_always_star_a_tt.dot.svg
tests/nfa/DFA_000033_alphabet_a_always_star_a_ff.dot
tests/nfa/DFA_000033_alphabet_a_always_star_a_ff.dot.svg
tests/nfa/DFA_000034_alphabet_a_always_star_not_a_tt.dot
tests/nfa/DFA_000034_alphabet_a_always_star_not_a_tt.dot.svg
tests/nfa/DFA_000035_alphabet_a_always_star_not_a_ff.dot
tests/nfa/DFA_000035_alphabet_a_always_star_not_a_ff.dot.svg
tests/nfa/DFA_000036_alphabet_a_always_star_not_a_a.dot
tests/nfa/DFA_000036_alphabet_a_always_star_not_a_a.dot.svg
tests/nfa/DFA_000037_alphabet_a_always_star_not_a_end.dot
tests/nfa/DFA_000037_alphabet_a_always_star_not_a_end.dot.svg
tests/nfa/DFA_001000_alphabet_abc_starred_sequences.dot
tests/nfa/DFA_001000_alphabet_abc_starred_sequences.dot.svg
tests/nfa/DFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot
tests/nfa/DFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot.svg
tests/nfa/DFA_001002_alphabet_abc_always_union_a_b_end.dot
tests/nfa/DFA_001002_alphabet_abc_always_union_a_b_end.dot.svg
tests/nfa/NFA_000000_alphabet_a_logical_true.dot
tests/nfa/NFA_000000_alphabet_a_logical_true.dot.svg
tests/nfa/NFA_000001_alphabet_a_logical_false.dot
tests/nfa/NFA_000001_alphabet_a_logical_false.dot.svg
tests/nfa/NFA_000002_alphabet_a_tt_and_tt.dot
tests/nfa/NFA_000002_alphabet_a_tt_and_tt.dot.svg
tests/nfa/NFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot
tests/nfa/NFA_000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot.svg
tests/nfa/NFA_000004_alphabet_a_tt_and_ff.dot
tests/nfa/NFA_000004_alphabet_a_tt_and_ff.dot.svg
tests/nfa/NFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot
tests/nfa/NFA_000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot.svg
tests/nfa/NFA_000006_alphabet_a_tt_and_ff.dot
tests/nfa/NFA_000006_alphabet_a_tt_and_ff.dot.svg
tests/nfa/NFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot
tests/nfa/NFA_000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot.svg
tests/nfa/NFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot
tests/nfa/NFA_000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot.svg
tests/nfa/NFA_000009_alphabet_a_eventually_a_ff.dot
tests/nfa/NFA_000009_alphabet_a_eventually_a_ff.dot.svg
tests/nfa/NFA_000010_alphabet_a_eventually_false_tt.dot
tests/nfa/NFA_000010_alphabet_a_eventually_false_tt.dot.svg
tests/nfa/NFA_000011_alphabet_a_eventually_true_tt.dot
tests/nfa/NFA_000011_alphabet_a_eventually_true_tt.dot.svg
tests/nfa/NFA_000012_alphabet_a_eventually_not_a_tt.dot
tests/nfa/NFA_000012_alphabet_a_eventually_not_a_tt.dot.svg
tests/nfa/NFA_000013_alphabet_a_eventually_a_tt.dot
tests/nfa/NFA_000013_alphabet_a_eventually_a_tt.dot.svg
tests/nfa/NFA_000014_alphabet_a_eventually_test_a_tt.dot
tests/nfa/NFA_000014_alphabet_a_eventually_test_a_tt.dot.svg
tests/nfa/NFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot
tests/nfa/NFA_000015_alphabet_a_eventually_sequence_a_not_a_tt.dot.svg
tests/nfa/NFA_000016_alphabet_a_eventually_star_a_tt.dot
tests/nfa/NFA_000016_alphabet_a_eventually_star_a_tt.dot.svg
tests/nfa/NFA_000017_alphabet_a_eventually_star_a_ff.dot
tests/nfa/NFA_000017_alphabet_a_eventually_star_a_ff.dot.svg
tests/nfa/NFA_000018_alphabet_a_eventually_star_not_a_tt.dot
tests/nfa/NFA_000018_alphabet_a_eventually_star_not_a_tt.dot.svg
tests/nfa/NFA_000019_alphabet_a_eventually_star_not_a_ff.dot
tests/nfa/NFA_000019_alphabet_a_eventually_star_not_a_ff.dot.svg
tests/nfa/NFA_000020_alphabet_a_eventually_star_not_a_a.dot
tests/nfa/NFA_000020_alphabet_a_eventually_star_not_a_a.dot.svg
tests/nfa/NFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot
tests/nfa/NFA_000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot.svg
tests/nfa/NFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa/NFA_000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa/NFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa/NFA_000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa/NFA_000024_alphabet_always_a_ff.dot
tests/nfa/NFA_000024_alphabet_always_a_ff.dot.svg
tests/nfa/NFA_000025_alphabet_a_always_false_tt.dot
tests/nfa/NFA_000025_alphabet_a_always_false_tt.dot.svg
tests/nfa/NFA_000026_alphabet_a_always_true_tt.dot
tests/nfa/NFA_000026_alphabet_a_always_true_tt.dot.svg
tests/nfa/NFA_000027_alphabet_a_always_not_a_tt.dot
tests/nfa/NFA_000027_alphabet_a_always_not_a_tt.dot.svg
tests/nfa/NFA_000028_alphabet_a_always_a_tt.dot
tests/nfa/NFA_000028_alphabet_a_always_a_tt.dot.svg
tests/nfa/NFA_000029_alphabet_a_always_test_a_tt.dot
tests/nfa/NFA_000029_alphabet_a_always_test_a_tt.dot.svg
tests/nfa/NFA_000030_alphabet_a_always_test_a_ff.dot
tests/nfa/NFA_000030_alphabet_a_always_test_a_ff.dot.svg
tests/nfa/NFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot
tests/nfa/NFA_000031_alphabet_a_always_sequence_a_not_a_tt.dot.svg
tests/nfa/NFA_000032_alphabet_a_always_star_a_tt.dot
tests/nfa/NFA_000032_alphabet_a_always_star_a_tt.dot.svg
tests/nfa/NFA_000033_alphabet_a_always_star_a_ff.dot
tests/nfa/NFA_000033_alphabet_a_always_star_a_ff.dot.svg
tests/nfa/NFA_000034_alphabet_a_always_star_not_a_tt.dot
tests/nfa/NFA_000034_alphabet_a_always_star_not_a_tt.dot.svg
tests/nfa/NFA_000035_alphabet_a_always_star_not_a_ff.dot
tests/nfa/NFA_000035_alphabet_a_always_star_not_a_ff.dot.svg
tests/nfa/NFA_000036_alphabet_a_always_star_not_a_a.dot
tests/nfa/NFA_000036_alphabet_a_always_star_not_a_a.dot.svg
tests/nfa/NFA_000037_alphabet_a_always_star_not_a_end.dot
tests/nfa/NFA_000037_alphabet_a_always_star_not_a_end.dot.svg
tests/nfa/NFA_001000_alphabet_abc_starred_sequences.dot
tests/nfa/NFA_001000_alphabet_abc_starred_sequences.dot.svg
tests/nfa/NFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot
tests/nfa/NFA_001001_alphabet_abc_eventually_union_a_star_b_end.dot.svg
tests/nfa/NFA_001002_alphabet_abc_always_union_a_b_end.dot
tests/nfa/NFA_001002_alphabet_abc_always_union_a_b_end.dot.svg
tests/nfa_examples/000000_alphabet_a_logical_true.dot
tests/nfa_examples/000000_alphabet_a_logical_true.dot.svg
tests/nfa_examples/000001_alphabet_a_logical_false.dot
tests/nfa_examples/000001_alphabet_a_logical_false.dot.svg
tests/nfa_examples/000002_alphabet_a_tt_and_tt.dot
tests/nfa_examples/000002_alphabet_a_tt_and_tt.dot.svg
tests/nfa_examples/000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot
tests/nfa_examples/000003_alphabet_a_tt_and_tt_and_tt_and_tt.dot.svg
tests/nfa_examples/000004_alphabet_a_tt_and_ff.dot
tests/nfa_examples/000004_alphabet_a_tt_and_ff.dot.svg
tests/nfa_examples/000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot
tests/nfa_examples/000005_alphabet_a_tt_and_tt_and_tt_and_ff.dot.svg
tests/nfa_examples/000006_alphabet_a_tt_and_ff.dot
tests/nfa_examples/000006_alphabet_a_tt_and_ff.dot.svg
tests/nfa_examples/000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot
tests/nfa_examples/000007_alphabet_a_tt_or_ff_or_tt_or_ff.dot.svg
tests/nfa_examples/000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot
tests/nfa_examples/000008_alphabet_a_tt_or_ff_and_tt_or_ff.dot.svg
tests/nfa_examples/000009_alphabet_a_eventually_a_ff.dot
tests/nfa_examples/000009_alphabet_a_eventually_a_ff.dot.svg
tests/nfa_examples/000010_alphabet_a_eventually_false_tt.dot
tests/nfa_examples/000010_alphabet_a_eventually_false_tt.dot.svg
tests/nfa_examples/000011_alphabet_a_eventually_true_tt.dot
tests/nfa_examples/000011_alphabet_a_eventually_true_tt.dot.svg
tests/nfa_examples/000012_alphabet_a_eventually_not_a_tt.dot
tests/nfa_examples/000012_alphabet_a_eventually_not_a_tt.dot.svg
tests/nfa_examples/000013_alphabet_a_eventually_a_tt.dot
tests/nfa_examples/000013_alphabet_a_eventually_a_tt.dot.svg
tests/nfa_examples/000014_alphabet_a_eventually_test_a_tt.dot
tests/nfa_examples/000014_alphabet_a_eventually_test_a_tt.dot.svg
tests/nfa_examples/000015_alphabet_a_eventually_sequence_a_not_a_tt.dot
tests/nfa_examples/000015_alphabet_a_eventually_sequence_a_not_a_tt.dot.svg
tests/nfa_examples/000016_alphabet_a_eventually_star_a_tt.dot
tests/nfa_examples/000016_alphabet_a_eventually_star_a_tt.dot.svg
tests/nfa_examples/000017_alphabet_a_eventually_star_a_ff.dot
tests/nfa_examples/000017_alphabet_a_eventually_star_a_ff.dot.svg
tests/nfa_examples/000018_alphabet_a_eventually_star_not_a_tt.dot
tests/nfa_examples/000018_alphabet_a_eventually_star_not_a_tt.dot.svg
tests/nfa_examples/000019_alphabet_a_eventually_star_not_a_ff.dot
tests/nfa_examples/000019_alphabet_a_eventually_star_not_a_ff.dot.svg
tests/nfa_examples/000020_alphabet_a_eventually_star_not_a_a.dot
tests/nfa_examples/000020_alphabet_a_eventually_star_not_a_a.dot.svg
tests/nfa_examples/000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot
tests/nfa_examples/000021_alphabet_a_eventually_star_sequence_not_a_true_a.dot.svg
tests/nfa_examples/000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa_examples/000022_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa_examples/000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot
tests/nfa_examples/000023_alphabet_a_eventually_star_sequence_not_a_a_a.dot.svg
tests/nfa_examples/000024_alphabet_always_a_ff.dot
tests/nfa_examples/000024_alphabet_always_a_ff.dot.svg
tests/nfa_examples/000025_alphabet_a_always_false_tt.dot
tests/nfa_examples/000025_alphabet_a_always_false_tt.dot.svg
tests/nfa_examples/000026_alphabet_a_always_true_tt.dot
tests/nfa_examples/000026_alphabet_a_always_true_tt.dot.svg
tests/nfa_examples/000027_alphabet_a_always_not_a_tt.dot
tests/nfa_examples/000027_alphabet_a_always_not_a_tt.dot.svg
tests/nfa_examples/000028_alphabet_a_always_a_tt.dot
tests/nfa_examples/000028_alphabet_a_always_a_tt.dot.svg
tests/nfa_examples/000029_alphabet_a_always_test_a_tt.dot
tests/nfa_examples/000029_alphabet_a_always_test_a_tt.dot.svg
tests/nfa_examples/000030_alphabet_a_always_test_a_ff.dot
tests/nfa_examples/000030_alphabet_a_always_test_a_ff.dot.svg
tests/nfa_examples/000031_alphabet_a_always_sequence_a_not_a_tt.dot
tests/nfa_examples/000031_alphabet_a_always_sequence_a_not_a_tt.dot.svg
tests/nfa_examples/000032_alphabet_a_always_star_a_tt.dot
tests/nfa_examples/000032_alphabet_a_always_star_a_tt.dot.svg
tests/nfa_examples/000033_alphabet_a_always_star_a_ff.dot
tests/nfa_examples/000033_alphabet_a_always_star_a_ff.dot.svg
tests/nfa_examples/000034_alphabet_a_always_star_not_a_tt.dot
tests/nfa_examples/000034_alphabet_a_always_star_not_a_tt.dot.svg
tests/nfa_examples/000035_alphabet_a_always_star_not_a_ff.dot
tests/nfa_examples/000035_alphabet_a_always_star_not_a_ff.dot.svg
tests/nfa_examples/000036_alphabet_a_always_star_not_a_a.dot
tests/nfa_examples/000036_alphabet_a_always_star_not_a_a.dot.svg
tests/nfa_examples/000037_alphabet_a_always_star_not_a_end.dot
tests/nfa_examples/000037_alphabet_a_always_star_not_a_end.dot.svg
tests/nfa_examples/001000_alphabet_abc_.dot
tests/nfa_examples/001000_alphabet_abc_.dot.svg