Commit c5e73115 authored by Bharat Garhewal's avatar Bharat Garhewal
Browse files

More cleanup

parent e7ec69c7
Pipeline #60903 passed with stages
in 6 minutes and 32 seconds
use crate::{
automatadefs::mealy::shortest_separating_sequence,
learner::l_sharp::{Rule2, Rule3},
oracles::equivalence::{
EquivalenceOracle, ExternalEquivalenceOracle, InternalEquivalenceOracle,
},
};
use crate::{
automatadefs::{
mealy::{InputSymbol, Mealy, OutputSymbol},
mealy::{shortest_separating_sequence, InputSymbol, Mealy, OutputSymbol},
FiniteStateMachine,
},
learner::{l_sharp::Lsharp, obs_tree::map_tree::ObsTree as ObsMapTree},
learner::{
l_sharp::{Lsharp, Rule2, Rule3},
obs_tree::map_tree::ObsTree as ObsMapTree,
},
oracles::{
equivalence::{
hads_tree::HadsTree,
incomplete::iads::IadsEO,
sep_seq::SequenceOracle,
soucha::{ConfigBuilder as SouchaConfigBuilder, Oracle as SouchaOracle},
EquivalenceOracle, ExternalEquivalenceOracle, InternalEquivalenceOracle,
},
membership::Oracle as OQOracle,
},
......
......@@ -32,6 +32,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
.build(format!("log/{}.log", chrono::Utc::now()))?;
let matches = cli::parse()?;
let rule2_mode = match matches.value_of("rule2").unwrap() {
"none" => Rule2::Nothing,
"ads" => Rule2::Ads,
......
mod dot_fmt;
pub(crate) mod overall;
pub mod overall;
mod soucha_fmt;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment