Ejemplos de Clause::addCommand en C++ (Cpp)

Ejemplo n.º 1

Archivo: Clause.cpp Proyecto: 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;

}

Ejemplo n.º 2

Archivo: Clause.cpp Proyecto: 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;

}