parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t Class Reference

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

Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t:

Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t:

Public Member Functions
	Pointset_Powerset_BD_Shape_int32_t (long num_dimensions, Degenerate_Element kind)
	Pointset_Powerset_BD_Shape_int32_t (Pointset_Powerset_BD_Shape_int32_t y)
	Pointset_Powerset_BD_Shape_int32_t (BD_Shape_int32_t y)
	Pointset_Powerset_BD_Shape_int32_t (Pointset_Powerset_BD_Shape_int32_t y, Complexity_Class complexity)
	Pointset_Powerset_BD_Shape_int32_t (BD_Shape_int32_t y, Complexity_Class complexity)
	Pointset_Powerset_BD_Shape_int32_t (Constraint_System cs)
	Pointset_Powerset_BD_Shape_int32_t (Congruence_System cs)
native void	swap (Pointset_Powerset_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 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_BD_Shape_int32_t y)
native boolean	strictly_contains (Pointset_Powerset_BD_Shape_int32_t y)
native boolean	is_disjoint_from (Pointset_Powerset_BD_Shape_int32_t y)
native boolean	geometrically_covers (Pointset_Powerset_BD_Shape_int32_t y)
native boolean	geometrically_equals (Pointset_Powerset_BD_Shape_int32_t y)
native boolean	equals (Pointset_Powerset_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 (Pointset_Powerset_BD_Shape_int32_t p)
native void	upper_bound_assign (Pointset_Powerset_BD_Shape_int32_t p)
native void	difference_assign (Pointset_Powerset_BD_Shape_int32_t p)
native void	concatenate_assign (Pointset_Powerset_BD_Shape_int32_t p)
native void	time_elapse_assign (Pointset_Powerset_BD_Shape_int32_t p)
native boolean	upper_bound_assign_if_exact (Pointset_Powerset_BD_Shape_int32_t y)
native boolean	simplify_using_context_assign (Pointset_Powerset_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 (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 long	size ()
native Pointset_Powerset_BD_Shape_int32_t_Iterator	begin_iterator ()
native Pointset_Powerset_BD_Shape_int32_t_Iterator	end_iterator ()
native void	add_disjunct (BD_Shape_int32_t j_disj)
native void	drop_disjunct (Pointset_Powerset_BD_Shape_int32_t_Iterator itr)
native void	drop_disjuncts (Pointset_Powerset_BD_Shape_int32_t_Iterator itr1, Pointset_Powerset_BD_Shape_int32_t_Iterator itr2)
native void	BHZ03_H79_BHMZ05_widening_assign (Pointset_Powerset_BD_Shape_int32_t y)
native void	BHZ03_H79_H79_widening_assign (Pointset_Powerset_BD_Shape_int32_t y)
native void	BGP99_BHMZ05_extrapolation_assign (Pointset_Powerset_BD_Shape_int32_t y, Integer d)
native void	BGP99_H79_extrapolation_assign (Pointset_Powerset_BD_Shape_int32_t y, Integer d)
native void	free ()
native int	hashCode ()
native String	toString ()

Protected Member Functions
native void	finalize ()
Protected Member Functions inherited from parma_polyhedra_library.PPL_Object
	PPL_Object ()
	Builds an object that points to `null'. More...

Private Member Functions
	Pointset_Powerset_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 (long num_dimensions, Degenerate_Element kind)
native void	build_cpp_object (Pointset_Powerset_BD_Shape_int32_t y)
native void	build_cpp_object (Pointset_Powerset_BD_Shape_int32_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)

Detailed Description

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

Definition at line 30 of file Pointset_Powerset_BD_Shape_int32_t.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( long  num_dimensions, Degenerate_Element  kind  )

inline

Definition at line 37 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( )

inlineprivate

Definition at line 42 of file Pointset_Powerset_BD_Shape_int32_t.java.

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( Pointset_Powerset_BD_Shape_int32_t  y )

inline

Definition at line 49 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( BD_Shape_int32_t  y )

inline

Definition at line 53 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( Pointset_Powerset_BD_Shape_int32_t  y, Complexity_Class  complexity  )

inline

Definition at line 62 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( BD_Shape_int32_t  y, Complexity_Class  complexity  )

inline

Definition at line 66 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( Constraint_System  cs )

inline

Definition at line 75 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t ( Congruence_System  cs )

inline

Definition at line 79 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object().

Member Function Documentation

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_congruence

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_congruences

(

Congruence_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_constraint

(

Constraint

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_constraints

(

Constraint_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_disjunct

(

BD_Shape_int32_t

j_disj

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_space_dimensions_and_embed

(

long

m

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.add_space_dimensions_and_project

(

long

m

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.affine_dimension

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.affine_image	(	Variable	var,
		Linear_Expression	expr,
		Coefficient	denominator
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.affine_preimage	(	Variable	var,
		Linear_Expression	expr,
		Coefficient	denominator
	)

native String parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.ascii_dump

(

)

native Pointset_Powerset_BD_Shape_int32_t_Iterator parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.begin_iterator

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.BGP99_BHMZ05_extrapolation_assign	(	Pointset_Powerset_BD_Shape_int32_t	y,
		Integer	d
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.BGP99_H79_extrapolation_assign	(	Pointset_Powerset_BD_Shape_int32_t	y,
		Integer	d
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.BHZ03_H79_BHMZ05_widening_assign

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.BHZ03_H79_H79_widening_assign

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.bounded_affine_image	(	Variable	var,
		Linear_Expression	lb_expr,
		Linear_Expression	ub_expr,
		Coefficient	denominator
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.bounded_affine_preimage	(	Variable	var,
		Linear_Expression	lb_expr,
		Linear_Expression	ub_expr,
		Coefficient	denominator
	)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.bounds_from_above

(

Linear_Expression

expr

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.bounds_from_below

(

Linear_Expression

expr

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( Constraint_System  cs )

private

Referenced by parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.Pointset_Powerset_BD_Shape_int32_t().

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( Congruence_System  cs )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( long  num_dimensions, Degenerate_Element  kind  )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( Pointset_Powerset_BD_Shape_int32_t  y )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( Pointset_Powerset_BD_Shape_int32_t  y, Complexity_Class  complexity  )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( BD_Shape_int32_t  y )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.build_cpp_object ( BD_Shape_int32_t  y, Complexity_Class  complexity  )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.concatenate_assign

(

Pointset_Powerset_BD_Shape_int32_t

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.constrains

(

Variable

var

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.contains

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.contains_integer_point

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.difference_assign

(

Pointset_Powerset_BD_Shape_int32_t

p

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.drop_disjunct

(

Pointset_Powerset_BD_Shape_int32_t_Iterator

itr

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.drop_disjuncts	(	Pointset_Powerset_BD_Shape_int32_t_Iterator	itr1,
		Pointset_Powerset_BD_Shape_int32_t_Iterator	itr2
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.drop_some_non_integer_points

(

Complexity_Class

complexity

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.drop_some_non_integer_points	(	Variables_Set	vars,
		Complexity_Class	complexity
	)

native Pointset_Powerset_BD_Shape_int32_t_Iterator parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.end_iterator

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.equals

(

Pointset_Powerset_BD_Shape_int32_t

p

)

Referenced by parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.equals().

boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.equals ( Object  y )

inline

Definition at line 187 of file Pointset_Powerset_BD_Shape_int32_t.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.equals().

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.expand_space_dimension	(	Variable	var,
		long	m
	)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.external_memory_in_bytes

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.finalize ( )

protected

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.fold_space_dimensions	(	Variables_Set	vars,
		Variable	dest
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.free

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.generalized_affine_image	(	Variable	var,
		Relation_Symbol	relsym,
		Linear_Expression	expr,
		Coefficient	denominator
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.generalized_affine_image	(	Linear_Expression	lhs,
		Relation_Symbol	relsym,
		Linear_Expression	rhs
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.generalized_affine_preimage	(	Variable	var,
		Relation_Symbol	relsym,
		Linear_Expression	expr,
		Coefficient	denominator
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.generalized_affine_preimage	(	Linear_Expression	lhs,
		Relation_Symbol	relsym,
		Linear_Expression	rhs
	)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.geometrically_covers

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.geometrically_equals

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native int parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.hashCode

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.intersection_assign

(

Pointset_Powerset_BD_Shape_int32_t

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.is_bounded

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.is_discrete

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.is_disjoint_from

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.is_empty

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.is_topologically_closed

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.is_universe

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.map_space_dimensions

(

Partial_Function

pfunc

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.maximize	(	Linear_Expression	expr,
		Coefficient	sup_n,
		Coefficient	sup_d,
		By_Reference< Boolean >	maximum
	)

native boolean parma_polyhedra_library.Pointset_Powerset_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.Pointset_Powerset_BD_Shape_int32_t.minimize	(	Linear_Expression	expr,
		Coefficient	sup_n,
		Coefficient	sup_d,
		By_Reference< Boolean >	maximum
	)

native boolean parma_polyhedra_library.Pointset_Powerset_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.Pointset_Powerset_BD_Shape_int32_t.OK

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.omega_reduce

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.pairwise_reduce

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.refine_with_congruence

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.refine_with_congruences

(

Congruence_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.refine_with_constraint

(

Constraint

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.refine_with_constraints

(

Constraint_System

c

)

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.relation_with

(

Constraint

c

)

native Poly_Gen_Relation parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.relation_with

(

Generator

c

)

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.relation_with

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.remove_higher_space_dimensions

(

long

new_dimension

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.remove_space_dimensions

(

Variables_Set

vars

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.simplify_using_context_assign

(

Pointset_Powerset_BD_Shape_int32_t

p

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.size

(

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.space_dimension

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.strictly_contains

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.swap

(

Pointset_Powerset_BD_Shape_int32_t

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.time_elapse_assign

(

Pointset_Powerset_BD_Shape_int32_t

p

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.topological_closure_assign

(

)

native String parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.toString

(

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.total_memory_in_bytes

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.unconstrain_space_dimension

(

Variable

var

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.unconstrain_space_dimensions

(

Variables_Set

vars

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.upper_bound_assign

(

Pointset_Powerset_BD_Shape_int32_t

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_int32_t.upper_bound_assign_if_exact

(

Pointset_Powerset_BD_Shape_int32_t

y

)

---

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

• Pointset_Powerset_BD_Shape_int32_t.java