KuratowskiConstraint.h

Go to the documentation of this file.

/*
 * $Revision: 2299 $
 * 
 * last checkin:
 *   $Author: gutwenger $ 
 *   $Date: 2012-05-07 15:57:08 +0200 (Mon, 07 May 2012) $ 
 ***************************************************************/
 
#ifndef OGDF_KURATOWSKI_CONSTRAINT_H
#define OGDF_KURATOWSKI_CONSTRAINT_H

#include <ogdf/planarity/BoyerMyrvold.h>
#include <ogdf/internal/cluster/Cluster_EdgeVar.h>
#include <ogdf/internal/cluster/basics.h>
//#include <ogdf/internal/cluster/MaxCPlanar_Master.h>
//#include <abacus/master.h>

#include <abacus/constraint.h>

namespace ogdf {


class KuratowskiConstraint : public ABA_CONSTRAINT {
    
public:

    KuratowskiConstraint(ABA_MASTER *master, int nEdges, SListPure<nodePair> &ks);
    
    virtual ~KuratowskiConstraint();
    
    // Computes and returns the coefficient for the given variable
    virtual double coeff(ABA_VARIABLE *v);
    
    void printMe(ostream& out) {
        out << "[KuraCon: ";
        forall_listiterators(nodePair, it, m_subdivision) {
            (*it).printMe(out);
            out << ",";
        }
        out << "]";
    }
    
private:

    // The subdivision containing edges forming a SubGraph that is not planar
    List<nodePair> m_subdivision;
    
};

}

#endif