| #include "ap_global1.h"
#include "pk.h"
/* Allocating a Polka manager, for polyhedra with strict constraints */
manager_t* man = pk_manager_alloc(true);
/* Setting options offered by the common interface,
but with meaning possibly specific to the library */
manager_set_abort_if_exception(man,EXC_OVERFLOW,true);
{
funopt_t funopt;
funopt_init(&funopt);
funopt.algorithm = 1; /* default value is 0 */
manager_set_funopt(man,fun_widening,&funopt); /* Setting options for widening */
}
{
funopt_t funopt = manager_get_funopt(man,fun_widening);
funopt.timeout = 30;
manager_set_funopt(man,fun_widening,&funopt);
}
/* Obtaining the internal part of the manager and setting specific options */
pk_internal_t* pk = manager_get_internal(man);
pk_set_max_coeff_size(pk,size);
|