CVC3::TheoryQuant::multTrigsInfo Struct Reference

Collaboration diagram for CVC3::TheoryQuant::multTrigsInfo:

Collaboration graph
[legend]
List of all members.

Public Attributes


Detailed Description

Definition at line 295 of file theory_quant.h.


Member Data Documentation

std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::common_pos

Definition at line 296 of file theory_quant.h.

Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().

std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::var_pos

Definition at line 297 of file theory_quant.h.

Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().

std::vector<CDMap<Expr, bool>* > CVC3::TheoryQuant::multTrigsInfo::var_binds_found

Definition at line 299 of file theory_quant.h.

Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().

std::vector<ExprMap<CDList<Expr>* >* > CVC3::TheoryQuant::multTrigsInfo::uncomm_list

Definition at line 301 of file theory_quant.h.

Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().


The documentation for this struct was generated from the following file:
Generated on Tue Jul 3 14:39:19 2007 for CVC3 by  doxygen 1.5.1