CVC3  2.4.1
Public Member Functions | Public Attributes | List of all members
CVC3::dynTrig Struct Reference

#include <theory_quant.h>

Public Member Functions

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

Public Attributes

Trigger trig
size_t univ_id
ExprMap< Exprbinds

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: