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