parma_polyhedra_library.Grid Class Reference

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

Inherits parma_polyhedra_library.PPL_Object.

Public Member Functions
	Grid (long num_dimensions, Degenerate_Element kind)
	Grid (Int8_Box y)
	Grid (Int16_Box y)
	Grid (Int32_Box y)
	Grid (Int64_Box y)
	Grid (Uint8_Box y)
	Grid (Uint16_Box y)
	Grid (Uint32_Box y)
	Grid (Uint64_Box y)
	Grid (Z_Box y)
	Grid (Rational_Box y)
	Grid (BD_Shape_int8_t y)
	Grid (BD_Shape_int16_t y)
	Grid (BD_Shape_int32_t y)
	Grid (BD_Shape_int64_t y)
	Grid (BD_Shape_mpz_class y)
	Grid (BD_Shape_mpq_class y)
	Grid (Octagonal_Shape_int8_t y)
	Grid (Octagonal_Shape_int16_t y)
	Grid (Octagonal_Shape_int32_t y)
	Grid (Octagonal_Shape_int64_t y)
	Grid (Octagonal_Shape_mpz_class y)
	Grid (Octagonal_Shape_mpq_class y)
	Grid (C_Polyhedron y)
	Grid (NNC_Polyhedron y)
	Grid (Grid y)
	Grid (Float_Box y)
	Grid (BD_Shape_float y)
	Grid (Octagonal_Shape_float y)
	Grid (Double_Box y)
	Grid (BD_Shape_double y)
	Grid (Octagonal_Shape_double y)
	Grid (Long_Double_Box y)
	Grid (BD_Shape_long_double y)
	Grid (Octagonal_Shape_long_double y)
	Grid (Int8_Box y, Complexity_Class complexity)
	Grid (Int16_Box y, Complexity_Class complexity)
	Grid (Int32_Box y, Complexity_Class complexity)
	Grid (Int64_Box y, Complexity_Class complexity)
	Grid (Uint8_Box y, Complexity_Class complexity)
	Grid (Uint16_Box y, Complexity_Class complexity)
	Grid (Uint32_Box y, Complexity_Class complexity)
	Grid (Uint64_Box y, Complexity_Class complexity)
	Grid (Z_Box y, Complexity_Class complexity)
	Grid (Rational_Box y, Complexity_Class complexity)
	Grid (BD_Shape_int8_t y, Complexity_Class complexity)
	Grid (BD_Shape_int16_t y, Complexity_Class complexity)
	Grid (BD_Shape_int32_t y, Complexity_Class complexity)
	Grid (BD_Shape_int64_t y, Complexity_Class complexity)
	Grid (BD_Shape_mpz_class y, Complexity_Class complexity)
	Grid (BD_Shape_mpq_class y, Complexity_Class complexity)
	Grid (Octagonal_Shape_int8_t y, Complexity_Class complexity)
	Grid (Octagonal_Shape_int16_t y, Complexity_Class complexity)
	Grid (Octagonal_Shape_int32_t y, Complexity_Class complexity)
	Grid (Octagonal_Shape_int64_t y, Complexity_Class complexity)
	Grid (Octagonal_Shape_mpz_class y, Complexity_Class complexity)
	Grid (Octagonal_Shape_mpq_class y, Complexity_Class complexity)
	Grid (C_Polyhedron y, Complexity_Class complexity)
	Grid (NNC_Polyhedron y, Complexity_Class complexity)
	Grid (Grid y, Complexity_Class complexity)
	Grid (Float_Box y, Complexity_Class complexity)
	Grid (BD_Shape_float y, Complexity_Class complexity)
	Grid (Octagonal_Shape_float y, Complexity_Class complexity)
	Grid (Double_Box y, Complexity_Class complexity)
	Grid (BD_Shape_double y, Complexity_Class complexity)
	Grid (Octagonal_Shape_double y, Complexity_Class complexity)
	Grid (Long_Double_Box y, Complexity_Class complexity)
	Grid (BD_Shape_long_double y, Complexity_Class complexity)
	Grid (Octagonal_Shape_long_double y, Complexity_Class complexity)
	Grid (Constraint_System cs)
	Grid (Congruence_System cs)
	Grid (Grid_Generator_System cs)
native void	swap (Grid 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 Poly_Gen_Relation	relation_with (Grid_Generator c)
native Constraint_System	constraints ()
native Congruence_System	congruences ()
native Grid_Generator_System	grid_generators ()
native Constraint_System	minimized_constraints ()
native Congruence_System	minimized_congruences ()
native Grid_Generator_System	minimized_grid_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 (Grid y)
native boolean	strictly_contains (Grid y)
native boolean	is_disjoint_from (Grid y)
native boolean	equals (Grid p)
boolean	equals (Object y)
native boolean	OK ()
native void	add_constraint (Constraint c)
native void	add_congruence (Congruence c)
native void	add_grid_generator (Grid_Generator c)
native void	add_constraints (Constraint_System c)
native void	add_congruences (Congruence_System c)
native void	add_grid_generators (Grid_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 (Grid p)
native void	upper_bound_assign (Grid p)
native void	difference_assign (Grid p)
native void	concatenate_assign (Grid p)
native void	time_elapse_assign (Grid p)
native boolean	upper_bound_assign_if_exact (Grid y)
native boolean	simplify_using_context_assign (Grid 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	generalized_affine_image_with_congruence (Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator, Coefficient modulus)
native void	generalized_affine_preimage_with_congruence (Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator, Coefficient modulus)
native void	generalized_affine_image_lhs_rhs_with_congruence (Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs, Coefficient modulus)
native void	generalized_affine_preimage_lhs_rhs_with_congruence (Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs, Coefficient modulus)
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	congruence_widening_assign (Grid y, By_Reference< Integer > tp)
native void	generator_widening_assign (Grid y, By_Reference< Integer > tp)
native void	widening_assign (Grid y, By_Reference< Integer > tp)
native void	limited_congruence_extrapolation_assign (Grid y, Congruence_System cs, By_Reference< Integer > tp)
native void	limited_generator_extrapolation_assign (Grid y, Congruence_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 void	free ()
native int	hashCode ()
native String	toString ()

Static Public Member Functions
static native Pair< Grid, Pointset_Powerset_Grid >	approximate_partition (Grid p, Grid q, By_Reference< Boolean > finite)

Protected Member Functions
native void	finalize ()

Detailed Description

Java class interfacing C++ Parma_Polyhedra_Library::Grid.

---

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

• Grid.java