PIPS
|
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include "boolean.h"
#include "arithmetique.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
Go to the source code of this file.
Functions | |
bool | sc_belongs_p (Psysteme ps, Pvecteur v) |
package sc More... | |
bool | sc_internal_p (Psysteme ps, Pvecteur v) |
Check if the integer point defined by vector v is stricly inside the set defined by the constraints of ps. More... | |
package sc
Check if the integer point defined by vector v belongs to the set defined by the constraints of ps. The point is defined according to the basis b of ps. Any non-zero coefficient in pv is ignored if the corresponding variable does not appear in the basis of ps. An variable/dimension of ps that does not appear in pv has value 0. In other word, v is projected onto the space defined by b.
This function is primarily defined to be called from the debugger gdb or in debugging code.
Definition at line 51 of file sc_belong.c.
References CONTRAINTE_UNDEFINED_P, contrainte_vecteur, Ssysteme::egalites, eq, equality_eval_p(), Ssysteme::inegalites, inequality_eval_p(), and Scontrainte::succ.
Referenced by build_sc_nredund_2pass_ofl_ctrl().
Check if the integer point defined by vector v is stricly inside the set defined by the constraints of ps.
The point is defined according to the basis b of ps. Any non-zero coefficient in pv is ignored if the corresponding variable does not appear in the basis of ps. An variable/dimension of ps that does not appear in pv has value 0. In other word, v is projected onto the space defined by b.
This function is defined to be called in the debugger gdb or in debugging code. But it may also be useful to check if a vertex of a generating system is significant or not with respect to ps. If it is found internal, it is not significant.
The equations must be met exactly
For the convex set defined by ps to have some kind of inside, ps must contain at least one inequality.
Definition at line 85 of file sc_belong.c.
References contrainte_eval(), CONTRAINTE_UNDEFINED_P, contrainte_vecteur, Ssysteme::egalites, eq, equality_eval_p(), Ssysteme::inegalites, Scontrainte::succ, and value_neg_p.