cvc4-1.4
CVC3::ExprHashMap< T > Class Template Reference

#include <cvc3_compat.h>

Inheritance diagram for CVC3::ExprHashMap< T >:

Public Member Functions

void insert (Expr a, Expr b)
 

Detailed Description

template<class T>
class CVC3::ExprHashMap< T >

Definition at line 274 of file cvc3_compat.h.

Member Function Documentation

◆ insert()

template<class T >
void CVC3::ExprHashMap< T >::insert ( Expr  a,
Expr  b 
)

Definition at line 1556 of file cvc3_compat.h.

References CVC3::compare().


The documentation for this class was generated from the following file: