C++ (Cpp) bodyExp Beispiele

Beispiel #1

Datei: display.cpp Projekt: lilac/iASP

void Display::normalize(Grounder *g)
{
    HeadExpander headExp(g, *this);
    BodyExpander bodyExp(*this);
    head_->normalize(g, &headExp);
    for(LitPtrVec::size_type i = 0; i < body_.size(); i++)
        body_[i].normalize(g, &bodyExp);
}

Beispiel #2

Datei: globalconstraint.cpp Projekt: grote/oclingo

 void GlobalConstraint::normalize(Grounder *g)
 {
     for (size_t i = 0; i < heads_.size(); ++i)
     { 
         heads_[i].normalize(g, boost::bind(&GlobalConstraint::expandHead,*this,g,_1,_2));
     }
     Lit::Expander bodyExp(boost::bind(&GlobalConstraint::append, this, _1));
     for (size_t i = 0; i < body_.size(); ++i)
     {
         body_[i].normalize(g,bodyExp);
     }
 }