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;

}