mcrl2::state_formulas::state_formula_specification¶
Include file:
#include "mcrl2/modal_formula/state_formula_specification.h
-
class
mcrl2::state_formulas::state_formula_specification¶
Protected attributes¶
-
process::action_label_list
mcrl2::state_formulas::state_formula_specification::m_action_labels¶ The action specification of the specification.
-
data::data_specification
mcrl2::state_formulas::state_formula_specification::m_data¶ The data specification of the specification.
-
state_formula
mcrl2::state_formulas::state_formula_specification::m_formula¶ The formula of the specification.
Public member functions¶
-
process::action_label_list &
action_labels() Returns the action label specification.
Returns: The action label specification
-
const process::action_label_list &
action_labels() const Returns the action label specification.
Returns: The action label specification
-
data::data_specification &
data() Returns the data specification.
Returns: The data specification
-
const data::data_specification &
data() const Returns the data specification.
Returns: The data specification
-
state_formula &
formula() Returns the formula of the state formula specification.
Returns: The formula of the state formula specification
-
const state_formula &
formula() const Returns the formula of the state formula specification.
Returns: The formula of the state formula specification
-
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.
