parma_polyhedra_library.Pointset_Powerset_BD_Shape_double Class Reference

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

Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_BD_Shape_double:

Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_BD_Shape_double:

Public Member Functions
	Pointset_Powerset_BD_Shape_double (long num_dimensions, Degenerate_Element kind)
	Pointset_Powerset_BD_Shape_double (Pointset_Powerset_BD_Shape_double y)
	Pointset_Powerset_BD_Shape_double (BD_Shape_double y)
	Pointset_Powerset_BD_Shape_double (Pointset_Powerset_BD_Shape_double y, Complexity_Class complexity)
	Pointset_Powerset_BD_Shape_double (BD_Shape_double y, Complexity_Class complexity)
	Pointset_Powerset_BD_Shape_double (Constraint_System cs)
	Pointset_Powerset_BD_Shape_double (Congruence_System cs)
native void	swap (Pointset_Powerset_BD_Shape_double 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_double y)
native boolean	strictly_contains (Pointset_Powerset_BD_Shape_double y)
native boolean	is_disjoint_from (Pointset_Powerset_BD_Shape_double y)
native boolean	geometrically_covers (Pointset_Powerset_BD_Shape_double y)
native boolean	geometrically_equals (Pointset_Powerset_BD_Shape_double y)
native boolean	equals (Pointset_Powerset_BD_Shape_double 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_double p)
native void	upper_bound_assign (Pointset_Powerset_BD_Shape_double p)
native void	difference_assign (Pointset_Powerset_BD_Shape_double p)
native void	concatenate_assign (Pointset_Powerset_BD_Shape_double p)
native void	time_elapse_assign (Pointset_Powerset_BD_Shape_double p)
native boolean	upper_bound_assign_if_exact (Pointset_Powerset_BD_Shape_double y)
native boolean	simplify_using_context_assign (Pointset_Powerset_BD_Shape_double 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_double_Iterator	begin_iterator ()
native Pointset_Powerset_BD_Shape_double_Iterator	end_iterator ()
native void	add_disjunct (BD_Shape_double j_disj)
native void	drop_disjunct (Pointset_Powerset_BD_Shape_double_Iterator itr)
native void	drop_disjuncts (Pointset_Powerset_BD_Shape_double_Iterator itr1, Pointset_Powerset_BD_Shape_double_Iterator itr2)
native void	BHZ03_H79_BHMZ05_widening_assign (Pointset_Powerset_BD_Shape_double y)
native void	BHZ03_H79_H79_widening_assign (Pointset_Powerset_BD_Shape_double y)
native void	BGP99_BHMZ05_extrapolation_assign (Pointset_Powerset_BD_Shape_double y, Integer d)
native void	BGP99_H79_extrapolation_assign (Pointset_Powerset_BD_Shape_double 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_double ()
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_double y)
native void	build_cpp_object (Pointset_Powerset_BD_Shape_double 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)

Detailed Description

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

Definition at line 30 of file Pointset_Powerset_BD_Shape_double.java.

Constructor & Destructor Documentation

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

inline

Definition at line 37 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double ( )

inlineprivate

Definition at line 42 of file Pointset_Powerset_BD_Shape_double.java.

parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double ( Pointset_Powerset_BD_Shape_double  y )

inline

Definition at line 49 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double ( BD_Shape_double  y )

inline

Definition at line 53 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

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

inline

Definition at line 62 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double ( BD_Shape_double  y, Complexity_Class  complexity  )

inline

Definition at line 66 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double ( Constraint_System  cs )

inline

Definition at line 75 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double ( Congruence_System  cs )

inline

Definition at line 79 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object().

Member Function Documentation

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_congruence

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_congruences

(

Congruence_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_constraint

(

Constraint

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_constraints

(

Constraint_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_disjunct

(

BD_Shape_double

j_disj

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_space_dimensions_and_embed

(

long

m

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.add_space_dimensions_and_project

(

long

m

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.affine_dimension

(

)

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

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

native String parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.ascii_dump

(

)

native Pointset_Powerset_BD_Shape_double_Iterator parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.begin_iterator

(

)

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

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

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.BHZ03_H79_BHMZ05_widening_assign

(

Pointset_Powerset_BD_Shape_double

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.BHZ03_H79_H79_widening_assign

(

Pointset_Powerset_BD_Shape_double

y

)

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.bounds_from_above

(

Linear_Expression

expr

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.bounds_from_below

(

Linear_Expression

expr

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object ( Constraint_System  cs )

private

Referenced by parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.Pointset_Powerset_BD_Shape_double().

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object ( Congruence_System  cs )

private

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

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object ( Pointset_Powerset_BD_Shape_double  y )

private

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

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object ( BD_Shape_double  y )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.build_cpp_object ( BD_Shape_double  y, Complexity_Class  complexity  )

private

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.concatenate_assign

(

Pointset_Powerset_BD_Shape_double

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.constrains

(

Variable

var

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.contains

(

Pointset_Powerset_BD_Shape_double

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.contains_integer_point

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.difference_assign

(

Pointset_Powerset_BD_Shape_double

p

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.drop_disjunct

(

Pointset_Powerset_BD_Shape_double_Iterator

itr

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.drop_disjuncts	(	Pointset_Powerset_BD_Shape_double_Iterator	itr1,
		Pointset_Powerset_BD_Shape_double_Iterator	itr2
	)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.drop_some_non_integer_points

(

Complexity_Class

complexity

)

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

native Pointset_Powerset_BD_Shape_double_Iterator parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.end_iterator

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.equals

(

Pointset_Powerset_BD_Shape_double

p

)

Referenced by parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.equals().

boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.equals ( Object  y )

inline

Definition at line 187 of file Pointset_Powerset_BD_Shape_double.java.

References parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.equals().

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

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.external_memory_in_bytes

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.finalize ( )

protected

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

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.free

(

)

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

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

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.geometrically_covers

(

Pointset_Powerset_BD_Shape_double

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.geometrically_equals

(

Pointset_Powerset_BD_Shape_double

y

)

native int parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.hashCode

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.intersection_assign

(

Pointset_Powerset_BD_Shape_double

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.is_bounded

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.is_discrete

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.is_disjoint_from

(

Pointset_Powerset_BD_Shape_double

y

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.is_empty

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.is_topologically_closed

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.is_universe

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.map_space_dimensions

(

Partial_Function

pfunc

)

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.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_double.OK

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.omega_reduce

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.pairwise_reduce

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.refine_with_congruence

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.refine_with_congruences

(

Congruence_System

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.refine_with_constraint

(

Constraint

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.refine_with_constraints

(

Constraint_System

c

)

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.relation_with

(

Constraint

c

)

native Poly_Gen_Relation parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.relation_with

(

Generator

c

)

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.relation_with

(

Congruence

c

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.remove_higher_space_dimensions

(

long

new_dimension

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.remove_space_dimensions

(

Variables_Set

vars

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.simplify_using_context_assign

(

Pointset_Powerset_BD_Shape_double

p

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.size

(

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.space_dimension

(

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.strictly_contains

(

Pointset_Powerset_BD_Shape_double

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.swap

(

Pointset_Powerset_BD_Shape_double

y

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.time_elapse_assign

(

Pointset_Powerset_BD_Shape_double

p

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.topological_closure_assign

(

)

native String parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.toString

(

)

native long parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.total_memory_in_bytes

(

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.unconstrain_space_dimension

(

Variable

var

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.unconstrain_space_dimensions

(

Variables_Set

vars

)

native void parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.upper_bound_assign

(

Pointset_Powerset_BD_Shape_double

p

)

native boolean parma_polyhedra_library.Pointset_Powerset_BD_Shape_double.upper_bound_assign_if_exact

(

Pointset_Powerset_BD_Shape_double

y

)

---

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

• Pointset_Powerset_BD_Shape_double.java