CVC3
Functions

xchaff_solver.cpp File Reference

#include "xchaff_solver.h"
#include <algorithm>

Go to the source code of this file.

Functions


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().