PPL Configured Java Language Interface  1.2
Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
parma_polyhedra_library.NNC_Polyhedron Class Reference

Java class interfacing C++ Parma_Polyhedra_Library::NNC_Polyhedron. More...

Inheritance diagram for parma_polyhedra_library.NNC_Polyhedron:
Inheritance graph
[legend]

Public Member Functions

 NNC_Polyhedron (long num_dimensions, Degenerate_Element kind)
 
 NNC_Polyhedron (Int8_Box y)
 
 NNC_Polyhedron (Int16_Box y)
 
 NNC_Polyhedron (Int32_Box y)
 
 NNC_Polyhedron (Int64_Box y)
 
 NNC_Polyhedron (Uint8_Box y)
 
 NNC_Polyhedron (Uint16_Box y)
 
 NNC_Polyhedron (Uint32_Box y)
 
 NNC_Polyhedron (Uint64_Box y)
 
 NNC_Polyhedron (Z_Box y)
 
 NNC_Polyhedron (Rational_Box y)
 
 NNC_Polyhedron (BD_Shape_int8_t y)
 
 NNC_Polyhedron (BD_Shape_int16_t y)
 
 NNC_Polyhedron (BD_Shape_int32_t y)
 
 NNC_Polyhedron (BD_Shape_int64_t y)
 
 NNC_Polyhedron (BD_Shape_mpz_class y)
 
 NNC_Polyhedron (BD_Shape_mpq_class y)
 
 NNC_Polyhedron (Octagonal_Shape_int8_t y)
 
 NNC_Polyhedron (Octagonal_Shape_int16_t y)
 
 NNC_Polyhedron (Octagonal_Shape_int32_t y)
 
 NNC_Polyhedron (Octagonal_Shape_int64_t y)
 
 NNC_Polyhedron (Octagonal_Shape_mpz_class y)
 
 NNC_Polyhedron (Octagonal_Shape_mpq_class y)
 
 NNC_Polyhedron (C_Polyhedron y)
 
 NNC_Polyhedron (NNC_Polyhedron y)
 
 NNC_Polyhedron (Grid y)
 
 NNC_Polyhedron (Float_Box y)
 
 NNC_Polyhedron (BD_Shape_float y)
 
 NNC_Polyhedron (Octagonal_Shape_float y)
 
 NNC_Polyhedron (Double_Box y)
 
 NNC_Polyhedron (BD_Shape_double y)
 
 NNC_Polyhedron (Octagonal_Shape_double y)
 
 NNC_Polyhedron (Long_Double_Box y)
 
 NNC_Polyhedron (BD_Shape_long_double y)
 
 NNC_Polyhedron (Octagonal_Shape_long_double y)
 
 NNC_Polyhedron (Int8_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Int16_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Int32_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Int64_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Uint8_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Uint16_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Uint32_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Uint64_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Z_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (Rational_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_int8_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_int16_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_int32_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_int64_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_mpz_class y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_mpq_class y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_int8_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_int16_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_int32_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_int64_t y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_mpz_class y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_mpq_class y, Complexity_Class complexity)
 
 NNC_Polyhedron (C_Polyhedron y, Complexity_Class complexity)
 
 NNC_Polyhedron (NNC_Polyhedron y, Complexity_Class complexity)
 
 NNC_Polyhedron (Grid y, Complexity_Class complexity)
 
 NNC_Polyhedron (Float_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_float y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_float y, Complexity_Class complexity)
 
 NNC_Polyhedron (Double_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_double y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_double y, Complexity_Class complexity)
 
 NNC_Polyhedron (Long_Double_Box y, Complexity_Class complexity)
 
 NNC_Polyhedron (BD_Shape_long_double y, Complexity_Class complexity)
 
 NNC_Polyhedron (Octagonal_Shape_long_double y, Complexity_Class complexity)
 
 NNC_Polyhedron (Constraint_System cs)
 
 NNC_Polyhedron (Congruence_System cs)
 
 NNC_Polyhedron (Generator_System cs)
 
native boolean upper_bound_assign_if_exact (NNC_Polyhedron y)
 
native boolean poly_hull_assign_if_exact (NNC_Polyhedron y)
 
native void positive_time_elapse_assign (NNC_Polyhedron p)
 
native void free ()
 
- Public Member Functions inherited from parma_polyhedra_library.Polyhedron
native void swap (Polyhedron 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 Constraint_System constraints ()
 
native Congruence_System congruences ()
 
native Generator_System generators ()
 
native Constraint_System minimized_constraints ()
 
native Congruence_System minimized_congruences ()
 
native Generator_System minimized_generators ()
 
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 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 frequency (Linear_Expression expr, Coefficient freq_n, Coefficient freq_d, Coefficient val_n, Coefficient val_d)
 
native boolean contains (Polyhedron y)
 
native boolean strictly_contains (Polyhedron y)
 
native boolean is_disjoint_from (Polyhedron y)
 
native boolean equals (Polyhedron p)
 
boolean equals (Object y)
 
native boolean OK ()
 
native void add_constraint (Constraint c)
 
native void add_congruence (Congruence c)
 
native void add_generator (Generator c)
 
native void add_constraints (Constraint_System c)
 
native void add_congruences (Congruence_System c)
 
native void add_generators (Generator_System c)
 
native void refine_with_constraint (Constraint c)
 
native void refine_with_congruence (Congruence c)
 
native void refine_with_constraints (Constraint_System c)
 
native void refine_with_congruences (Congruence_System c)
 
native void intersection_assign (Polyhedron p)
 
native void upper_bound_assign (Polyhedron p)
 
native void difference_assign (Polyhedron p)
 
native void concatenate_assign (Polyhedron p)
 
native void time_elapse_assign (Polyhedron p)
 
native void poly_hull_assign (Polyhedron p)
 
native void poly_difference_assign (Polyhedron p)
 
native boolean simplify_using_context_assign (Polyhedron p)
 
native boolean constrains (Variable var)
 
native void unconstrain_space_dimension (Variable var)
 
native void unconstrain_space_dimensions (Variables_Set vars)
 
native void affine_image (Variable var, Linear_Expression expr, Coefficient denominator)
 
native void affine_preimage (Variable var, Linear_Expression expr, Coefficient denominator)
 
native void bounded_affine_image (Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator)
 
native void bounded_affine_preimage (Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator)
 
native void generalized_affine_image (Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator)
 
native void generalized_affine_preimage (Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator)
 
native void generalized_affine_image (Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs)
 
native void generalized_affine_preimage (Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs)
 
native void add_space_dimensions_and_embed (long m)
 
native void add_space_dimensions_and_project (long m)
 
native void remove_space_dimensions (Variables_Set vars)
 
native void remove_higher_space_dimensions (long new_dimension)
 
native void expand_space_dimension (Variable var, long m)
 
native void fold_space_dimensions (Variables_Set vars, Variable dest)
 
native void map_space_dimensions (Partial_Function pfunc)
 
native void drop_some_non_integer_points (Complexity_Class complexity)
 
native void drop_some_non_integer_points (Variables_Set vars, Complexity_Class complexity)
 
native String ascii_dump ()
 
native long external_memory_in_bytes ()
 
native long total_memory_in_bytes ()
 
native void BHRZ03_widening_assign (Polyhedron y, By_Reference< Integer > tp)
 
native void H79_widening_assign (Polyhedron y, By_Reference< Integer > tp)
 
native void widening_assign (Polyhedron y, By_Reference< Integer > tp)
 
native void limited_BHRZ03_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp)
 
native void bounded_BHRZ03_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp)
 
native void limited_H79_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp)
 
native void bounded_H79_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp)
 
native void wrap_assign (Variables_Set vars, Bounded_Integer_Type_Width w, Bounded_Integer_Type_Representation r, Bounded_Integer_Type_Overflow o, Constraint_System cs, long complexity_threshold, boolean wrap_individually)
 
native int hashCode ()
 
native String toString ()
 

Static Public Member Functions

static native Pair< NNC_Polyhedron, Pointset_Powerset_NNC_Polyhedron > linear_partition (NNC_Polyhedron p, NNC_Polyhedron q)
 

Protected Member Functions

native void finalize ()
 

Detailed Description

Java class interfacing C++ Parma_Polyhedra_Library::NNC_Polyhedron.

The documentation for this class was generated from the following file: