piptools.h File Reference

Go to the source code of this file.

Defines

#define FM_PIPTOOLS_RAT   0
#define FM_PIPTOOLS_INT   1

Functions

BEGIN_C_DECLS int fm_piptools_check_rat (s_fm_system_t *sys)
int fm_piptools_check_int (s_fm_system_t *sys)
int fm_piptools_check (s_fm_system_t *system, int mode)
PipQuast * fm_piptools_pip (s_fm_system_t *sys, s_fm_system_t *context, int mode)
int fm_piptools_check_sol (s_fm_solution_t *sol, int mode)
int fm_piptools_check_sol_msg (char *msg, FILE *stream, s_fm_solution_t *sol, int mode)
int fm_piptools_pipmatrix_equal (PipMatrix *a, PipMatrix *b)
PipMatrix * fm_piptools_st_to_pipmatrix (s_fm_system_t *sys)
s_fm_system_tfm_piptools_pm_to_system (PipMatrix *m)


Define Documentation

#define FM_PIPTOOLS_RAT   0

#define FM_PIPTOOLS_INT   1


Function Documentation

BEGIN_C_DECLS int fm_piptools_check_rat ( s_fm_system_t sys  ) 

Check if the system has a rational solution (using PIP).

int fm_piptools_check_int ( s_fm_system_t sys  ) 

Check if the system has an integer solution (using PIP).

int fm_piptools_check ( s_fm_system_t sys,
int  mode 
)

Check if the system has a solution.

mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)

PipQuast* fm_piptools_pip ( s_fm_system_t sys,
s_fm_system_t context,
int  mode 
)

Call PIP on the input system.

mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)

int fm_piptools_check_sol ( s_fm_solution_t sol,
int  mode 
)

Check if the system (represented as a solution_t) has a solution.

mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)

int fm_piptools_check_sol_msg ( char *  msg,
FILE *  stream,
s_fm_solution_t sol,
int  mode 
)

Check if the system (represented as a solution_t) has a solution, and print a message once the check is done.

mode can be: FM_PIPTOOLS_RAT (rational solution expected) or FM_PIPTOOLS_INT (integer solution expected)

int fm_piptools_pipmatrix_equal ( PipMatrix *  a,
PipMatrix *  b 
)

Check if two PIP matrices are equal.

PipMatrix* fm_piptools_st_to_pipmatrix ( s_fm_system_t sys  ) 

Convert a system_t to a PIP matrix.

s_fm_system_t* fm_piptools_pm_to_system ( PipMatrix *  m  ) 

Convert a PIP matrix to a system_t.


Generated on Thu Oct 30 13:38:21 2008 for FM by  doxygen 1.5.3