Definition at line 382 of file variable.h.
size_t CVC3::VariableManager::VariableManager::HashLV::operator() | ( | VariableValue * | v | ) | const [inline] |
Definition at line 384 of file variable.h.
References CVC3::VariableValue::getExpr(), and CVC3::Expr::hash().