complement.h¶

Include file:

#include "mcrl2/pbes/complement.h"

The complement function for pbes expressions.

Functions¶

pbes_expression mcrl2::pbes_system::complement(const pbes_expression &x)¶

Returns the complement of a pbes expression.

Parameters:

Returns: The expression obtained by pushing the negations in the pbes expression as far as possible inwards towards a data expression.