352a353,356
> /* shpin add begin */
> PPL_TYPE_DECLARATION(NNC_Polyhedra_PowerSet);
> /* shpin add end */
> 
2218a2223,2236
> /* shpin add begin */
> int
> ppl_new_NNC_Polyhedra_PowerSet_empty_from_dimension __P((ppl_NNC_Polyhedra_PowerSet_t* pps,
> 							 ppl_dimension_type d));
> 
> int
> ppl_NNC_Polyhedra_PowerSet_add_disjunct __P((ppl_NNC_Polyhedra_PowerSet_t ps,
> 					     ppl_const_Polyhedron_t ph));
> 
> int
> ppl_NNC_Polyhedron_is_contained_in_NNC_Polyhedra_PowerSet __P((ppl_const_Polyhedron_t ph,
> 							       ppl_const_NNC_Polyhedra_PowerSet_t ps));
> /* shpin add end */
> 
2254a2273,2276
> /* shpin add begin */
> PPL_DECLARE_PRINT_FUNCTIONS(NNC_Polyhedra_PowerSet)
> /* shpin add end */
> 

