CBMC
Public Member Functions | Public Attributes | List of all members
smt2_parsert::signature_with_parameter_idst Struct Reference

#include <smt2_parser.h>

+ Collaboration diagram for smt2_parsert::signature_with_parameter_idst:

Public Member Functions

 signature_with_parameter_idst (const typet &_type)
 
 signature_with_parameter_idst (const typet &_type, const std::vector< irep_idt > &_parameters)
 
std::vector< std::pair< irep_idt, typet > > ids_and_types () const
 
binding_exprt::variablest binding_variables () const
 

Public Attributes

typet type
 
std::vector< irep_idt > parameters
 

Detailed Description

Definition at line 101 of file smt2_parser.h.

Constructor & Destructor Documentation

◆ signature_with_parameter_idst() [1/2]

smt2_parsert::signature_with_parameter_idst::signature_with_parameter_idst ( const typet &  _type)
inlineexplicit

Definition at line 106 of file smt2_parser.h.

◆ signature_with_parameter_idst() [2/2]

smt2_parsert::signature_with_parameter_idst::signature_with_parameter_idst ( const typet &  _type,
const std::vector< irep_idt > &  _parameters 
)
inline

Definition at line 110 of file smt2_parser.h.

Member Function Documentation

◆ binding_variables()

binding_exprt::variablest smt2_parsert::signature_with_parameter_idst::binding_variables ( ) const
inline

Definition at line 139 of file smt2_parser.h.

◆ ids_and_types()

std::vector<std::pair<irep_idt, typet> > smt2_parsert::signature_with_parameter_idst::ids_and_types ( ) const
inline

Definition at line 123 of file smt2_parser.h.

Member Data Documentation

◆ parameters

std::vector<irep_idt> smt2_parsert::signature_with_parameter_idst::parameters

Definition at line 104 of file smt2_parser.h.

◆ type

typet smt2_parsert::signature_with_parameter_idst::type

Definition at line 103 of file smt2_parser.h.

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