#include <system_abilities.hh>
Public Member Functions | |
system_abilities_t () | |
A constructor. | |
Public Attributes | |
bool | explicit_system_can_evaluate_expressions |
= true iff explicit system can evaluate expressions | |
bool | explicit_system_can_system_transitions |
= true iff explicit system can work with system transitions and enabled transitions | |
bool | process_can_be_modified |
= true iff process can be modified | |
bool | process_can_read |
= true iff process can be read from a string representation | |
bool | process_can_transitions |
= true iff process can work (and contains) transitions | |
bool | system_can_be_modified |
= true iff system can be modified | |
bool | system_can_decompose_property |
= true iff system can decompose property process graph | |
bool | system_can_processes |
= true iff system can work with processes | |
bool | system_can_property_process |
= true iff system can work with property process | |
bool | system_can_transitions |
= true iff system can work with transitions | |
bool | transition_can_be_modified |
= true iff transition can be modified | |
bool | transition_can_read |
= true iff transition can be read from a string representation |
An instance of this method is returned by system_t::get_abilities(). Values stored in data items differ according to methods which are implemented in a given representation of a system (e. g. in a system created from DVE source or a system created from Promela bytecode).
This "system of abilities" has been created to preserve rich abstract interfaces for a price of testing of their abilities - but without a need of typecasting.
system_abilities_t | ( | ) | [inline] |
A constructor.
Sets all abilities to false (system is defaultly as dumb as possible)