CVC3::dynTrig Struct Reference

#include <theory_quant.h>

Collaboration diagram for CVC3::dynTrig:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Public Attributes


Detailed Description

Definition at line 89 of file theory_quant.h.


Constructor & Destructor Documentation

dynTrig::dynTrig ( Trigger  t,
ExprMap< Expr b,
size_t  id 
)

Definition at line 134 of file theory_quant.cpp.


Member Data Documentation

Trigger CVC3::dynTrig::trig

Definition at line 90 of file theory_quant.h.

size_t CVC3::dynTrig::univ_id

Definition at line 91 of file theory_quant.h.

ExprMap<Expr> CVC3::dynTrig::binds

Definition at line 92 of file theory_quant.h.


The documentation for this struct was generated from the following files:
Generated on Wed Nov 18 16:16:59 2009 for CVC3 by  doxygen 1.5.2