Example #1
0
    virtual bool addPost(Clasp::Solver& s)
    {
        if (conf_.dlprop==2)
            if (!addDLProp(s,n_.constraints()))
                return false;

        std::vector<order::ReifiedLinearConstraint> constraints;
        if (conf_.dlprop==1)
        {
            constraints = n_.constraints();
        }
        
        ///solver takes ownership of propagator
        clingcon::ClingconOrderPropagator* cp = new clingcon::ClingconOrderPropagator(s, n_.getVariableCreator(), conf_,
                                                                                      std::move(n_.constraints()),n_.getEqualities(),
                                                                                      &(to_.names_));
        to_.props_[s.id()]=cp;
        if (!s.addPost(cp))
            return false;
        
        if (conf_.dlprop==1)
            if (!addDLProp(s, constraints))
                return false;
        return true;
    }
Example #2
0
 bool addDLProp(Clasp::Solver& s, const std::vector<order::ReifiedLinearConstraint>& constraints)
 {
     clingcon::ClingconDLPropagator* dlp = new clingcon::ClingconDLPropagator(s, conf_);
     for (const auto&i : constraints)
     {
         if (dlp->isValidConstraint(i))
             dlp->addValidConstraint(i);
     }
     if (!s.addPost(dlp))
         return false;
     return true;        
 }
Example #3
0
void ExternalKnowledge::addPostPropagator(Clasp::Solver& solver) {
	my_post_ = false;
	solver.addPost(post_);
}
Example #4
0
bool TheoryPropagator::attach(Clasp::Solver& s) { 
	return s.addPost(new PP(*this)); 
}