Include file:
#include "mcrl2/bes/boolean_equation_system.h
mcrl2::bes::
boolean_equation_system
¶boolean equation system
mcrl2::bes::boolean_equation_system::
equation_type
¶typedef for boolean_equation
mcrl2::bes::boolean_equation_system::
m_equations
¶The equations.
mcrl2::bes::boolean_equation_system::
m_initial_state
¶The initial state.
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
equations
() const¶Returns the equations.
Returns: The equations
equations
()¶Returns the equations.
Returns: The equations
initial_state
() const¶Returns the initial state.
Returns: The initial state.
initial_state
()¶Returns the initial state.
Returns: The initial state.
is_closed
() const¶Returns true if all occurring variables are binding variables.
Returns: True if the equation system is closed
is_well_typed
() const¶Returns true. Some checks will be added later.
Returns: The value true.
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