CVC3  2.4.1
Functions
xchaff_solver.cpp File Reference
#include "xchaff_solver.h"
#include <algorithm>

Go to the source code of this file.

Functions

bool compare_var_stat (const pair< int, int > &v1, const pair< int, int > &v2)

Function Documentation

bool compare_var_stat ( const pair< int, int > &  v1,
const pair< int, int > &  v2 
)
inline

Definition at line 594 of file xchaff_solver.cpp.

Referenced by CSolver::update_var_stats().