Index

_

__init__() (sim_explorer.assertion.Assertion method) (sim_explorer.case.Case method) (sim_explorer.case.Cases method) (sim_explorer.case.Results method) (sim_explorer.models.AssertionResult method) (sim_explorer.models.Temporal method) (sim_explorer.system_interface.SystemInterface method) (sim_explorer.system_interface_osp.SystemInterfaceOSP method)

A

A (sim_explorer.models.Temporal attribute) action_step() (sim_explorer.system_interface.SystemInterface method) (sim_explorer.system_interface_osp.SystemInterfaceOSP method) add() (sim_explorer.case.Results method) add_actions() (sim_explorer.system_interface.SystemInterface method) add_results_object() (sim_explorer.case.Case method)

allowed_action() (sim_explorer.system_interface.SystemInterface method) ALWAYS (sim_explorer.models.Temporal attribute) append() (sim_explorer.case.Case method) Assertion (class in sim_explorer.assertion) assertion (sim_explorer.case.Cases attribute) AssertionResult (class in sim_explorer.models) assertions() (sim_explorer.assertion.Assertion method)

B

base (sim_explorer.case.Cases attribute)

C

Case (class in sim_explorer.case) case (sim_explorer.case.Results attribute) (sim_explorer.models.AssertionResult attribute) case_by_name() (sim_explorer.case.Case method) (sim_explorer.case.Cases method) case_variable() (sim_explorer.case.Cases method)

CaseInitError Cases (class in sim_explorer.case) CaseUseError comp_model_var() (sim_explorer.system_interface.SystemInterface method) component_id_from_name() (sim_explorer.system_interface.SystemInterface method) component_name_from_id() (sim_explorer.system_interface.SystemInterface method) configure_logging() (in module sim_explorer.utils.logging)

D

description (sim_explorer.models.AssertionResult attribute) description() (sim_explorer.assertion.Assertion method) details (sim_explorer.models.AssertionResult attribute) disect_variable() (sim_explorer.case.Cases method)

do_action() (sim_explorer.system_interface.SystemInterface method) (sim_explorer.system_interface_osp.SystemInterfaceOSP method) do_assert() (sim_explorer.assertion.Assertion method) do_assert_case() (sim_explorer.assertion.Assertion method)

E

eval_series() (sim_explorer.assertion.Assertion method) eval_single() (sim_explorer.assertion.Assertion method) EVENTUALLY (sim_explorer.models.Temporal attribute)

expr() (sim_explorer.assertion.Assertion method) expr_get_symbols_functions() (sim_explorer.assertion.Assertion method) expression (sim_explorer.models.AssertionResult attribute)

F

F (sim_explorer.models.Temporal attribute) file (sim_explorer.case.Cases attribute) (sim_explorer.case.Results attribute)

from_xml() (in module sim_explorer.utils.misc)

G

get_callable_function() (in module sim_explorer.utils.codegen) get_case_variables() (sim_explorer.case.Cases method)

get_path() (in module sim_explorer.utils.paths) get_pos() (in module sim_explorer.utils.json5) get_starts() (sim_explorer.case.Cases method)

I

info() (sim_explorer.assertion.Assertion method) (sim_explorer.case.Cases method) init_simulator() (sim_explorer.system_interface.SystemInterface method) (sim_explorer.system_interface_osp.SystemInterfaceOSP method)

inspect() (sim_explorer.case.Results method) iter() (sim_explorer.case.Case method)

J

js_py (sim_explorer.case.Cases attribute) json5_check() (in module sim_explorer.utils.json5) json5_find_identifier_start() (in module sim_explorer.utils.json5) json5_path() (in module sim_explorer.utils.json5)

json5_read() (in module sim_explorer.utils.json5) json5_try_correct() (in module sim_explorer.utils.json5) json5_update() (in module sim_explorer.utils.json5) json5_write() (in module sim_explorer.utils.json5)

K

