CVC3  2.4.1
Public Member Functions | List of all members
CVC3::VariableManager::EqLV Class Reference

Public Member Functions

bool operator() (const VariableValue *lv1, const VariableValue *lv2) const
 

Detailed Description

Definition at line 386 of file variable.h.

Member Function Documentation

bool CVC3::VariableManager::EqLV::operator() ( const VariableValue lv1,
const VariableValue lv2 
) const
inline

Definition at line 388 of file variable.h.

References CVC3::VariableValue::getExpr().


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