sc_janus_feasibility.c File Reference

#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"

Include dependency graph for sc_janus_feasibility.c:

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...

Function Documentation

sc_janus_feasibility()

bool sc_janus_feasibility

(

Psysteme

sc

)

Compute feasibility, using custom Janus function if set, fallback function otherwise.

Definition at line 59 of file sc_janus_feasibility.c.

{
        if (sc_janus_feasibility_ptr != NULL) {
                return sc_janus_feasibility_ptr(sc);
        }
        else {
                return sc_janus_feasibility_fallback(sc);
        }
}

References sc_janus_feasibility_fallback(), and sc_janus_feasibility_ptr.

Referenced by sc_janus_feasibility_ofl_ctrl_timeout_ctrl().

Here is the call graph for this function:

Here is the caller graph for this function:

sc_janus_feasibility_fallback()

bool sc_janus_feasibility_fallback

(

Psysteme sc

__attribute__(unused)

)

Fallback function to compute feasibility with Janus, used when no custom function is set.

Definition at line 44 of file sc_janus_feasibility.c.

{ 
        return true;
}

Referenced by sc_janus_feasibility().

Here is the caller graph for this function:

set_sc_janus_feasibility()

void set_sc_janus_feasibility

(

bool(*)(Psysteme)

sc_janus_feasibility_fct

)

Set custom Janus feasibility function.

Definition at line 72 of file sc_janus_feasibility.c.

{
        sc_janus_feasibility_ptr = sc_janus_feasibility_fct;
}

References sc_janus_feasibility_ptr.

Variable Documentation

sc_janus_feasibility_ptr

bool(* sc_janus_feasibility_ptr) (Psysteme) ( Psysteme  ) = NULL

static

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().