parma_polyhedra_library::BD_Shape_int32_t Class Reference

Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<int32_t> More...

Inheritance diagram for parma_polyhedra_library::BD_Shape_int32_t:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library::BD_Shape_int32_t:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 BD_Shape_int32_t (long num_dimensions, Degenerate_Element kind)
 BD_Shape_int32_t (Int8_Box y)
 BD_Shape_int32_t (Int16_Box y)
 BD_Shape_int32_t (Int32_Box y)
 BD_Shape_int32_t (Int64_Box y)
 BD_Shape_int32_t (Uint8_Box y)
 BD_Shape_int32_t (Uint16_Box y)
 BD_Shape_int32_t (Uint32_Box y)
 BD_Shape_int32_t (Uint64_Box y)
 BD_Shape_int32_t (Z_Box y)
 BD_Shape_int32_t (Rational_Box y)
 BD_Shape_int32_t (BD_Shape_int8_t y)
 BD_Shape_int32_t (BD_Shape_int16_t y)
 BD_Shape_int32_t (BD_Shape_int32_t y)
 BD_Shape_int32_t (BD_Shape_int64_t y)
 BD_Shape_int32_t (BD_Shape_mpz_class y)
 BD_Shape_int32_t (BD_Shape_mpq_class y)
 BD_Shape_int32_t (Octagonal_Shape_int8_t y)
 BD_Shape_int32_t (Octagonal_Shape_int16_t y)
 BD_Shape_int32_t (Octagonal_Shape_int32_t y)
 BD_Shape_int32_t (Octagonal_Shape_int64_t y)
 BD_Shape_int32_t (Octagonal_Shape_mpz_class y)
 BD_Shape_int32_t (Octagonal_Shape_mpq_class y)
 BD_Shape_int32_t (C_Polyhedron y)
 BD_Shape_int32_t (NNC_Polyhedron y)
 BD_Shape_int32_t (Grid y)
 BD_Shape_int32_t (Float_Box y)
 BD_Shape_int32_t (BD_Shape_float y)
 BD_Shape_int32_t (Octagonal_Shape_float y)
 BD_Shape_int32_t (Double_Box y)
 BD_Shape_int32_t (BD_Shape_double y)
 BD_Shape_int32_t (Octagonal_Shape_double y)
 BD_Shape_int32_t (Long_Double_Box y)
 BD_Shape_int32_t (BD_Shape_long_double y)
 BD_Shape_int32_t (Octagonal_Shape_long_double y)
 BD_Shape_int32_t (Int8_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Int16_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Int32_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Int64_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Uint8_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Uint16_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Uint32_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Uint64_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Z_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (Rational_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_int8_t y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_int16_t y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_int32_t y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_int64_t y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_mpz_class y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_mpq_class y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_int8_t y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_int16_t y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_int32_t y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_int64_t y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_mpz_class y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_mpq_class y, Complexity_Class complexity)
 BD_Shape_int32_t (C_Polyhedron y, Complexity_Class complexity)
 BD_Shape_int32_t (NNC_Polyhedron y, Complexity_Class complexity)
 BD_Shape_int32_t (Grid y, Complexity_Class complexity)
 BD_Shape_int32_t (Float_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_float y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_float y, Complexity_Class complexity)
 BD_Shape_int32_t (Double_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_double y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_double y, Complexity_Class complexity)
 BD_Shape_int32_t (Long_Double_Box y, Complexity_Class complexity)
 BD_Shape_int32_t (BD_Shape_long_double y, Complexity_Class complexity)
 BD_Shape_int32_t (Octagonal_Shape_long_double y, Complexity_Class complexity)
 BD_Shape_int32_t (Constraint_System cs)
 BD_Shape_int32_t (Congruence_System cs)
 BD_Shape_int32_t (Generator_System cs)
native void swap (BD_Shape_int32_t 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 Constraint_System minimized_constraints ()
native Congruence_System minimized_congruences ()
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 (BD_Shape_int32_t y)
native boolean strictly_contains (BD_Shape_int32_t y)
native boolean is_disjoint_from (BD_Shape_int32_t y)
native boolean equals (BD_Shape_int32_t p)
boolean equals (Object y)
native boolean OK ()
native void add_constraint (Constraint c)
native void add_congruence (Congruence c)
native void add_constraints (Constraint_System c)
native void add_congruences (Congruence_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 (BD_Shape_int32_t p)
native void upper_bound_assign (BD_Shape_int32_t p)
native void difference_assign (BD_Shape_int32_t p)
native void concatenate_assign (BD_Shape_int32_t p)
native void time_elapse_assign (BD_Shape_int32_t p)
native boolean upper_bound_assign_if_exact (BD_Shape_int32_t y)
native boolean simplify_using_context_assign (BD_Shape_int32_t 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 (Integer complexity_threshold)
native void drop_some_non_integer_points_2 (Variables_Set vars, Integer complexity_threshold)
native String ascii_dump ()
native long external_memory_in_bytes ()
native long total_memory_in_bytes ()
native void BHMZ05_widening_assign (BD_Shape_int32_t y, By_Reference< Integer > tp)
native void H79_widening_assign (BD_Shape_int32_t y, By_Reference< Integer > tp)
native void widening_assign (BD_Shape_int32_t y, By_Reference< Integer > tp)
native void limited_BHMZ05_extrapolation_assign (BD_Shape_int32_t y, Constraint_System cs, By_Reference< Integer > tp)
native void limited_H79_extrapolation_assign (BD_Shape_int32_t y, Constraint_System cs, By_Reference< Integer > tp)
native void limited_CC76_extrapolation_assign (BD_Shape_int32_t y, Constraint_System cs, By_Reference< Integer > tp)
native void CC76_extrapolation_assign (BD_Shape_int32_t arg, By_Reference< Integer > tp)
native void CC76_narrowing_assign (BD_Shape_int32_t arg)
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 void free ()
native int hashCode ()
native String toString ()

Static Public Member Functions

static native Pair
< BD_Shape_int32_t,
Pointset_Powerset_NNC_Polyhedron
linear_partition (BD_Shape_int32_t p, BD_Shape_int32_t q)

Protected Member Functions

native void finalize ()

Private Member Functions

 BD_Shape_int32_t ()
native void build_cpp_object (Constraint_System cs)
native void build_cpp_object (Congruence_System cs)
native void build_cpp_object (Generator_System cs)
native void build_cpp_object (long num_dimensions, Degenerate_Element kind)
native void build_cpp_object (Int8_Box y)
native void build_cpp_object (Int8_Box y, Complexity_Class complexity)
native void build_cpp_object (Int16_Box y)
native void build_cpp_object (Int16_Box y, Complexity_Class complexity)
native void build_cpp_object (Int32_Box y)
native void build_cpp_object (Int32_Box y, Complexity_Class complexity)
native void build_cpp_object (Int64_Box y)
native void build_cpp_object (Int64_Box y, Complexity_Class complexity)
native void build_cpp_object (Uint8_Box y)
native void build_cpp_object (Uint8_Box y, Complexity_Class complexity)
native void build_cpp_object (Uint16_Box y)
native void build_cpp_object (Uint16_Box y, Complexity_Class complexity)
native void build_cpp_object (Uint32_Box y)
native void build_cpp_object (Uint32_Box y, Complexity_Class complexity)
native void build_cpp_object (Uint64_Box y)
native void build_cpp_object (Uint64_Box y, Complexity_Class complexity)
native void build_cpp_object (Z_Box y)
native void build_cpp_object (Z_Box y, Complexity_Class complexity)
native void build_cpp_object (Rational_Box y)
native void build_cpp_object (Rational_Box y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_int8_t y)
native void build_cpp_object (BD_Shape_int8_t y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_int16_t y)
native void build_cpp_object (BD_Shape_int16_t y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_int32_t y)
native void build_cpp_object (BD_Shape_int32_t y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_int64_t y)
native void build_cpp_object (BD_Shape_int64_t y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_mpz_class y)
native void build_cpp_object (BD_Shape_mpz_class y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_mpq_class y)
native void build_cpp_object (BD_Shape_mpq_class y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_int8_t y)
native void build_cpp_object (Octagonal_Shape_int8_t y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_int16_t y)
native void build_cpp_object (Octagonal_Shape_int16_t y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_int32_t y)
native void build_cpp_object (Octagonal_Shape_int32_t y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_int64_t y)
native void build_cpp_object (Octagonal_Shape_int64_t y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_mpz_class y)
native void build_cpp_object (Octagonal_Shape_mpz_class y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_mpq_class y)
native void build_cpp_object (Octagonal_Shape_mpq_class y, Complexity_Class complexity)
native void build_cpp_object (C_Polyhedron y)
native void build_cpp_object (C_Polyhedron y, Complexity_Class complexity)
native void build_cpp_object (NNC_Polyhedron y)
native void build_cpp_object (NNC_Polyhedron y, Complexity_Class complexity)
native void build_cpp_object (Grid y)
native void build_cpp_object (Grid y, Complexity_Class complexity)
native void build_cpp_object (Float_Box y)
native void build_cpp_object (Float_Box y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_float y)
native void build_cpp_object (BD_Shape_float y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_float y)
native void build_cpp_object (Octagonal_Shape_float y, Complexity_Class complexity)
native void build_cpp_object (Double_Box y)
native void build_cpp_object (Double_Box y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_double y)
native void build_cpp_object (BD_Shape_double y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_double y)
native void build_cpp_object (Octagonal_Shape_double y, Complexity_Class complexity)
native void build_cpp_object (Long_Double_Box y)
native void build_cpp_object (Long_Double_Box y, Complexity_Class complexity)
native void build_cpp_object (BD_Shape_long_double y)
native void build_cpp_object (BD_Shape_long_double y, Complexity_Class complexity)
native void build_cpp_object (Octagonal_Shape_long_double y)
native void build_cpp_object (Octagonal_Shape_long_double y, Complexity_Class complexity)

Detailed Description

Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape<int32_t>

Definition at line 33 of file BD_Shape_int32_t.java.


Constructor & Destructor Documentation

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( long  num_dimensions,
Degenerate_Element  kind 
) [inline]

Definition at line 40 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t (  )  [inline, private]

Definition at line 45 of file BD_Shape_int32_t.java.

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int8_Box  y  )  [inline]

Definition at line 52 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int16_Box  y  )  [inline]

Definition at line 56 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int32_Box  y  )  [inline]

Definition at line 60 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int64_Box  y  )  [inline]

