CVC3::dynTrig Struct Reference

#include <theory_quant.h>

Collaboration diagram for CVC3::dynTrig:

[legend]List of all members.

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 132 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

---