PIPS
|
#include <stdlib.h>
#include <string.h>
#include <stdio.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "sc-private.h"
Go to the source code of this file.
Functions | |
bool | sc_janus_feasibility_fallback (Psysteme sc __attribute__((unused))) |
Fallback function to compute feasibility with Janus, used when no custom function is set. More... | |
bool | sc_janus_feasibility (Psysteme sc) |
Compute feasibility, using custom Janus function if set, fallback function otherwise. More... | |
void | set_sc_janus_feasibility (bool(*sc_janus_feasibility_fct)(Psysteme)) |
Set custom Janus feasibility function. More... | |
Variables | |
static bool(* | sc_janus_feasibility_ptr )(Psysteme) = NULL |
Internal pointer to a custom Janus feasibility function. More... | |
Compute feasibility, using custom Janus function if set, fallback function otherwise.
Definition at line 59 of file sc_janus_feasibility.c.
References sc_janus_feasibility_fallback(), and sc_janus_feasibility_ptr.
Referenced by sc_janus_feasibility_ofl_ctrl_timeout_ctrl().
Fallback function to compute feasibility with Janus, used when no custom function is set.
Definition at line 44 of file sc_janus_feasibility.c.
Referenced by sc_janus_feasibility().
Set custom Janus feasibility function.
Definition at line 72 of file sc_janus_feasibility.c.
References sc_janus_feasibility_ptr.
Internal pointer to a custom Janus feasibility function.
Is null when none is set.
Definition at line 53 of file sc_janus_feasibility.c.
Referenced by sc_janus_feasibility(), and set_sc_janus_feasibility().