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 m_action_labels

The action specification of the specification.

data::data_specification m_data

The data specification of the specification.

state_formula m_formula

The formula of the specification.

Public member functions

const process::action_label_list &action_labels() const

Returns the action label specification.

Returns: The action label specification

process::action_label_list &action_labels()

Returns the action label specification.

Returns: The action label specification

const data::data_specification &data() const

Returns the data specification.

Returns: The data specification

data::data_specification &data()

Returns the data specification.

Returns: The data specification

const state_formula &formula() const

Returns the formula of the state formula specification.

Returns: The formula of the state formula specification

state_formula &formula()

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.