Definition at line 64 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint8_Box  y  )  [inline]

Definition at line 68 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint16_Box  y  )  [inline]

Definition at line 72 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint32_Box  y  )  [inline]

Definition at line 76 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint64_Box  y  )  [inline]

Definition at line 80 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Z_Box  y  )  [inline]

Definition at line 84 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Rational_Box  y  )  [inline]

Definition at line 88 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int8_t  y  )  [inline]

Definition at line 92 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int16_t  y  )  [inline]

Definition at line 96 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int32_t  y  )  [inline]

Definition at line 100 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int64_t  y  )  [inline]

Definition at line 104 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_mpz_class  y  )  [inline]

Definition at line 108 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_mpq_class  y  )  [inline]

Definition at line 112 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int8_t  y  )  [inline]

Definition at line 116 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int16_t  y  )  [inline]

Definition at line 120 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int32_t  y  )  [inline]

Definition at line 124 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int64_t  y  )  [inline]

Definition at line 128 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_mpz_class  y  )  [inline]

Definition at line 132 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_mpq_class  y  )  [inline]

Definition at line 136 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( C_Polyhedron  y  )  [inline]

Definition at line 140 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( NNC_Polyhedron  y  )  [inline]

Definition at line 144 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Grid  y  )  [inline]

Definition at line 148 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Float_Box  y  )  [inline]

