void zpl_var_print(FILE* fp, const Var* var)
{
const char* name = xlp_getvarname(prog_get_lp(), var);
VarClass class = xlp_getclass(prog_get_lp(), var);
Bound* lower = xlp_getlower(prog_get_lp(), var);
Bound* upper = xlp_getupper(prog_get_lp(), var);
fprintf(fp, "\"%s\" ", name);
switch(class)
{
case VAR_CON :
fprintf(fp, "real [");
break;
case VAR_IMP :
fprintf(fp, "implicit integer [");
break;
case VAR_INT :
fprintf(fp, "integer [");
break;
default :
abort();
}
bound_print(fp, lower);
fprintf(fp, ",");
bound_print(fp, upper);
fprintf(fp, "] ");
bound_free(upper);
bound_free(lower);
}
int main(int argc, const char * argv[]) {
long double confidence;
size_t interfaces;
size_t max_branch;
// sscanf(argv[1], "%Lf", &confidence);
// sscanf(argv[2], "%d", &interfaces);
confidence = .05;
interfaces = 16;
max_branch = 1;
bound_t * bound = bound_create(confidence, interfaces, max_branch);
bound_dump(bound);
bound_failure_dump(bound);
bound_free(bound);
return 0;
}
