CVC3::TheoryQuant::multTrigsInfo Struct Reference

List of all members.

Public Attributes


Detailed Description

Definition at line 404 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

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

Generated on 19 Apr 2010 for CVC3 by  doxygen 1.6.1