Merge pull request #58 from icezyclon/master

Add explicit top-level imports

Author: emuskardin

aalpy/__init__.py

@@ -1,7 +1,94 @@
-from aalpy.base import *
-from aalpy.automata import *
-from aalpy.oracles import *
-from aalpy.learning_algs import *
-from aalpy.SULs import *
-from aalpy.utils import *
-from aalpy.paths import *
+from .automata import (
+    Dfa,
+    DfaState,
+    MarkovChain,
+    McState,
+    Mdp,
+    MdpState,
+    MealyMachine,
+    MealyState,
+    MooreMachine,
+    MooreState,
+    Onfsm,
+    OnfsmState,
+    Sevpa,
+    SevpaAlphabet,
+    SevpaState,
+    SevpaTransition,
+    StochasticMealyMachine,
+    StochasticMealyState,
+)
+from .base import (
+    SUL,
+    Automaton,
+    AutomatonState,
+    CacheTree,
+    DeterministicAutomaton,
+    Oracle,
+)
+from .learning_algs import (
+    run_abstracted_ONFSM_Lstar,
+    run_active_Alergia,
+    run_active_RPNI,
+    run_Alergia,
+    run_JAlergia,
+    run_KV,
+    run_Lstar,
+    run_non_det_Lstar,
+    run_RPNI,
+    run_stochastic_Lstar,
+)
+from .oracles import (
+    BreadthFirstExplorationEqOracle,
+    CacheBasedEqOracle,
+    KWayStateCoverageEqOracle,
+    KWayTransitionCoverageEqOracle,
+    PacOracle,
+    PerfectKnowledgeEqOracle,
+    ProvidedSequencesOracleWrapper,
+    RandomWalkEqOracle,
+    RandomWMethodEqOracle,
+    RandomWordEqOracle,
+    StatePrefixEqOracle,
+    TransitionFocusOracle,
+    UserInputEqOracle,
+    WMethodEqOracle,
+    kWayStateCoverageEqOracle,
+    kWayTransitionCoverageEqOracle,
+)
+from .SULs import (
+    AutomatonSUL, 
+    FunctionDecorator, 
+    PyClassSUL, 
+    RegexSUL, 
+    TomitaSUL
+)
+from .utils import (
+    CharacterTokenizer,
+    DataHandler,
+    DelimiterTokenizer,
+    IODelimiterTokenizer,
+    bisimilar,
+    compare_automata,
+    convert_i_o_traces_for_RPNI,
+    generate_random_deterministic_automata,
+    generate_random_dfa,
+    generate_random_markov_chain,
+    generate_random_mdp,
+    generate_random_mealy_machine,
+    generate_random_moore_machine,
+    generate_random_ONFSM,
+    generate_random_sevpa,
+    generate_random_smm,
+    generate_test_cases,
+    get_correct_prop_values,
+    get_properties_file,
+    load_automaton_from_file,
+    make_input_complete,
+    mdp_2_prism_format,
+    model_check_experiment,
+    model_check_properties,
+    save_automaton_to_file,
+    statistical_model_checking,
+    visualize_automaton,
+)