parallel/chuffed/mdd/mdd_prop.h
// Wake up only parts relevant to this event
Wake up only parts relevant to this event
Wake up only parts relevant to this event
void wakeup(int i, int c) {
        assert( boolvars[i].isFixed() );
        if( boolvars[i].getVal() )
        {
            assert( 0 );
        } else {
            if( fixedvars.elem(i) )
                return;
            clear_queue.push(i);
            val_entries[i].val_lim = fixedvars.size();
            fixedvars.insert(i);
            pushInQueue();
        }
    }
void wakeup ( int i , int c ) { assert ( boolvars [ i ] . isFixed ( ) ) ; if ( boolvars [ i ] . getVal ( ) ) { assert ( 0 ) ; } else { if ( fixedvars . elem ( i ) ) return ; clear_queue . push ( i ) ; val_entries [ i ] . val_lim = fixedvars . size ( ) ; fixedvars . insert ( i ) ; pushInQueue ( ) ; } }
Wake up only parts relevant to this event
Wake up only parts relevant to this event