CVC3
2.4.1
|
Public Member Functions | |
bool | operator() (const VariableValue *lv1, const VariableValue *lv2) const |
Definition at line 386 of file variable.h.
|
inline |
Definition at line 388 of file variable.h.
References CVC3::VariableValue::getExpr().