Definition at line 152 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_float  y  )  [inline]

Definition at line 156 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_float  y  )  [inline]

Definition at line 160 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Double_Box  y  )  [inline]

Definition at line 164 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_double  y  )  [inline]

Definition at line 168 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_double  y  )  [inline]

Definition at line 172 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Long_Double_Box  y  )  [inline]

Definition at line 176 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_long_double  y  )  [inline]

Definition at line 180 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_long_double  y  )  [inline]

Definition at line 184 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int8_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 193 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int16_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 197 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int32_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 201 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Int64_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 205 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint8_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 209 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint16_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 213 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint32_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 217 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Uint64_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 221 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Z_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 225 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Rational_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 229 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int8_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 233 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int16_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 237 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int32_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 241 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_int64_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 245 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_mpz_class  y,
Complexity_Class  complexity 
) [inline]

Definition at line 249 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_mpq_class  y,
Complexity_Class  complexity 
) [inline]

Definition at line 253 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int8_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 257 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int16_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 261 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int32_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 265 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_int64_t  y,
Complexity_Class  complexity 
) [inline]

Definition at line 269 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_mpz_class  y,
Complexity_Class  complexity 
) [inline]

Definition at line 273 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_mpq_class  y,
Complexity_Class  complexity 
) [inline]

Definition at line 277 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( C_Polyhedron  y,
Complexity_Class  complexity 
) [inline]

