mcrl2/bes/join.h

Include file:

#include "mcrl2/bes/join.h"

add your file description here.

Functions

boolean_expression mcrl2::bes::join_and(FwdIt first, FwdIt last)

Returns and applied to the sequence of boolean expressions [first, last)

Parameters:

  • first Start of a sequence of boolean expressions

  • last End of a sequence of of boolean expressions

Returns: And applied to the sequence of boolean expressions [first, last)

boolean_expression mcrl2::bes::join_or(FwdIt first, FwdIt last)

Returns or applied to the sequence of boolean expressions [first, last)

Parameters:

  • first Start of a sequence of boolean expressions

  • last End of a sequence of of boolean expressions

Returns: Or applied to the sequence of boolean expressions [first, last)

std::set<boolean_expression> mcrl2::bes::split_and(const boolean_expression &expr)

Splits a conjunction into a sequence of operands Given a boolean expression of the form p1 && p2 && …. && pn, this will yield a set of the form { p1, p2, …, pn }, assuming that pi does not have a && as main function symbol.

Parameters:

  • expr A boolean expression

Returns: A sequence of operands

std::set<boolean_expression> mcrl2::bes::split_or(const boolean_expression &expr)

Splits a disjunction into a sequence of operands Given a boolean expression of the form p1 || p2 || …. || pn, this will yield a set of the form { p1, p2, …, pn }, assuming that pi does not have a || as main function symbol.

Parameters:

  • expr A boolean expression

Returns: A sequence of operands