solve_VPSC.h

Go to the documentation of this file.

 
#pragma once
 
#include <vector>
#include <vpsc/blocks.h>
struct Variable;
struct Constraint;
class Blocks;
 
struct VPSC {
public:
        virtual void satisfy();
        virtual void solve();
 
        VPSC(const unsigned n, Variable *vs[], const unsigned m, Constraint *cs[]);
        virtual ~VPSC() = default;
protected:
        Blocks bs;
        Constraint **cs;
        unsigned m;
        void printBlocks();
private:
        void refine();
        bool constraintGraphIsCyclic(const unsigned n, Variable *vs[]);
        bool blockGraphIsCyclic();
};
 
struct IncVPSC : VPSC {
public:
        void satisfy();
        void solve();
        void moveBlocks();
        void splitBlocks();
        IncVPSC(const unsigned n, Variable *vs[], const unsigned m, Constraint *cs[]);
private:
        typedef std::vector<Constraint*> ConstraintList;
        ConstraintList inactive;
        double mostViolated(ConstraintList &l,Constraint* &v);
};