Definition at line 281 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( NNC_Polyhedron  y,
Complexity_Class  complexity 
) [inline]

Definition at line 285 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Grid  y,
Complexity_Class  complexity 
) [inline]

Definition at line 289 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Float_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 293 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_float  y,
Complexity_Class  complexity 
) [inline]

Definition at line 297 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_float  y,
Complexity_Class  complexity 
) [inline]

Definition at line 301 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Double_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 305 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_double  y,
Complexity_Class  complexity 
) [inline]

Definition at line 309 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_double  y,
Complexity_Class  complexity 
) [inline]

Definition at line 313 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Long_Double_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 317 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( BD_Shape_long_double  y,
Complexity_Class  complexity 
) [inline]

Definition at line 321 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Octagonal_Shape_long_double  y,
Complexity_Class  complexity 
) [inline]

Definition at line 325 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Constraint_System  cs  )  [inline]

Definition at line 334 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Congruence_System  cs  )  [inline]

Definition at line 338 of file BD_Shape_int32_t.java.

References build_cpp_object().

parma_polyhedra_library::BD_Shape_int32_t::BD_Shape_int32_t ( Generator_System  cs  )  [inline]

Definition at line 342 of file BD_Shape_int32_t.java.

References build_cpp_object().


Member Function Documentation

