Exemplos de Clause::addCommand em C++ (Cpp)

Exemplo n.º 1

Arquivo: Clause.cpp Projeto: 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;

}

Exemplo n.º 2

Arquivo: Clause.cpp Projeto: 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;

}