bymoc_explicit_system_t Class Reference

#include <bymoc_explicit_system.hh>

Inheritance diagram for bymoc_explicit_system_t:

explicit_system_t bymoc_system_t system_t system_t

List of all members.

Public Member Functions

 bymoc_explicit_system_t (error_vector_t &evect)
 A constructor.
process_decomposition_tget_property_decomposition ()
 Returns property decomposition, or 0, if subsystem is not available.
virtual ~bymoc_explicit_system_t ()
 A destructor.
Methods for expression evaluation
These methods are not implemented and can_evaluate_expressions() returns false

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
These methods are not implemented and can_system_transitions() returns false

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_tnew_enabled_trans () const
 Not imlemented in BYMOC system - throws error message.
Obligatory part of abstact interface
These methods have to implemented in each implementation of explicit_system_t

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.


Detailed Description

Class serving for evaluation of possible transitions (of a system given by bytecode source) by the way of explicit state creating.

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).


Constructor & Destructor Documentation

A constructor.

Parameters:
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.


Member Function Documentation

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.


The documentation for this class was generated from the following files:

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University