unsigned int cursor = 0;
xbt_propositional_symbol_t ps = NULL;
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, ps){
- f = ps->function;
+ f = (int (*)())ps->function;
res = (*f)();
xbt_dynar_push_as(pair->prop_ato, int, res);
}
int (*f)();
xbt_dynar_foreach(automaton->propositional_symbols, cursor, p){
if(strcmp(p->pred, l->u.predicat) == 0){
- f = p->function;
+ f = (int (*)())p->function;
return (*f)();
}
}