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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DVarOrder.h0 /**************************************************************************************[VarOrder.h]
36 class VarOrder { class
43 VarOrder(const vec<char>& ass, const vec<double>& act) : function in class:VarOrder
54 void VarOrder::newVar(void)
61 void VarOrder::update(Var x)
68 void VarOrder::undo(Var x)
75 Var VarOrder::select(double random_var_freq)
H A DSolver.h24 #include "VarOrder.h"
63 VarOrder order; // Keeps track of the decision variable order.

Completed in 84 milliseconds