separator.inc

Go to the documentation of this file.

 
#pragma once
 
#include <ogdf/lib/abacus/separator.h>
#include <ogdf/lib/abacus/constraint.h>
#include <ogdf/lib/abacus/variable.h>
 
namespace abacus {
 
 
template <class BaseType, class CoType>
Separator_CUTFOUND
    Separator<BaseType, CoType>::cutFound(BaseType *cv)
{
    if(newCons_.full()) {
        delete cv;
        return Full;
    }
 
    if(pool_&&pool_->present(cv)) {
        delete cv;
        nDuplications_++;
        return Duplication;
    }
 
    if(hash_&&find(cv)) {
        delete cv;
        nDuplications_++;
        return Duplication;
    }
 
 
    newCons_.push(cv);
    if(hash_)
        hash_->insert(cv->hashKey(),cv);
    return Added;
}
 
 
template <class BaseType, class CoType>
int Separator<BaseType, CoType>::nCollisions() const
{
    if(!hash_)
        return 0;
    return hash_->nCollisions();
}
 
 
template <class BaseType, class CoType>
bool Separator<BaseType, CoType>::find(BaseType *cv)
{
    int key = cv->hashKey();
 
    BaseType **cand = hash_->initializeIteration(key);
 
    while(cand) {
        if (cv->equal(*cand)) return true;
        cand = hash_->next(key);
    }
    return false;
}
 
}