protected int pickBranchLit ( ) { int next = - 1 ; while ( next == - 1 || this . vars . get ( next ) . assignment ( ) != Tristate . UNDEF || ! this . vars . get ( next ) . decision ( ) ) if ( this . orderHeap . empty ( ) ) return - 1 ; else next = this . orderHeap . removeMin ( ) ; return mkLit ( next , this . vars . get ( next ) . polarity ( ) ) ; }
Picks the next branching literal .