xchaff_solver.cpp File Reference

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

Include dependency graph for xchaff_solver.cpp:

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

---