1
Download The Parma Polyhedra Library Configured Java
Transcript
284 CONTENTS 10.132 parma polyhedra library.Pointset Powerset Octagonal Shape mpq class Class Reference Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<mpq_class> > Inherits parma_polyhedra_library.PPL_Object. Public Member Functions • Pointset_Powerset_Octagonal_Shape_mpq_class (long num_dimensions, Degenerate_Element kind) • Pointset_Powerset_Octagonal_Shape_mpq_class (Pointset_Powerset_Octagonal_Shape_mpq_class y) • Pointset_Powerset_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class y) • Pointset_Powerset_Octagonal_Shape_mpq_class (Pointset_Powerset_Octagonal_Shape_mpq_class y, Complexity_Class complexity) • Pointset_Powerset_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class y, Complexity_Class complexity) • Pointset_Powerset_Octagonal_Shape_mpq_class (Constraint_System cs) • Pointset_Powerset_Octagonal_Shape_mpq_class (Congruence_System cs) • native void swap (Pointset_Powerset_Octagonal_Shape_mpq_class y) • native long space_dimension () • native long affine_dimension () • native Poly_Con_Relation relation_with (Constraint c) • native Poly_Gen_Relation relation_with (Generator c) • native Poly_Con_Relation relation_with (Congruence c) • native boolean is_empty () • native boolean is_universe () • native boolean is_bounded () • native boolean contains_integer_point () • native boolean is_topologically_closed () • native boolean is_discrete () • native void topological_closure_assign () • native void pairwise_reduce () • native void omega_reduce () • native boolean bounds_from_above (Linear_Expression expr) • native boolean bounds_from_below (Linear_Expression expr) • native boolean maximize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) • native boolean minimize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) • native boolean maximize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) • native boolean minimize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) • native boolean contains (Pointset_Powerset_Octagonal_Shape_mpq_class y) • native boolean strictly_contains (Pointset_Powerset_Octagonal_Shape_mpq_class y) • native boolean is_disjoint_from (Pointset_Powerset_Octagonal_Shape_mpq_class y) • native boolean geometrically_covers (Pointset_Powerset_Octagonal_Shape_mpq_class y) • native boolean geometrically_equals (Pointset_Powerset_Octagonal_Shape_mpq_class y) • native boolean equals (Pointset_Powerset_Octagonal_Shape_mpq_class p) The PPL Configured Java Language Interface User’s Manual (version 1.0). See http://bugseng.com for more information.
