#include <types.h>
Public Attributes | |
unsigned | Size |
Value * | p |
|
Definition at line 69 of file types.h. Referenced by DomainConstraintSimplify(), LatticeIntersection(), LatticePreimage(), Orthogonal_Base(), p_simplify_constraints(), Polyhedron_Image_Enumerate(), Vector_Alloc(), Vector_Free(), Vector_Print(), and Vector_Read(). |
|
Definition at line 68 of file types.h. Referenced by Vector_Alloc(), Vector_Free(), and Vector_Print(). |