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:

• solvers/smt2/smt2_parser.h