mCRL2
Loading...
Searching...
No Matches
mcrl2::pbes_system::absinthe_algorithm::sort_function Struct Reference

#include <absinthe.h>

Public Types

using argument_type = data::sort_expression
 
using result_type = data::sort_expression
 

Public Member Functions

 sort_function (const abstraction_map &sigmaH, const sort_expression_substitution_map &sigmaS, const function_symbol_substitution_map &sigmaF, data::set_identifier_generator &generator)
 
data::sort_expression operator() (const data::sort_expression &x)
 

Public Attributes

absinthe_sort_expression_builder f
 

Detailed Description

Definition at line 247 of file absinthe.h.

Member Typedef Documentation

◆ argument_type

◆ result_type

Constructor & Destructor Documentation

◆ sort_function()

mcrl2::pbes_system::absinthe_algorithm::sort_function::sort_function ( const abstraction_map sigmaH,
const sort_expression_substitution_map sigmaS,
const function_symbol_substitution_map sigmaF,
data::set_identifier_generator generator 
)
inline

Definition at line 254 of file absinthe.h.

Member Function Documentation

◆ operator()()

data::sort_expression mcrl2::pbes_system::absinthe_algorithm::sort_function::operator() ( const data::sort_expression x)
inline

Definition at line 262 of file absinthe.h.

Member Data Documentation

◆ f

absinthe_sort_expression_builder mcrl2::pbes_system::absinthe_algorithm::sort_function::f

Definition at line 252 of file absinthe.h.


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