Include file:
#include "mcrl2/bes/boolean_equation_system.h
mcrl2::bes::
boolean_equation_system
¶boolean equation system
equation_type
¶typedef for boolean_equation
m_equations
¶The equations.
m_initial_state
¶The initial state.
init_term
(const atermpp::aterm_appl &t)¶Initialize the boolean_equation_system with an atermpp::aterm_appl.
Parameters:
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
() 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.
load
(std::istream &stream, bool binary = true, const std::string &source = "")¶Reads the boolean equation system from a stream.
Parameters:
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
save
(std::ostream &stream, bool binary = true) const¶Writes the boolean equation system to a stream.
Parameters: