eon.explorer
#
Module Contents#
Classes#
Functions#
Data#
API#
- eon.explorer.logger#
‘getLogger(…)’
- class eon.explorer.MinModeExplorer(states, previous_state, state, superbasin=None)[source]#
Bases:
eon.explorer.Explorer
Initialization
Init MinModeExplorer.
If superbasin is passed, all states in the superbasin will be searched until all of them have the required confidence. It will also lead to a different confidence definition being used, which takes only processes exiting the SB into account.
- class eon.explorer.ClientMinModeExplorer(states, previous_state, state, superbasin=None)[source]#
Bases:
eon.explorer.MinModeExplorer
Initialization
Init MinModeExplorer.
If superbasin is passed, all states in the superbasin will be searched until all of them have the required confidence. It will also lead to a different confidence definition being used, which takes only processes exiting the SB into account.
- class eon.explorer.ServerMinModeExplorer(states, previous_state, state, superbasin=None)[source]#
Bases:
eon.explorer.MinModeExplorer
Initialization
Init MinModeExplorer.
If superbasin is passed, all states in the superbasin will be searched until all of them have the required confidence. It will also lead to a different confidence definition being used, which takes only processes exiting the SB into account.