system_abilities_t Struct Reference

Structure storing abilities of system and its subordinate components. More...

#include <system_abilities.hh>

List of all members.

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


Detailed Description

Structure storing abilities of system and its subordinate components.

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.


Constructor & Destructor Documentation

system_abilities_t (  )  [inline]

A constructor.

Sets all abilities to false (system is defaultly as dumb as possible)


The documentation for this struct was generated from the following file:

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