cpsp::gecode::GC_ThreadingSpacePosDist Class Reference
#include <GC_ThreadingSpace.hh>
Detailed Description
CSP model that extends the CPSP approach so that resulting structures differ in a given number of absolute positionsDefinition at line 145 of file GC_ThreadingSpace.hh.
Public Types | |
| typedef std::vector< unsigned int > | HullLevel |
| enum | NeighPropLvl { CUSTOM_2, NO_PROP } |
| typedef std::map< SeqFeatures, std::vector< unsigned int > > | SeqFeatureMap |
| enum | SeqFeatures { P_SINGLET, H_SINGLET } |
| typedef std::vector < Gecode::IntArgs > | SolutionVec |
Public Member Functions | |
| virtual void | constrain (GC_ThreadingSpacePosDist *lastSolution) |
| virtual SuperSpace * | copy (bool share) |
| GC_ThreadingSpacePosDist (bool share, GC_ThreadingSpacePosDist &toCopy) | |
| GC_ThreadingSpacePosDist (const std::string *sequence, const biu::LatticeFrame *latFrame, const biu::IndexVec *neighVecs, SeqFeatureMap *seqFeatureMap, const HullLevel *hullLvl, HCore *hCore, const GC_ThreadingSymmBreaker::GlobalShiftVec *shiftVec, int branchingType=BR_DFS|BR_SYM, SolutionVec *solPositions_=NULL, unsigned int maxEqual_=0) | |
| virtual int | getIndex (const Gecode::VarBase *vb) const |
| virtual int | getIndex (const Gecode::Int::IntView &v) const |
| int | getRank (int index) const |
| virtual biu::IndexVec | getSolution () const |
| virtual void | handleSolution (GC_ThreadingSpace *solution) |
| virtual void | handleSolution (GC_ThreadingSpacePosDist *solution) |
| virtual void | print () const |
| virtual | ~GC_ThreadingSpacePosDist () |
Data Fields | |
| SolutionVec * | solPositions |
Protected Attributes | |
| Gecode::IntVarArray | domains |
| unsigned int | maxEqual |
| std::vector< int > | rank |
Member Typedef Documentation
typedef std::vector<unsigned int> cpsp::gecode::GC_ThreadingSpace::HullLevel [inherited] |
Definition at line 75 of file GC_ThreadingSpace.hh.
typedef std::map< SeqFeatures, std::vector <unsigned int> > cpsp::gecode::GC_ThreadingSpace::SeqFeatureMap [inherited] |
Definition at line 73 of file GC_ThreadingSpace.hh.
| typedef std::vector<Gecode::IntArgs> cpsp::gecode::GC_ThreadingSpacePosDist::SolutionVec |
Definition at line 148 of file GC_ThreadingSpace.hh.
Member Enumeration Documentation
enum cpsp::gecode::GC_ThreadingSpace::NeighPropLvl [inherited] |
neighborhood propagation level
- Enumerator:
-
CUSTOM_2 CUSTOM_2 : using an advanced binary propagator. NO_PROP NO_PROP : post no neighboring propagator.
Definition at line 78 of file GC_ThreadingSpace.hh.
enum cpsp::gecode::GC_ThreadingSpace::SeqFeatures [inherited] |
Constructor & Destructor Documentation
| cpsp::gecode::GC_ThreadingSpacePosDist::GC_ThreadingSpacePosDist | ( | const std::string * | sequence, | |
| const biu::LatticeFrame * | latFrame, | |||
| const biu::IndexVec * | neighVecs, | |||
| SeqFeatureMap * | seqFeatureMap, | |||
| const HullLevel * | hullLvl, | |||
| HCore * | hCore, | |||
| const GC_ThreadingSymmBreaker::GlobalShiftVec * | shiftVec, | |||
| int | branchingType = BR_DFS|BR_SYM, |
|||
| SolutionVec * | solPositions_ = NULL, |
|||
| unsigned int | maxEqual_ = 0 | |||
| ) | [inline] |
Definition at line 160 of file GC_ThreadingSpace.hh.
| cpsp::gecode::GC_ThreadingSpacePosDist::GC_ThreadingSpacePosDist | ( | bool | share, | |
| GC_ThreadingSpacePosDist & | toCopy | |||
| ) | [inline] |
Definition at line 179 of file GC_ThreadingSpace.hh.
| virtual cpsp::gecode::GC_ThreadingSpacePosDist::~GC_ThreadingSpacePosDist | ( | ) | [inline, virtual] |
Definition at line 185 of file GC_ThreadingSpace.hh.
Member Function Documentation
| virtual void cpsp::gecode::GC_ThreadingSpacePosDist::constrain | ( | GC_ThreadingSpacePosDist * | lastSolution | ) | [inline, virtual] |
adds additional constraints if BAB search is used to ensure a minimal position difference between the next and all other
Definition at line 193 of file GC_ThreadingSpace.hh.
| virtual SuperSpace* cpsp::gecode::GC_ThreadingSpacePosDist::copy | ( | bool | share | ) | [inline, virtual] |
Reimplemented from cpsp::gecode::GC_ThreadingSpace.
Definition at line 188 of file GC_ThreadingSpace.hh.
| virtual int cpsp::gecode::GC_ThreadingSpace::getIndex | ( | const Gecode::VarBase * | vb | ) | const [inline, virtual, inherited] |
Definition at line 129 of file GC_ThreadingSpace.hh.
| virtual int cpsp::gecode::GC_ThreadingSpace::getIndex | ( | const Gecode::Int::IntView & | v | ) | const [inline, virtual, inherited] |
Definition at line 120 of file GC_ThreadingSpace.hh.
| int cpsp::gecode::GC_ThreadingSpace::getRank | ( | int | index | ) | const [inherited] |
Definition at line 286 of file GC_ThreadingSpace.cc.
| biu::IndexVec cpsp::gecode::GC_ThreadingSpace::getSolution | ( | ) | const [virtual, inherited] |
Returns a vector of indexed points thats a structure for the current CPSP.
Definition at line 271 of file GC_ThreadingSpace.cc.
| virtual void cpsp::gecode::GC_ThreadingSpace::handleSolution | ( | GC_ThreadingSpace * | solution | ) | [inline, virtual, inherited] |
Definition at line 113 of file GC_ThreadingSpace.hh.
| virtual void cpsp::gecode::GC_ThreadingSpacePosDist::handleSolution | ( | GC_ThreadingSpacePosDist * | solution | ) | [inline, virtual] |
handles the information of a solution to ensure the minimal distance of the next solution to all found
Definition at line 204 of file GC_ThreadingSpace.hh.
| void cpsp::gecode::GC_ThreadingSpace::print | ( | void | ) | const [virtual, inherited] |
Definition at line 59 of file GC_ThreadingSpace.cc.
Field Documentation
Gecode::IntVarArray cpsp::gecode::GC_ThreadingSpace::domains [protected, inherited] |
unsigned int cpsp::gecode::GC_ThreadingSpacePosDist::maxEqual [protected] |
the maximal number of solution positions that may be equal to corresponding positions in already found solutions
Definition at line 156 of file GC_ThreadingSpace.hh.
std::vector<int> cpsp::gecode::GC_ThreadingSpace::rank [protected, inherited] |
Definition at line 89 of file GC_ThreadingSpace.hh.
The documentation for this class was generated from the following file:
- src/cpsp/gecode/GC_ThreadingSpace.hh