CVC3  2.4.1
Public Attributes | List of all members
CVC3::TheoryQuant::multTrigsInfo Struct Reference

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: