Logo Search packages:      
Sourcecode: sat4j version File versions

int org::sat4j::minisat::orders::VarOrderHeap< L extends ILits >::select (  )  [inline]

Selectionne une nouvelle variable, non affectee, ayant l'activite la plus elevee.

Lit.UNDEFINED si aucune variable n'est trouvee

Definition at line 107 of file VarOrderHeap.java.

References org::sat4j::minisat::core::IPhaseSelectionStrategy::select().

        while (!heap.empty()) {
            int var = heap.getmin();
            int next = phaseStrategy.select(var);
            if (lits.isUnassigned(next)) {
                if (activity[var] < 0.0001) {
                return next;
        return ILits.UNDEFINED;

Generated by  Doxygen 1.6.0   Back to index