mcrl2::bes::boolean_equation_system¶
Include file:
#include "mcrl2/bes/boolean_equation_system.h
-
class
mcrl2::bes::boolean_equation_system¶ boolean equation system
Public types¶
-
type
mcrl2::bes::boolean_equation_system::equation_type¶ typedef for
boolean_equation
Protected attributes¶
-
std::vector<boolean_equation>
mcrl2::bes::boolean_equation_system::m_equations¶ The equations.
-
boolean_expression
mcrl2::bes::boolean_equation_system::m_initial_state¶ The initial state.
Public member functions¶
-
std::set<boolean_variable>
binding_variables() const¶ Returns the set of binding variables of the boolean_equation_system, i.e. the variables that occur on the left hand side of an equation.
Returns: The binding variables of the equation system
-
boolean_equation_system()¶ Constructor.
-
boolean_equation_system(const std::vector<boolean_equation> &equations, boolean_expression initial_state)¶ Constructor.
Parameters:
- equations A sequence of boolean equations
- initial_state An initial state
-
std::vector<boolean_equation> &
equations()¶ Returns the equations.
Returns: The equations
-
const std::vector<boolean_equation> &
equations() const¶ Returns the equations.
Returns: The equations
-
boolean_expression &
initial_state()¶ Returns the initial state.
Returns: The initial state.
-
const boolean_expression &
initial_state() const¶ Returns the initial state.
Returns: The initial state.
-
bool
is_closed() const¶ Returns true if all occurring variables are binding variables.
Returns: True if the equation system is closed
-
bool
is_well_typed() const¶ Returns true. Some checks will be added later.
Returns: The value true.
-
std::set<boolean_variable>
occurring_variables() const¶ Returns the set of occurring variables of the boolean_equation_system, i.e. the variables that occur in the right hand side of an equation or in the initial state.
Returns: The occurring variables of the equation system