key (sim_explorer.models.AssertionResult attribute)

L

list_cases() (sim_explorer.case.Case method)

M

make_locals() (sim_explorer.assertion.Assertion method) make_osp_system_structure() (in module sim_explorer.utils.osp) match_components() (sim_explorer.system_interface.SystemInterface method) match_variables() (sim_explorer.system_interface.SystemInterface method) match_with_wildcard() (in module sim_explorer.utils.misc) model_config (sim_explorer.models.AssertionResult attribute) model_from_component() (sim_explorer.system_interface.SystemInterface method) models (sim_explorer.system_interface.SystemInterface property) module sim_explorer.assertion sim_explorer.case sim_explorer.exceptions sim_explorer.models sim_explorer.system_interface sim_explorer.system_interface_osp sim_explorer.utils sim_explorer.utils.codegen sim_explorer.utils.json5 sim_explorer.utils.logging sim_explorer.utils.misc sim_explorer.utils.osp sim_explorer.utils.paths sim_explorer.utils.types

O

osp_system_structure_from_js5() (in module sim_explorer.utils.osp)

P

path (sim_explorer.system_interface.SystemInterface property)

plot_time_series() (sim_explorer.case.Results method) pytype() (sim_explorer.system_interface.SystemInterface static method)

R

read_assertion() (sim_explorer.case.Case method) read_cases() (sim_explorer.case.Cases method) read_spec_item() (sim_explorer.case.Case method) read_system_structure() (sim_explorer.system_interface.SystemInterface static method) read_system_structure_xml() (in module sim_explorer.utils.osp) register_vars() (sim_explorer.assertion.Assertion method) relative_path() (in module sim_explorer.utils.paths) report() (sim_explorer.assertion.Assertion method)

res (sim_explorer.case.Results attribute) result (sim_explorer.models.AssertionResult attribute) Results (class in sim_explorer.case) retrieve() (sim_explorer.case.Results method) run() (sim_explorer.case.Case method) run_case() (sim_explorer.case.Cases method) run_until() (sim_explorer.system_interface.SystemInterface method) (sim_explorer.system_interface_osp.SystemInterfaceOSP method)

S

save() (sim_explorer.case.Results method) sim_explorer.assertion module sim_explorer.case module sim_explorer.exceptions module sim_explorer.models module sim_explorer.system_interface module sim_explorer.system_interface_osp module sim_explorer.utils module sim_explorer.utils.codegen module

sim_explorer.utils.json5 module sim_explorer.utils.logging module sim_explorer.utils.misc module sim_explorer.utils.osp module sim_explorer.utils.paths module sim_explorer.utils.types module simulator (sim_explorer.case.Cases attribute) symbol() (sim_explorer.assertion.Assertion method) syms() (sim_explorer.assertion.Assertion method) SystemInterface (class in sim_explorer.system_interface) SystemInterfaceOSP (class in sim_explorer.system_interface_osp)

T

T (sim_explorer.models.Temporal attribute) TActionArgs (in module sim_explorer.utils.types) Temporal (class in sim_explorer.models) temporal (sim_explorer.models.AssertionResult attribute) temporal() (sim_explorer.assertion.Assertion method)

TGetActionArgs (in module sim_explorer.utils.types) time (sim_explorer.models.AssertionResult attribute) TIME (sim_explorer.models.Temporal attribute) timefac (sim_explorer.case.Cases attribute) TSetActionArgs (in module sim_explorer.utils.types)

U

UNDEFINED (sim_explorer.models.Temporal attribute)

update_refs_values() (sim_explorer.system_interface.SystemInterface class method)

V

valid_initial() (sim_explorer.system_interface.SystemInterface static method) variable_iter() (sim_explorer.system_interface.SystemInterface method)

variable_name_from_ref() (sim_explorer.system_interface.SystemInterface method) variables (sim_explorer.case.Cases attribute) variables() (sim_explorer.system_interface.SystemInterface method)