mcrl2/data/undefined.h

Include file:

#include "mcrl2/data/undefined.h"

add your file description here.

Functions

const data::data_expression &mcrl2::data::undefined_data_expression()

Returns a data expression that corresponds to ‘undefined’.

constexpr std::size_t mcrl2::data::undefined_index()

Returns an index that corresponds to ‘undefined’.

const data::data_expression &mcrl2::data::undefined_real()

Returns a data expression of type Real that corresponds to ‘undefined’.

const data::variable &mcrl2::data::undefined_real_variable()

Returns a data variable that corresponds to ‘undefined’.

const data::sort_expression &mcrl2::data::undefined_sort_expression()

Returns a sort expression that corresponds to ‘undefined’.

const data::variable &mcrl2::data::undefined_variable()

Returns a data variable that corresponds to ‘undefined’.