mcrl2/atermpp/set_operations.h

Include file:

#include "mcrl2/atermpp/set_operations.h"

Set operations on term lists.

Functions

term_list<Term> atermpp::term_list_difference(const term_list<Term> &v, const term_list<Term> &w)

Returns v minus w.

Parameters:

  • v A term list.

  • w A term list.

Returns: The difference of the term lists, interpreted as sets.

term_list<Term> atermpp::term_list_union(const term_list<Term> &v, const term_list<Term> &w)

Returns the union of v and w.

Parameters:

  • v A term list.

  • w A term list.

Returns: The union of the term lists, interpreted as sets.