mcrl2::state_formulas::state_formula_specification Class Reference

#include <state_formula_specification.h>

Public Member Functions
	state_formula_specification ()
	Constructor.
	state_formula_specification (const state_formula &formula, const data::data_specification &data=data::data_specification(), const process::action_label_list &action_labels={})
	Constructor of a state formula specification.
const data::data_specification &	data () const
	Returns the data specification.
data::data_specification &	data ()
	Returns the data specification.
const process::action_label_list &	action_labels () const
	Returns the action label specification.
process::action_label_list &	action_labels ()
	Returns the action label specification.
const state_formula &	formula () const
	Returns the formula of the state formula specification.
state_formula &	formula ()
	Returns the formula of the state formula specification.

Protected Attributes
data::data_specification	m_data
	The data specification of the specification.
process::action_label_list	m_action_labels
	The action specification of the specification.
state_formula	m_formula
	The formula of the specification.

Detailed Description

Definition at line 21 of file state_formula_specification.h.

Constructor & Destructor Documentation

state_formula_specification() [1/2]

mcrl2::state_formulas::state_formula_specification::state_formula_specification ( )

inline

Constructor.

Definition at line 35 of file state_formula_specification.h.

state_formula_specification() [2/2]

mcrl2::state_formulas::state_formula_specification::state_formula_specification ( const state_formula &  formula, const data::data_specification &  data = data::data_specification(), const process::action_label_list &  action_labels = {}  )

inline

Constructor of a state formula specification.

Definition at line 39 of file state_formula_specification.h.

Member Function Documentation

action_labels() [1/2]

process::action_label_list & mcrl2::state_formulas::state_formula_specification::action_labels ( )

inline

Returns the action label specification.

Returns

The action label specification

Definition at line 68 of file state_formula_specification.h.

action_labels() [2/2]

const process::action_label_list & mcrl2::state_formulas::state_formula_specification::action_labels ( ) const

inline

Returns the action label specification.

Returns

The action label specification

Definition at line 61 of file state_formula_specification.h.

data() [1/2]

data::data_specification & mcrl2::state_formulas::state_formula_specification::data ( )

inline

Returns the data specification.

Returns

The data specification

Definition at line 54 of file state_formula_specification.h.

data() [2/2]

const data::data_specification & mcrl2::state_formulas::state_formula_specification::data ( ) const

inline

Returns the data specification.

Returns

The data specification

Definition at line 47 of file state_formula_specification.h.

formula() [1/2]

state_formula & mcrl2::state_formulas::state_formula_specification::formula ( )

inline

Returns the formula of the state formula specification.

Returns

The formula of the state formula specification

Definition at line 82 of file state_formula_specification.h.

formula() [2/2]

const state_formula & mcrl2::state_formulas::state_formula_specification::formula ( ) const

inline

Returns the formula of the state formula specification.

Returns

The formula of the state formula specification

Definition at line 75 of file state_formula_specification.h.

Member Data Documentation

m_action_labels

process::action_label_list mcrl2::state_formulas::state_formula_specification::m_action_labels

protected

The action specification of the specification.

Definition at line 28 of file state_formula_specification.h.

m_data

data::data_specification mcrl2::state_formulas::state_formula_specification::m_data

protected

The data specification of the specification.

Definition at line 25 of file state_formula_specification.h.

m_formula

state_formula mcrl2::state_formulas::state_formula_specification::m_formula

protected

The formula of the specification.

Definition at line 31 of file state_formula_specification.h.

---

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

• modal_formula/include/mcrl2/modal_formula/state_formula_specification.h