C++ (Cpp) rp_constraint_var Beispiele

Beispiel #1

Datei: rp_parser.c Projekt: danbryce/dReal-backup

int rp_rule_problem_constraint_block(rp_parser p, rp_problem problem)
{
  rp_constraint aux;
  int i;
  if (rp_rule_constraint(p,&aux))
  {
    rp_vector_insert(rp_problem_ctrs(problem),aux);

    /* creation of relation var -> number of constraints containing var */
    for (i=0; i<rp_constraint_arity(aux); ++i)
    {
      ++rp_variable_constrained(rp_problem_var(problem,rp_constraint_var(aux,i)));
    }

    /* tail of the block */
    return( rp_rule_problem_constraint_next(p,problem) );
  }
  else
  {
    return( 0 );
  }
}

Beispiel #2

Datei: rp_operator.cpp Projekt: JichaoS/dreal

int rp_operator_test::var(int i) const
{
  return( rp_constraint_var(_c,i) );
}