Searched refs:VarOrder_lt (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DVarOrder.h30 struct VarOrder_lt { struct
33 VarOrder_lt(const vec<double>& act) : activity(act) { } function in struct:VarOrder_lt
39 Heap<VarOrder_lt> heap;
44 assigns(ass), activity(act), heap(VarOrder_lt(act)), random_seed(91648253)

Completed in 77 milliseconds