CVC3::dynTrig Struct Reference

#include <theory_quant.h>

Collaboration diagram for CVC3::dynTrig:

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

Public Attributes
Trigger	trig
size_t	univ_id
ExprMap< Expr >	binds

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:

• theory_quant.h
• theory_quant.cpp