mcrl2::data::untyped_data_specification Struct Reference

#include <untyped_data_specification.h>

Inheritance diagram for mcrl2::data::untyped_data_specification:

Public Member Functions
void	add_sort (const basic_sort &x)
void	add_alias (const alias &x)
void	add_constructor (const function_symbol &x)
void	add_mapping (const function_symbol &x)
void	add_equation (const data_equation &x)
data_specification	construct_data_specification () const

Public Attributes
std::vector< basic_sort >	basic_sorts
std::vector< alias >	aliases
std::vector< function_symbol >	constructors
std::vector< function_symbol >	mappings
std::vector< data_equation >	equations

Detailed Description

Definition at line 21 of file untyped_data_specification.h.

Member Function Documentation

add_alias()

void mcrl2::data::untyped_data_specification::add_alias ( const alias &  x )

inline

Definition at line 30 of file untyped_data_specification.h.

add_constructor()

void mcrl2::data::untyped_data_specification::add_constructor ( const function_symbol &  x )

inline

Definition at line 31 of file untyped_data_specification.h.

add_equation()

void mcrl2::data::untyped_data_specification::add_equation ( const data_equation &  x )

inline

Definition at line 33 of file untyped_data_specification.h.

add_mapping()

void mcrl2::data::untyped_data_specification::add_mapping ( const function_symbol &  x )

inline

Definition at line 32 of file untyped_data_specification.h.

add_sort()

void mcrl2::data::untyped_data_specification::add_sort ( const basic_sort &  x )

inline

Definition at line 29 of file untyped_data_specification.h.

construct_data_specification()

data_specification mcrl2::data::untyped_data_specification::construct_data_specification ( ) const

inline

Definition at line 35 of file untyped_data_specification.h.

Member Data Documentation

aliases

std::vector<alias> mcrl2::data::untyped_data_specification::aliases

Definition at line 24 of file untyped_data_specification.h.

basic_sorts

std::vector<basic_sort> mcrl2::data::untyped_data_specification::basic_sorts

Definition at line 23 of file untyped_data_specification.h.

constructors

std::vector<function_symbol> mcrl2::data::untyped_data_specification::constructors

Definition at line 25 of file untyped_data_specification.h.

equations

std::vector<data_equation> mcrl2::data::untyped_data_specification::equations

Definition at line 27 of file untyped_data_specification.h.

mappings

std::vector<function_symbol> mcrl2::data::untyped_data_specification::mappings

Definition at line 26 of file untyped_data_specification.h.

---

The documentation for this struct was generated from the following file:

• data/include/mcrl2/data/untyped_data_specification.h