main page namespaces classes files
CPSP home

src/cpsp/gecode/GC_RankViewSel.icc

Go to the documentation of this file.

/*
 *  Main authors:
 *     Martin Mann http://www.bioinf.uni-freiburg.de/~mmann/
 *
 *  Contributing authors:
 *     Sebastian Will http://www.bioinf.uni-freiburg.de/~will/
 *
 *  Copyright:
 *     Martin Mann, 2007
 *
 *  This file is part of the CPSP-tools package:
 *     http://www.bioinf.uni-freiburg.de/sw/cpsp/
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */


namespace cpsp {
  namespace gecode {

    template<class VS>
    inline
    Gecode::ViewSelStatus
    GC_RankViewSel<VS>::init(const SuperSpace* home, const IdxIntView&x)
    {
        rank = 0;
        const GC_ThreadingSpace* ts = dynamic_cast<const GC_ThreadingSpace*>(home);
        if (ts != NULL)
            rank = ts->getRank(x.getIndex());
        Gecode::ViewSelStatus ret = vs.init(home,x);
        return (rank == 0 && ret == Gecode::VSS_COMMIT) ? Gecode::VSS_COMMIT : Gecode::VSS_NONE;
    }


    template<class VS>
    inline
    Gecode::ViewSelStatus
    GC_RankViewSel<VS>::select(const SuperSpace* home, IdxIntView x) {
        if (rank > 0) {
            const GC_ThreadingSpace* ts = dynamic_cast<const GC_ThreadingSpace*>(home);
            unsigned int act = INT_MAX;
            if (ts != NULL)  {
                // asking the space for the rank of view x by its index
                act = ts->getRank(x.getIndex());
            }
            if ( act < rank ) {
                rank = act;
                if (rank == 0) {
                    Gecode::ViewSelStatus ret = vs.select(home,x);
                    return (ret == Gecode::VSS_COMMIT) ? ret : Gecode::VSS_SELECT;
                } else {
                    return Gecode::VSS_SELECT;
                }
            } else if ( act == rank ) {
                Gecode::ViewSelStatus ret = vs.select(home,x);
                return (ret != Gecode::VSS_NONE) ? Gecode::VSS_SELECT : Gecode::VSS_NONE;
            }
        } else {
            return vs.select(home,x);
        }
        return Gecode::VSS_NONE;
    }

  }
}