CVC3  2.4.1
Public Attributes
CVC3::TheoryQuant::multTrigsInfo Struct Reference

List of all members.

Public Attributes

std::vector< std::vector
< size_t > > 
common_pos
std::vector< std::vector
< size_t > > 
var_pos
std::vector< CDMap< Expr, bool > * > var_binds_found
std::vector< ExprMap< CDList
< Expr > * > * > 
uncomm_list
Theorem univThm
size_t univ_id

Detailed Description

Definition at line 406 of file theory_quant.h.


Member Data Documentation

std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::common_pos
std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::var_pos
std::vector<CDMap<Expr, bool>* > CVC3::TheoryQuant::multTrigsInfo::var_binds_found
std::vector<ExprMap<CDList<Expr>* >* > CVC3::TheoryQuant::multTrigsInfo::uncomm_list
Theorem CVC3::TheoryQuant::multTrigsInfo::univThm
size_t CVC3::TheoryQuant::multTrigsInfo::univ_id

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