cprover
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)
 

Public Attributes

typet type
 
std::vector< irep_idtparameters
 

Detailed Description

Definition at line 100 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 105 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 109 of file smt2_parser.h.

Member Data Documentation

◆ parameters

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

Definition at line 103 of file smt2_parser.h.

◆ type

typet smt2_parsert::signature_with_parameter_idst::type

Definition at line 102 of file smt2_parser.h.


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