Public Member Functions

Hash::hash< CVC3::Theorem > Struct Template Reference

#include <theorem.h>

List of all members.

Public Member Functions

Detailed Description

struct Hash::hash< CVC3::Theorem >

Definition at line 442 of file theorem.h.

Member Function Documentation

size_t Hash::hash< CVC3::Theorem >::operator() ( const CVC3::Theorem e) const [inline]

Definition at line 444 of file theorem.h.

References CVC3::Theorem::hash().

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