parma_polyhedra_library.Pointset_Powerset_Double_Box Class Reference

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

Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_Double_Box:

Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_Double_Box:

Public Member Functions
	Pointset_Powerset_Double_Box (long num_dimensions, Degenerate_Element kind)
	Pointset_Powerset_Double_Box (Pointset_Powerset_Double_Box y)
	Pointset_Powerset_Double_Box (Double_Box y)
	Pointset_Powerset_Double_Box (Pointset_Powerset_Double_Box y, Complexity_Class complexity)
	Pointset_Powerset_Double_Box (Double_Box y, Complexity_Class complexity)
	Pointset_Powerset_Double_Box (Constraint_System cs)
	Pointset_Powerset_Double_Box (Congruence_System cs)
native void	swap (Pointset_Powerset_Double_Box 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_Double_Box y)
native boolean	strictly_contains (Pointset_Powerset_Double_Box y)
native boolean	is_disjoint_from (Pointset_Powerset_Double_Box y)
native boolean	geometrically_covers (Pointset_Powerset_Double_Box y)
native boolean	geometrically_equals (Pointset_Powerset_Double_Box y)
native boolean	equals (Pointset_Powerset_Double_Box 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_Double_Box p)
native void	upper_bound_assign (Pointset_Powerset_Double_Box p)
native void	difference_assign (Pointset_Powerset_Double_Box p)
native void	concatenate_assign (Pointset_Powerset_Double_Box p)
native void	time_elapse_assign (Pointset_Powerset_Double_Box p)
native boolean	upper_bound_assign_if_exact (Pointset_Powerset_Double_Box y)
native boolean	simplify_using_context_assign (Pointset_Powerset_Double_Box 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_Double_Box_Iterator	begin_iterator ()
native Pointset_Powerset_Double_Box_Iterator	end_iterator ()
native void	add_disjunct (Double_Box j_disj)
native void	drop_disjunct (Pointset_Powerset_Double_Box_Iterator itr)
native void	drop_disjuncts (Pointset_Powerset_Double_Box_Iterator itr1, Pointset_Powerset_Double_Box_Iterator itr2)
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_Double_Box ()
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_Double_Box y)
native void	build_cpp_object (Pointset_Powerset_Double_Box y, Complexity_Class complexity)
native void	build_cpp_object (Double_Box y)
native void	build_cpp_object (Double_Box y, Complexity_Class complexity)

Detailed Description

Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Double_Box>

Definition at line 30 of file Pointset_Powerset_Double_Box.java.

Constructor & Destructor Documentation

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

inline

Definition at line 37 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box ( )

inlineprivate

Definition at line 42 of file Pointset_Powerset_Double_Box.java.

parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box ( Pointset_Powerset_Double_Box  y )

inline

Definition at line 49 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box ( Double_Box  y )

inline

Definition at line 53 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

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

inline

Definition at line 62 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box ( Double_Box  y, Complexity_Class  complexity  )

inline

Definition at line 66 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box ( Constraint_System  cs )

inline

Definition at line 75 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box ( Congruence_System  cs )

inline

Definition at line 79 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object().

Member Function Documentation

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_congruence

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_congruences

