C++ (Cpp) Clause::addCommand 예제들

예제 #1

파일: Clause.cpp 프로젝트: klavinslab/ccl

Clause * Clause::subst ( Expr * e, char * x ) {

  Clause * c = new Clause ( guard->subst(e,x) );

  for ( i = commands->begin(); i != commands->end(); i++ ) 
    c->addCommand ( (*i)->subst(e,x) );

  return c;

}

예제 #2

파일: Clause.cpp 프로젝트: klavinslab/ccl

Clause * Clause::copy ( void ) {

  Clause * c = new Clause ( guard->copy() );

  for ( i = commands->begin(); i != commands->end(); i++ ) 
    c->addCommand ( (*i)->copy() );

  return c;

}