smt2_parsert::idt Struct Reference

#include <smt2_parser.h>

Collaboration diagram for smt2_parsert::idt:

Public Member Functions
	idt ()

Public Attributes
typet	type
exprt	definition
std::vector< irep_idt >	parameters

Detailed Description

Definition at line 32 of file smt2_parser.h.

Constructor & Destructor Documentation

idt()

smt2_parsert::idt::idt ( )

inline

Definition at line 34 of file smt2_parser.h.

Member Data Documentation

definition

exprt smt2_parsert::idt::definition

Definition at line 39 of file smt2_parser.h.

parameters

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

Definition at line 40 of file smt2_parser.h.

type

typet smt2_parsert::idt::type

Definition at line 38 of file smt2_parser.h.

---

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

• solvers/smt2/smt2_parser.h