35a36,39
> /* shpin add begin */
> #include "Polyhedra_PowerSet.defs.hh"
> #include "algorithms.hh"
> /* shpin add end */
296a301,305
> /* shpin add begin */
> typedef Polyhedra_PowerSet<NNC_Polyhedron> NNC_Polyhedra_PowerSet;
> DECLARE_CONVERSIONS(NNC_Polyhedra_PowerSet)
> /* shpin add end */
> 
2112a2122,2153
> /* shpin add begin */
> int
> ppl_new_NNC_Polyhedra_PowerSet_empty_from_dimension(ppl_NNC_Polyhedra_PowerSet_t* pps,
> 						    ppl_dimension_type d) try {
> 	*pps = to_nonconst(new NNC_Polyhedra_PowerSet(d, Polyhedron::EMPTY));
> 	return 0;
> }
> CATCH_ALL
> 
> int
> ppl_NNC_Polyhedra_PowerSet_add_disjunct(ppl_NNC_Polyhedra_PowerSet_t ps,
> 					ppl_const_Polyhedron_t ph) try {
> 	NNC_Polyhedra_PowerSet& pss = *to_nonconst(ps);
> 	const NNC_Polyhedron& phh
> 		      = *static_cast<const NNC_Polyhedron*>(to_const(ph));
> 
> 	pss.add_disjunct(phh);
> 	return 0;
> }
> CATCH_ALL
> 
> int
> ppl_NNC_Polyhedron_is_contained_in_NNC_Polyhedra_PowerSet(ppl_const_Polyhedron_t ph,
> 							  ppl_const_NNC_Polyhedra_PowerSet_t ps) try {
> 	const NNC_Polyhedron& phh
> 		      = *static_cast<const NNC_Polyhedron*>(to_const(ph));
> 	const NNC_Polyhedra_PowerSet& pss = *to_const(ps);
> 	return check_containment(phh, pss) ? 1 : 0;
> }
> CATCH_ALL
> /* shpin add end */
> 
2167a2209,2212
> /* shpin add begin */
> DEFINE_PRINT_FUNCTIONS(NNC_Polyhedra_PowerSet)
> /* shpin add end */
> 

