float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
bool sc_janus_feasibility_fallback(Psysteme sc __attribute__((unused)))
Fallback function to compute feasibility with Janus, used when no custom function is set.
static bool(* sc_janus_feasibility_ptr)(Psysteme)
Internal pointer to a custom Janus feasibility function.
bool sc_janus_feasibility(Psysteme sc)
Compute feasibility, using custom Janus function if set, fallback function otherwise.
void set_sc_janus_feasibility(bool(*sc_janus_feasibility_fct)(Psysteme))
Set custom Janus feasibility function.
int bool
we cannot use an enum or stdbool because we need to be compatible with newgen, thus boolean need to h...
struct Ssysteme * Psysteme