(

Congruence_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_constraint

(

Constraint

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_constraints

(

Constraint_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_disjunct

(

Double_Box

j_disj

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_space_dimensions_and_embed

(

long

m

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.add_space_dimensions_and_project

(

long

m

)

native long parma_polyhedra_library.Pointset_Powerset_Double_Box.affine_dimension

(

)

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

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

native String parma_polyhedra_library.Pointset_Powerset_Double_Box.ascii_dump

(

)

native Pointset_Powerset_Double_Box_Iterator parma_polyhedra_library.Pointset_Powerset_Double_Box.begin_iterator

(

)

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.bounds_from_above

(

Linear_Expression

expr

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.bounds_from_below

(

Linear_Expression

expr

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object ( Constraint_System  cs )

private

Referenced by parma_polyhedra_library.Pointset_Powerset_Double_Box.Pointset_Powerset_Double_Box().

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object ( Congruence_System  cs )

private

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

private

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object ( Pointset_Powerset_Double_Box  y )

private

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

private

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object ( Double_Box  y )

private

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.build_cpp_object ( Double_Box  y, Complexity_Class  complexity  )

private

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.concatenate_assign

(

Pointset_Powerset_Double_Box

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.constrains

(

Variable

var

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.contains

(

Pointset_Powerset_Double_Box

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.contains_integer_point

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.difference_assign

(

Pointset_Powerset_Double_Box

p

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.drop_disjunct

(

Pointset_Powerset_Double_Box_Iterator

itr

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.drop_disjuncts	(	Pointset_Powerset_Double_Box_Iterator	itr1,
		Pointset_Powerset_Double_Box_Iterator	itr2
	)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.drop_some_non_integer_points

(

Complexity_Class

complexity

)

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

native Pointset_Powerset_Double_Box_Iterator parma_polyhedra_library.Pointset_Powerset_Double_Box.end_iterator

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.equals

(

Pointset_Powerset_Double_Box

p

)

Referenced by parma_polyhedra_library.Pointset_Powerset_Double_Box.equals().

boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.equals ( Object  y )

inline

Definition at line 187 of file Pointset_Powerset_Double_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Double_Box.equals().

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

native long parma_polyhedra_library.Pointset_Powerset_Double_Box.external_memory_in_bytes

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.finalize ( )

protected

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

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.free

(

)

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

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

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.geometrically_covers

(

Pointset_Powerset_Double_Box

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.geometrically_equals

(

Pointset_Powerset_Double_Box

y

)

native int parma_polyhedra_library.Pointset_Powerset_Double_Box.hashCode

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.intersection_assign

(

Pointset_Powerset_Double_Box

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.is_bounded

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.is_discrete

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.is_disjoint_from

(

Pointset_Powerset_Double_Box

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.is_empty

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.is_topologically_closed

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.is_universe

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.map_space_dimensions

(

Partial_Function

pfunc

)

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

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.minimize	(	Linear_Expression	expr,
		Coefficient	sup_n,
		Coefficient	sup_d,
		By_Reference< Boolean >	maximum,
		Generator	point
	)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.OK

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.omega_reduce

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.pairwise_reduce

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.refine_with_congruence

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.refine_with_congruences

(

Congruence_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.refine_with_constraint

(

Constraint

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.refine_with_constraints

(

Constraint_System

c

)

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_Double_Box.relation_with

(

Constraint

c

)

native Poly_Gen_Relation parma_polyhedra_library.Pointset_Powerset_Double_Box.relation_with

(

Generator

c

)

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_Double_Box.relation_with

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.remove_higher_space_dimensions

(

long

new_dimension

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.remove_space_dimensions

(

Variables_Set

vars

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.simplify_using_context_assign

(

Pointset_Powerset_Double_Box

p

)

native long parma_polyhedra_library.Pointset_Powerset_Double_Box.size

(

)

native long parma_polyhedra_library.Pointset_Powerset_Double_Box.space_dimension

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.strictly_contains

(

Pointset_Powerset_Double_Box

y

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.swap

(

Pointset_Powerset_Double_Box

y

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.time_elapse_assign

(

Pointset_Powerset_Double_Box

p

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.topological_closure_assign

(

)

native String parma_polyhedra_library.Pointset_Powerset_Double_Box.toString

(

)

native long parma_polyhedra_library.Pointset_Powerset_Double_Box.total_memory_in_bytes

(

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.unconstrain_space_dimension

(

Variable

var

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.unconstrain_space_dimensions

(

Variables_Set

vars

)

native void parma_polyhedra_library.Pointset_Powerset_Double_Box.upper_bound_assign

(

Pointset_Powerset_Double_Box

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_Double_Box.upper_bound_assign_if_exact

(

Pointset_Powerset_Double_Box

y

)

---

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

• Pointset_Powerset_Double_Box.java