native void parma_polyhedra_library::BD_Shape_int32_t::add_congruence ( Congruence  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::add_congruences ( Congruence_System  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::add_constraint ( Constraint  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::add_constraints ( Constraint_System  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::add_space_dimensions_and_embed ( long  m  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::add_space_dimensions_and_project ( long  m  ) 
native long parma_polyhedra_library::BD_Shape_int32_t::affine_dimension (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::affine_image ( Variable  var,
Linear_Expression  expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::BD_Shape_int32_t::affine_preimage ( Variable  var,
Linear_Expression  expr,
Coefficient  denominator 
)
native String parma_polyhedra_library::BD_Shape_int32_t::ascii_dump (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::BHMZ05_widening_assign ( BD_Shape_int32_t  y,
By_Reference< Integer >  tp 
)
native void parma_polyhedra_library::BD_Shape_int32_t::bounded_affine_image ( Variable  var,
Linear_Expression  lb_expr,
Linear_Expression  ub_expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::BD_Shape_int32_t::bounded_affine_preimage ( Variable  var,
Linear_Expression  lb_expr,
Linear_Expression  ub_expr,
Coefficient  denominator 
)
native boolean parma_polyhedra_library::BD_Shape_int32_t::bounds_from_above ( Linear_Expression  expr  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::bounds_from_below ( Linear_Expression  expr  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_long_double  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_long_double  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_long_double  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_long_double  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Long_Double_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Long_Double_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_double  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_double  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_double  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_double  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Double_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Double_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_float  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_float  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_float  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_float  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Float_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Float_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Grid  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Grid  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( NNC_Polyhedron  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( NNC_Polyhedron  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( C_Polyhedron  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( C_Polyhedron  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_mpq_class  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_mpq_class  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_mpz_class  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_mpz_class  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int64_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int64_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int32_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int32_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int16_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int16_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int8_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Octagonal_Shape_int8_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_mpq_class  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_mpq_class  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_mpz_class  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_mpz_class  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int64_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int64_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int32_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int32_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int16_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int16_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int8_t  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( BD_Shape_int8_t  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Rational_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Rational_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Z_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Z_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint64_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint64_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint32_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint32_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint16_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint16_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint8_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Uint8_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int64_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int64_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int32_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int32_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int16_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int16_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int8_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Int8_Box  y  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( long  num_dimensions,
Degenerate_Element  kind 
) [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Generator_System  cs  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Congruence_System  cs  )  [private]
native void parma_polyhedra_library::BD_Shape_int32_t::build_cpp_object ( Constraint_System  cs  )  [private]

Referenced by BD_Shape_int32_t().

native void parma_polyhedra_library::BD_Shape_int32_t::CC76_extrapolation_assign ( BD_Shape_int32_t  arg,
By_Reference< Integer >  tp 
)
native void parma_polyhedra_library::BD_Shape_int32_t::CC76_narrowing_assign ( BD_Shape_int32_t  arg  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::concatenate_assign ( BD_Shape_int32_t  p  ) 
native Congruence_System parma_polyhedra_library::BD_Shape_int32_t::congruences (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::constrains ( Variable  var  ) 
native Constraint_System parma_polyhedra_library::BD_Shape_int32_t::constraints (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::contains ( BD_Shape_int32_t  y  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::contains_integer_point (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::difference_assign ( BD_Shape_int32_t  p  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::drop_some_non_integer_points ( Integer  complexity_threshold  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::drop_some_non_integer_points_2 ( Variables_Set  vars,
Integer  complexity_threshold 
)
boolean parma_polyhedra_library::BD_Shape_int32_t::equals ( Object  y  )  [inline]

Definition at line 465 of file BD_Shape_int32_t.java.

References equals().

native boolean parma_polyhedra_library::BD_Shape_int32_t::equals ( BD_Shape_int32_t  p  ) 

Referenced by equals().

native void parma_polyhedra_library::BD_Shape_int32_t::expand_space_dimension ( Variable  var,
long  m 
)
native long parma_polyhedra_library::BD_Shape_int32_t::external_memory_in_bytes (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::finalize (  )  [protected]
native void parma_polyhedra_library::BD_Shape_int32_t::fold_space_dimensions ( Variables_Set  vars,
Variable  dest 
)
native void parma_polyhedra_library::BD_Shape_int32_t::free (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::frequency ( Linear_Expression  expr,
Coefficient  freq_n,
Coefficient  freq_d,
Coefficient  val_n,
Coefficient  val_d 
)
native void parma_polyhedra_library::BD_Shape_int32_t::generalized_affine_image ( Linear_Expression  lhs,
Relation_Symbol  relsym,
Linear_Expression  rhs 
)
native void parma_polyhedra_library::BD_Shape_int32_t::generalized_affine_image ( Variable  var,
Relation_Symbol  relsym,
Linear_Expression  expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::BD_Shape_int32_t::generalized_affine_preimage ( Linear_Expression  lhs,
Relation_Symbol  relsym,
Linear_Expression  rhs 
)
native void parma_polyhedra_library::BD_Shape_int32_t::generalized_affine_preimage ( Variable  var,
Relation_Symbol  relsym,
Linear_Expression  expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::BD_Shape_int32_t::H79_widening_assign ( BD_Shape_int32_t  y,
By_Reference< Integer >  tp 
)
native int parma_polyhedra_library::BD_Shape_int32_t::hashCode (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::intersection_assign ( BD_Shape_int32_t  p  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::is_bounded (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::is_discrete (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::is_disjoint_from ( BD_Shape_int32_t  y  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::is_empty (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::is_topologically_closed (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::is_universe (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::limited_BHMZ05_extrapolation_assign ( BD_Shape_int32_t  y,
Constraint_System  cs,
By_Reference< Integer >  tp 
)
native void parma_polyhedra_library::BD_Shape_int32_t::limited_CC76_extrapolation_assign ( BD_Shape_int32_t  y,
Constraint_System  cs,
By_Reference< Integer >  tp 
)
native void parma_polyhedra_library::BD_Shape_int32_t::limited_H79_extrapolation_assign ( BD_Shape_int32_t  y,
Constraint_System  cs,
By_Reference< Integer >  tp 
)
static native Pair<BD_Shape_int32_t, Pointset_Powerset_NNC_Polyhedron > parma_polyhedra_library::BD_Shape_int32_t::linear_partition ( BD_Shape_int32_t  p,
BD_Shape_int32_t  q 
) [static]
native void parma_polyhedra_library::BD_Shape_int32_t::map_space_dimensions ( Partial_Function  pfunc  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::maximize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum,
Generator  point 
)
native boolean parma_polyhedra_library::BD_Shape_int32_t::maximize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum 
)
native boolean parma_polyhedra_library::BD_Shape_int32_t::minimize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum,
Generator  point 
)
native boolean parma_polyhedra_library::BD_Shape_int32_t::minimize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum 
)
native Congruence_System parma_polyhedra_library::BD_Shape_int32_t::minimized_congruences (  ) 
native Constraint_System parma_polyhedra_library::BD_Shape_int32_t::minimized_constraints (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::OK (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::refine_with_congruence ( Congruence  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::refine_with_congruences ( Congruence_System  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::refine_with_constraint ( Constraint  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::refine_with_constraints ( Constraint_System  c  ) 
native Poly_Con_Relation parma_polyhedra_library::BD_Shape_int32_t::relation_with ( Congruence  c  ) 
native Poly_Gen_Relation parma_polyhedra_library::BD_Shape_int32_t::relation_with ( Generator  c  ) 
native Poly_Con_Relation parma_polyhedra_library::BD_Shape_int32_t::relation_with ( Constraint  c  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::remove_higher_space_dimensions ( long  new_dimension  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::remove_space_dimensions ( Variables_Set  vars  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::simplify_using_context_assign ( BD_Shape_int32_t  p  ) 
native long parma_polyhedra_library::BD_Shape_int32_t::space_dimension (  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::strictly_contains ( BD_Shape_int32_t  y  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::swap ( BD_Shape_int32_t  y  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::time_elapse_assign ( BD_Shape_int32_t  p  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::topological_closure_assign (  ) 
native String parma_polyhedra_library::BD_Shape_int32_t::toString (  ) 
native long parma_polyhedra_library::BD_Shape_int32_t::total_memory_in_bytes (  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::unconstrain_space_dimension ( Variable  var  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::unconstrain_space_dimensions ( Variables_Set  vars  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::upper_bound_assign ( BD_Shape_int32_t  p  ) 
native boolean parma_polyhedra_library::BD_Shape_int32_t::upper_bound_assign_if_exact ( BD_Shape_int32_t  y  ) 
native void parma_polyhedra_library::BD_Shape_int32_t::widening_assign ( BD_Shape_int32_t  y,
By_Reference< Integer >  tp 
)
native void parma_polyhedra_library::BD_Shape_int32_t::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 
)

The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:35:29 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3