#include <bymoc_explicit_system.hh>
Public Member Functions | |
bymoc_explicit_system_t (error_vector_t &evect) | |
A constructor. | |
process_decomposition_t * | get_property_decomposition () |
Returns property decomposition, or 0, if subsystem is not available. | |
virtual | ~bymoc_explicit_system_t () |
A destructor. | |
Methods for expression evaluation | |
virtual bool | eval_expr (const expression_t *const expr, const state_t state, data_t &data) const |
Not imlemented in BYMOC system - throws error message. | |
Methods working with system transitions and enabled transitions | |
virtual int | get_enabled_ith_trans (const state_t state, const size_int_t i, enabled_trans_t &enb_trans) |
Not imlemented in BYMOC system - throws error message. | |
virtual int | get_enabled_trans (const state_t state, enabled_trans_container_t &enb_trans) |
Not imlemented in BYMOC system - throws error message. | |
virtual int | get_enabled_trans_count (const state_t state, size_int_t &count) |
Not imlemented in BYMOC system - throws error message. | |
virtual bool | get_enabled_trans_succ (const state_t state, const enabled_trans_t &enabled, state_t &new_state) |
Not imlemented in BYMOC system - throws error message. | |
virtual bool | get_enabled_trans_succs (const state_t state, succ_container_t &succs, const enabled_trans_container_t &enabled_trans) |
Not imlemented in BYMOC system - throws error message. | |
virtual int | get_succs (state_t state, succ_container_t &succs, enabled_trans_container_t &etc) |
Not imlemented in BYMOC system - throws error message. | |
virtual enabled_trans_t * | new_enabled_trans () const |
Not imlemented in BYMOC system - throws error message. | |
Obligatory part of abstact interface | |
virtual state_t | get_initial_state () |
Implements explicit_system_t::get_initial_state() in BYMOC system. | |
virtual int | get_ith_succ (state_t state, const int i, state_t &succ) |
Implements explicit_system_t::get_ith_succ() in BYMOC system. | |
virtual size_int_t | get_preallocation_count () const |
virtual property_type_t | get_property_type () |
Implements explicit_system_t::get_preperty_type(). | |
virtual int | get_succs (state_t state, succ_container_t &succs) |
Implements explicit_system_t::get_succs() in BYMOC system. | |
virtual bool | is_accepting (state_t state, size_int_t acc_group=0, size_int_t pair_member=1) |
Implements explicit_system_t::is_accepting() in BYMOC system. | |
virtual bool | is_erroneous (state_t state) |
virtual void | print_state (state_t state, std::ostream &outs=std::cout) |
virtual size_int_t | violated_assertion_count (const state_t state) const |
Implements explicit_system_t::violated_assertion_count() in BYMOC. | |
virtual std::string | violated_assertion_string (const state_t state, const size_int_t index) const |
Implements explicit_system_t::violated_assertion_string() in BYMOC. | |
virtual bool | violates_assertion (const state_t state) const |
Implements explicit_system_t::violates_assertion() in BYMOC. |
bymoc_explicit_system_t is the immediate descendant of a class system_t.
It takes over the system of expression evaluation from system_t. Only for evaluating varibles, fields and state identifiers there are defined special functions, which return their value accoring a state of system (given by a piece of a memory).
bymoc_explicit_system_t | ( | error_vector_t & | evect | ) |
A constructor.
evect | = error vector used for reporting of error messages |
References system_t::get_abilities(), and system_abilities_t::system_can_decompose_property.
~bymoc_explicit_system_t | ( | ) | [virtual] |
A destructor.
A destructor.
size_int_t get_preallocation_count | ( | ) | const [virtual] |
Implements explicit_system_t::print_state() in BYMOC system, but see also implementation specific notes below
This methods always returns 10000. No better estimation is implemented.
Implements explicit_system_t.
bool is_erroneous | ( | state_t | state | ) | [virtual] |
Implements explicit_system_t::is_erroneous() in BYMOC system, but see also implementation specific notes below
It constantly returns true - till now virtual machine does not support any constrol of error states (created e. g. by division by zero)
Implements explicit_system_t.
void print_state | ( | state_t | state, | |
std::ostream & | outs = std::cout | |||
) | [virtual] |
Implements explicit_system_t::print_state() in BYMOC system, but see also implementation specific notes below
Implements explicit_system_t.
References state_t::ptr.
virtual size_int_t violated_assertion_count | ( | const state_t | state | ) | const [inline, virtual] |
Implements explicit_system_t::violated_assertion_count() in BYMOC.
Currently it only returns 0, because assertions are not supported by BYMOC
Implements explicit_system_t.
References state_t::ptr.
virtual std::string violated_assertion_string | ( | const state_t | state, | |
const size_int_t | index | |||
) | const [inline, virtual] |
Implements explicit_system_t::violated_assertion_string() in BYMOC.
Currently it only returns empty string, because assertions are not supported by BYMOC
Implements explicit_system_t.
References state_t::ptr.
virtual bool violates_assertion | ( | const state_t | state | ) | const [inline, virtual] |
Implements explicit_system_t::violates_assertion() in BYMOC.
Currently it only returns false, because assertions are not supported by BYMOC
Implements explicit_system_t.
References state_t::ptr.