├── .editorconfig ├── .github └── workflows │ └── main.yml ├── .gitignore ├── .rubocop.yml ├── CODE_OF_CONDUCT.md ├── Gemfile ├── Gemfile.lock ├── LICENSE.txt ├── README.md ├── Rakefile ├── Steepfile ├── bin ├── console ├── rake ├── rbs-inline ├── setup └── steep ├── examples ├── ripper_prism.rb └── uri_parse_regexp.rb ├── experiments ├── README.md ├── regular_aggregate.rb ├── regular_benchmark.rb └── results │ └── lernen-0.3.0 │ ├── dhc_bin.jsonl │ ├── dhc_exp.jsonl │ ├── dhc_lin.jsonl │ ├── kv_bin.jsonl │ ├── kv_exp.jsonl │ ├── kv_lin.jsonl │ ├── lsharp.jsonl │ ├── lstar_bin.jsonl │ ├── lstar_exp.jsonl │ ├── lstar_lin.jsonl │ └── lstar_orig.jsonl ├── lernen.gemspec ├── lib ├── lernen.rb └── lernen │ ├── algorithm.rb │ ├── algorithm │ ├── cex_processor.rb │ ├── cex_processor │ │ ├── acex.rb │ │ └── prefix_transformer_acex.rb │ ├── dhc.rb │ ├── dhc │ │ └── dhc_learner.rb │ ├── kearns_vazirani.rb │ ├── kearns_vazirani │ │ ├── discrimination_tree.rb │ │ └── kearns_vazirani_learner.rb │ ├── kearns_vazirani_vpa.rb │ ├── kearns_vazirani_vpa │ │ ├── discrimination_tree_vpa.rb │ │ └── kearns_vazirani_vpa_learner.rb │ ├── learner.rb │ ├── lsharp.rb │ ├── lsharp │ │ ├── lsharp_learner.rb │ │ └── observation_tree.rb │ ├── lstar.rb │ ├── lstar │ │ ├── lstar_learner.rb │ │ └── observation_table.rb │ ├── lstar_vpa.rb │ ├── lstar_vpa │ │ ├── lstar_vpa_learner.rb │ │ └── observation_table_vpa.rb │ ├── procedural.rb │ └── procedural │ │ ├── atr_manager.rb │ │ ├── procedural_learner.rb │ │ ├── procedural_sul.rb │ │ └── return_indices_acex.rb │ ├── automaton.rb │ ├── automaton │ ├── dfa.rb │ ├── mealy.rb │ ├── moore.rb │ ├── moore_like.rb │ ├── proc_util.rb │ ├── spa.rb │ ├── transition_system.rb │ └── vpa.rb │ ├── equiv.rb │ ├── equiv │ ├── combined_oracle.rb │ ├── exhaustive_search_oracle.rb │ ├── moore_like_simulator_oracle.rb │ ├── oracle.rb │ ├── random_walk_oracle.rb │ ├── random_well_matched_word_oracle.rb │ ├── random_word_oracle.rb │ ├── spa_simulator_oracle.rb │ ├── test_words_oracle.rb │ ├── transition_system_simulator_oracle.rb │ └── vpa_simulator_oracle.rb │ ├── graph.rb │ ├── system.rb │ ├── system │ ├── block_sul.rb │ ├── moore_like_simulator.rb │ ├── moore_like_sul.rb │ ├── sul.rb │ └── transition_system_simulator.rb │ └── version.rb ├── rbs_collection.lock.yaml ├── rbs_collection.yaml ├── renovate.json ├── sig-test └── generated │ └── test │ ├── example_test.rbs │ ├── lernen │ ├── algorithm │ │ ├── dhc_test.rbs │ │ ├── kearns_vazirani_test.rbs │ │ ├── kearns_vazirani_vpa_test.rbs │ │ ├── lsharp_test.rbs │ │ ├── lstar_test.rbs │ │ ├── lstar_vpa_test.rbs │ │ └── procedural_test.rbs │ ├── automaton │ │ ├── dfa_test.rbs │ │ ├── mealy_test.rbs │ │ ├── moore_test.rbs │ │ ├── proc_util_test.rbs │ │ ├── spa_test.rbs │ │ └── vpa_test.rbs │ ├── equiv │ │ ├── exhaustive_search_oracle_test.rbs │ │ ├── random_walk_oracle_test.rbs │ │ └── random_word_oracle_test.rbs │ ├── system │ │ ├── block_sul_test.rbs │ │ ├── moore_like_simulator_test.rbs │ │ └── transition_system_simulator_test.rbs │ └── system_test.rbs │ └── lernen_test.rbs ├── sig └── generated │ ├── lernen.rbs │ └── lernen │ ├── algorithm.rbs │ ├── algorithm │ ├── cex_processor.rbs │ ├── cex_processor │ │ ├── acex.rbs │ │ └── prefix_transformer_acex.rbs │ ├── dhc.rbs │ ├── dhc │ │ └── dhc_learner.rbs │ ├── kearns_vazirani.rbs │ ├── kearns_vazirani │ │ ├── discrimination_tree.rbs │ │ └── kearns_vazirani_learner.rbs │ ├── kearns_vazirani_vpa.rbs │ ├── kearns_vazirani_vpa │ │ ├── discrimination_tree_vpa.rbs │ │ └── kearns_vazirani_vpa_learner.rbs │ ├── learner.rbs │ ├── lsharp.rbs │ ├── lsharp │ │ ├── lsharp_learner.rbs │ │ └── observation_tree.rbs │ ├── lstar.rbs │ ├── lstar │ │ ├── lstar_learner.rbs │ │ └── observation_table.rbs │ ├── lstar_vpa.rbs │ ├── lstar_vpa │ │ ├── lstar_vpa_learner.rbs │ │ └── observation_table_vpa.rbs │ ├── procedural.rbs │ └── procedural │ │ ├── atr_manager.rbs │ │ ├── procedural_learner.rbs │ │ ├── procedural_sul.rbs │ │ └── return_indices_acex.rbs │ ├── automaton.rbs │ ├── automaton │ ├── dfa.rbs │ ├── mealy.rbs │ ├── moore.rbs │ ├── moore_like.rbs │ ├── proc_util.rbs │ ├── spa.rbs │ ├── transition_system.rbs │ └── vpa.rbs │ ├── equiv.rbs │ ├── equiv │ ├── combined_oracle.rbs │ ├── exhaustive_search_oracle.rbs │ ├── moore_like_simulator_oracle.rbs │ ├── oracle.rbs │ ├── random_walk_oracle.rbs │ ├── random_well_matched_word_oracle.rbs │ ├── random_word_oracle.rbs │ ├── spa_simulator_oracle.rbs │ ├── test_words_oracle.rbs │ ├── transition_system_simulator_oracle.rbs │ └── vpa_simulator_oracle.rbs │ ├── graph.rbs │ ├── system.rbs │ ├── system │ ├── block_sul.rbs │ ├── moore_like_simulator.rbs │ ├── moore_like_sul.rbs │ ├── sul.rbs │ └── transition_system_simulator.rbs │ └── version.rbs └── test ├── example_test.rb ├── lernen ├── algorithm │ ├── dhc_test.rb │ ├── kearns_vazirani_test.rb │ ├── kearns_vazirani_vpa_test.rb │ ├── lsharp_test.rb │ ├── lstar_test.rb │ ├── lstar_vpa_test.rb │ └── procedural_test.rb ├── automaton │ ├── dfa_test.rb │ ├── mealy_test.rb │ ├── moore_test.rb │ ├── proc_util_test.rb │ ├── spa_test.rb │ └── vpa_test.rb ├── equiv │ ├── exhaustive_search_oracle_test.rb │ ├── random_walk_oracle_test.rb │ └── random_word_oracle_test.rb ├── system │ ├── block_sul_test.rb │ ├── moore_like_simulator_test.rb │ └── transition_system_simulator_test.rb └── system_test.rb ├── lernen_test.rb └── test_helper.rb /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/.gitignore -------------------------------------------------------------------------------- /.rubocop.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/.rubocop.yml -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/Gemfile -------------------------------------------------------------------------------- /Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/Gemfile.lock -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/README.md -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/Rakefile -------------------------------------------------------------------------------- /Steepfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/Steepfile -------------------------------------------------------------------------------- /bin/console: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/bin/console -------------------------------------------------------------------------------- /bin/rake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/bin/rake -------------------------------------------------------------------------------- /bin/rbs-inline: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/bin/rbs-inline -------------------------------------------------------------------------------- /bin/setup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/bin/setup -------------------------------------------------------------------------------- /bin/steep: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/bin/steep -------------------------------------------------------------------------------- /examples/ripper_prism.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/examples/ripper_prism.rb -------------------------------------------------------------------------------- /examples/uri_parse_regexp.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/examples/uri_parse_regexp.rb -------------------------------------------------------------------------------- /experiments/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/README.md -------------------------------------------------------------------------------- /experiments/regular_aggregate.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/regular_aggregate.rb -------------------------------------------------------------------------------- /experiments/regular_benchmark.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/regular_benchmark.rb -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/dhc_bin.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/dhc_bin.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/dhc_exp.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/dhc_exp.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/dhc_lin.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/dhc_lin.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/kv_bin.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/kv_bin.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/kv_exp.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/kv_exp.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/kv_lin.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/kv_lin.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/lsharp.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/lsharp.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/lstar_bin.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/lstar_bin.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/lstar_exp.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/lstar_exp.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/lstar_lin.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/lstar_lin.jsonl -------------------------------------------------------------------------------- /experiments/results/lernen-0.3.0/lstar_orig.jsonl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/experiments/results/lernen-0.3.0/lstar_orig.jsonl -------------------------------------------------------------------------------- /lernen.gemspec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lernen.gemspec -------------------------------------------------------------------------------- /lib/lernen.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/cex_processor.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/cex_processor.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/cex_processor/acex.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/cex_processor/acex.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/cex_processor/prefix_transformer_acex.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/cex_processor/prefix_transformer_acex.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/dhc.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/dhc.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/dhc/dhc_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/dhc/dhc_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/kearns_vazirani.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/kearns_vazirani.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/kearns_vazirani/discrimination_tree.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/kearns_vazirani/discrimination_tree.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/kearns_vazirani/kearns_vazirani_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/kearns_vazirani/kearns_vazirani_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/kearns_vazirani_vpa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/kearns_vazirani_vpa.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/kearns_vazirani_vpa/discrimination_tree_vpa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/kearns_vazirani_vpa/discrimination_tree_vpa.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/kearns_vazirani_vpa/kearns_vazirani_vpa_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/kearns_vazirani_vpa/kearns_vazirani_vpa_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lsharp.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lsharp.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lsharp/lsharp_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lsharp/lsharp_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lsharp/observation_tree.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lsharp/observation_tree.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lstar.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lstar.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lstar/lstar_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lstar/lstar_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lstar/observation_table.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lstar/observation_table.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lstar_vpa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lstar_vpa.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lstar_vpa/lstar_vpa_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lstar_vpa/lstar_vpa_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/lstar_vpa/observation_table_vpa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/lstar_vpa/observation_table_vpa.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/procedural.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/procedural.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/procedural/atr_manager.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/procedural/atr_manager.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/procedural/procedural_learner.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/procedural/procedural_learner.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/procedural/procedural_sul.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/procedural/procedural_sul.rb -------------------------------------------------------------------------------- /lib/lernen/algorithm/procedural/return_indices_acex.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/algorithm/procedural/return_indices_acex.rb -------------------------------------------------------------------------------- /lib/lernen/automaton.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/dfa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/dfa.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/mealy.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/mealy.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/moore.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/moore.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/moore_like.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/moore_like.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/proc_util.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/proc_util.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/spa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/spa.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/transition_system.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/transition_system.rb -------------------------------------------------------------------------------- /lib/lernen/automaton/vpa.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/automaton/vpa.rb -------------------------------------------------------------------------------- /lib/lernen/equiv.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/combined_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/combined_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/exhaustive_search_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/exhaustive_search_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/moore_like_simulator_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/moore_like_simulator_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/random_walk_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/random_walk_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/random_well_matched_word_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/random_well_matched_word_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/random_word_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/random_word_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/spa_simulator_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/spa_simulator_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/test_words_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/test_words_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/transition_system_simulator_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/transition_system_simulator_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/equiv/vpa_simulator_oracle.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/equiv/vpa_simulator_oracle.rb -------------------------------------------------------------------------------- /lib/lernen/graph.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/graph.rb -------------------------------------------------------------------------------- /lib/lernen/system.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/system.rb -------------------------------------------------------------------------------- /lib/lernen/system/block_sul.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/system/block_sul.rb -------------------------------------------------------------------------------- /lib/lernen/system/moore_like_simulator.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/system/moore_like_simulator.rb -------------------------------------------------------------------------------- /lib/lernen/system/moore_like_sul.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/system/moore_like_sul.rb -------------------------------------------------------------------------------- /lib/lernen/system/sul.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/system/sul.rb -------------------------------------------------------------------------------- /lib/lernen/system/transition_system_simulator.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/system/transition_system_simulator.rb -------------------------------------------------------------------------------- /lib/lernen/version.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/lib/lernen/version.rb -------------------------------------------------------------------------------- /rbs_collection.lock.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/rbs_collection.lock.yaml -------------------------------------------------------------------------------- /rbs_collection.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/rbs_collection.yaml -------------------------------------------------------------------------------- /renovate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/renovate.json -------------------------------------------------------------------------------- /sig-test/generated/test/example_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/example_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/dhc_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/dhc_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/kearns_vazirani_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/kearns_vazirani_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/kearns_vazirani_vpa_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/kearns_vazirani_vpa_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/lsharp_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/lsharp_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/lstar_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/lstar_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/lstar_vpa_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/lstar_vpa_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/algorithm/procedural_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/algorithm/procedural_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/automaton/dfa_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/automaton/dfa_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/automaton/mealy_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/automaton/mealy_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/automaton/moore_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/automaton/moore_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/automaton/proc_util_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/automaton/proc_util_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/automaton/spa_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/automaton/spa_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/automaton/vpa_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/automaton/vpa_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/equiv/exhaustive_search_oracle_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/equiv/exhaustive_search_oracle_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/equiv/random_walk_oracle_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/equiv/random_walk_oracle_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/equiv/random_word_oracle_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/equiv/random_word_oracle_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/system/block_sul_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/system/block_sul_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/system/moore_like_simulator_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/system/moore_like_simulator_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/system/transition_system_simulator_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/system/transition_system_simulator_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen/system_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen/system_test.rbs -------------------------------------------------------------------------------- /sig-test/generated/test/lernen_test.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig-test/generated/test/lernen_test.rbs -------------------------------------------------------------------------------- /sig/generated/lernen.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/cex_processor.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/cex_processor.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/cex_processor/acex.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/cex_processor/acex.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/cex_processor/prefix_transformer_acex.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/cex_processor/prefix_transformer_acex.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/dhc.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/dhc.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/dhc/dhc_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/dhc/dhc_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/kearns_vazirani.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/kearns_vazirani.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/kearns_vazirani/discrimination_tree.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/kearns_vazirani/discrimination_tree.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/kearns_vazirani/kearns_vazirani_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/kearns_vazirani/kearns_vazirani_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/kearns_vazirani_vpa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/kearns_vazirani_vpa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/kearns_vazirani_vpa/discrimination_tree_vpa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/kearns_vazirani_vpa/discrimination_tree_vpa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/kearns_vazirani_vpa/kearns_vazirani_vpa_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/kearns_vazirani_vpa/kearns_vazirani_vpa_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lsharp.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lsharp.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lsharp/lsharp_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lsharp/lsharp_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lsharp/observation_tree.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lsharp/observation_tree.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lstar.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lstar.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lstar/lstar_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lstar/lstar_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lstar/observation_table.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lstar/observation_table.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lstar_vpa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lstar_vpa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lstar_vpa/lstar_vpa_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lstar_vpa/lstar_vpa_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/lstar_vpa/observation_table_vpa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/lstar_vpa/observation_table_vpa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/procedural.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/procedural.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/procedural/atr_manager.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/procedural/atr_manager.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/procedural/procedural_learner.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/procedural/procedural_learner.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/procedural/procedural_sul.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/procedural/procedural_sul.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/algorithm/procedural/return_indices_acex.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/algorithm/procedural/return_indices_acex.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/dfa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/dfa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/mealy.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/mealy.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/moore.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/moore.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/moore_like.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/moore_like.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/proc_util.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/proc_util.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/spa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/spa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/transition_system.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/transition_system.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/automaton/vpa.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/automaton/vpa.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/combined_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/combined_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/exhaustive_search_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/exhaustive_search_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/moore_like_simulator_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/moore_like_simulator_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/random_walk_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/random_walk_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/random_well_matched_word_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/random_well_matched_word_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/random_word_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/random_word_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/spa_simulator_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/spa_simulator_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/test_words_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/test_words_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/transition_system_simulator_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/transition_system_simulator_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/equiv/vpa_simulator_oracle.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/equiv/vpa_simulator_oracle.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/graph.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/graph.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/system.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/system.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/system/block_sul.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/system/block_sul.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/system/moore_like_simulator.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/system/moore_like_simulator.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/system/moore_like_sul.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/system/moore_like_sul.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/system/sul.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/system/sul.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/system/transition_system_simulator.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/system/transition_system_simulator.rbs -------------------------------------------------------------------------------- /sig/generated/lernen/version.rbs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/sig/generated/lernen/version.rbs -------------------------------------------------------------------------------- /test/example_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/example_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/dhc_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/dhc_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/kearns_vazirani_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/kearns_vazirani_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/kearns_vazirani_vpa_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/kearns_vazirani_vpa_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/lsharp_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/lsharp_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/lstar_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/lstar_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/lstar_vpa_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/lstar_vpa_test.rb -------------------------------------------------------------------------------- /test/lernen/algorithm/procedural_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/algorithm/procedural_test.rb -------------------------------------------------------------------------------- /test/lernen/automaton/dfa_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/automaton/dfa_test.rb -------------------------------------------------------------------------------- /test/lernen/automaton/mealy_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/automaton/mealy_test.rb -------------------------------------------------------------------------------- /test/lernen/automaton/moore_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/automaton/moore_test.rb -------------------------------------------------------------------------------- /test/lernen/automaton/proc_util_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/automaton/proc_util_test.rb -------------------------------------------------------------------------------- /test/lernen/automaton/spa_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/automaton/spa_test.rb -------------------------------------------------------------------------------- /test/lernen/automaton/vpa_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/automaton/vpa_test.rb -------------------------------------------------------------------------------- /test/lernen/equiv/exhaustive_search_oracle_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/equiv/exhaustive_search_oracle_test.rb -------------------------------------------------------------------------------- /test/lernen/equiv/random_walk_oracle_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/equiv/random_walk_oracle_test.rb -------------------------------------------------------------------------------- /test/lernen/equiv/random_word_oracle_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/equiv/random_word_oracle_test.rb -------------------------------------------------------------------------------- /test/lernen/system/block_sul_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/system/block_sul_test.rb -------------------------------------------------------------------------------- /test/lernen/system/moore_like_simulator_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/system/moore_like_simulator_test.rb -------------------------------------------------------------------------------- /test/lernen/system/transition_system_simulator_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/system/transition_system_simulator_test.rb -------------------------------------------------------------------------------- /test/lernen/system_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen/system_test.rb -------------------------------------------------------------------------------- /test/lernen_test.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/lernen_test.rb -------------------------------------------------------------------------------- /test/test_helper.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makenowjust/lernen/HEAD/test/test_helper.rb --------------------------------------------------------------------------------