cprover
satcheck_smvsat_interpolatort::entryt Struct Reference

#include <satcheck_smvsat.h>

Collaboration diagram for satcheck_smvsat_interpolatort::entryt:
[legend]

Public Member Functions

 entryt (int _g, exprt *_e)
 

Public Attributes

int g
 
exprte
 

Detailed Description

Definition at line 79 of file satcheck_smvsat.h.

Constructor & Destructor Documentation

§ entryt()

satcheck_smvsat_interpolatort::entryt::entryt ( int  _g,
exprt _e 
)
inline

Definition at line 84 of file satcheck_smvsat.h.

Member Data Documentation

§ e

exprt* satcheck_smvsat_interpolatort::entryt::e

Definition at line 82 of file satcheck_smvsat.h.

Referenced by satcheck_smvsat_interpolatort::build_aig().

§ g

int satcheck_smvsat_interpolatort::entryt::g

Definition at line 81 of file satcheck_smvsat.h.

Referenced by satcheck_smvsat_interpolatort::build_aig().


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