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

Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_Float_Box:

Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_Float_Box:

Public Member Functions
	Pointset_Powerset_Float_Box (long num_dimensions, Degenerate_Element kind)
	Pointset_Powerset_Float_Box (Pointset_Powerset_Float_Box y)
	Pointset_Powerset_Float_Box (Float_Box y)
	Pointset_Powerset_Float_Box (Pointset_Powerset_Float_Box y, Complexity_Class complexity)
	Pointset_Powerset_Float_Box (Float_Box y, Complexity_Class complexity)
	Pointset_Powerset_Float_Box (Constraint_System cs)
	Pointset_Powerset_Float_Box (Congruence_System cs)
native void	swap (Pointset_Powerset_Float_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_Float_Box y)
native boolean	strictly_contains (Pointset_Powerset_Float_Box y)
native boolean	is_disjoint_from (Pointset_Powerset_Float_Box y)
native boolean	geometrically_covers (Pointset_Powerset_Float_Box y)
native boolean	geometrically_equals (Pointset_Powerset_Float_Box y)
native boolean	equals (Pointset_Powerset_Float_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_Float_Box p)
native void	upper_bound_assign (Pointset_Powerset_Float_Box p)
native void	difference_assign (Pointset_Powerset_Float_Box p)
native void	concatenate_assign (Pointset_Powerset_Float_Box p)
native void	time_elapse_assign (Pointset_Powerset_Float_Box p)
native boolean	upper_bound_assign_if_exact (Pointset_Powerset_Float_Box y)
native boolean	simplify_using_context_assign (Pointset_Powerset_Float_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 (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 long	size ()
native Pointset_Powerset_Float_Box_Iterator	begin_iterator ()
native Pointset_Powerset_Float_Box_Iterator	end_iterator ()
native void	add_disjunct (Float_Box j_disj)
native void	drop_disjunct (Pointset_Powerset_Float_Box_Iterator itr)
native void	drop_disjuncts (Pointset_Powerset_Float_Box_Iterator itr1, Pointset_Powerset_Float_Box_Iterator itr2)
native void	free ()
native int	hashCode ()
native String	toString ()
Protected Member Functions
native void	finalize ()
Private Member Functions
	Pointset_Powerset_Float_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_Float_Box y)
native void	build_cpp_object (Pointset_Powerset_Float_Box y, Complexity_Class complexity)
native void	build_cpp_object (Float_Box y)
native void	build_cpp_object (Float_Box y, Complexity_Class complexity)

Detailed Description

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

Definition at line 33 of file Pointset_Powerset_Float_Box.java.

Constructor & Destructor Documentation

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

inline

Definition at line 40 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box ( )

inlineprivate

Definition at line 45 of file Pointset_Powerset_Float_Box.java.

parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box ( Pointset_Powerset_Float_Box y )

inline

Definition at line 52 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box ( Float_Box y )

inline

Definition at line 56 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

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

inline

Definition at line 65 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box	(	Float_Box	y,
		Complexity_Class	complexity
	)

inline

Definition at line 69 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box ( Constraint_System cs )

inline

Definition at line 78 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box ( Congruence_System cs )

inline

Definition at line 82 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object().

Member Function Documentation

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_congruence ( Congruence c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_congruences ( Congruence_System c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_constraint ( Constraint c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_constraints ( Constraint_System c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_disjunct ( Float_Box j_disj )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_space_dimensions_and_embed ( long m )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.add_space_dimensions_and_project ( long m )

native long parma_polyhedra_library.Pointset_Powerset_Float_Box.affine_dimension ( )

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

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

native String parma_polyhedra_library.Pointset_Powerset_Float_Box.ascii_dump ( )

native Pointset_Powerset_Float_Box_Iterator parma_polyhedra_library.Pointset_Powerset_Float_Box.begin_iterator ( )

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.bounds_from_above ( Linear_Expression expr )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.bounds_from_below ( Linear_Expression expr )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object ( Constraint_System cs )

private

Referenced by parma_polyhedra_library.Pointset_Powerset_Float_Box.Pointset_Powerset_Float_Box().

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object ( Congruence_System cs )

private

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

private

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object ( Pointset_Powerset_Float_Box y )

private

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

private

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object ( Float_Box y )

private

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.build_cpp_object	(	Float_Box	y,
		Complexity_Class	complexity
	)

private

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.concatenate_assign ( Pointset_Powerset_Float_Box p )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.constrains ( Variable var )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.contains ( Pointset_Powerset_Float_Box y )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.contains_integer_point ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.difference_assign ( Pointset_Powerset_Float_Box p )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.drop_disjunct ( Pointset_Powerset_Float_Box_Iterator itr )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.drop_disjuncts	(	Pointset_Powerset_Float_Box_Iterator	itr1,
		Pointset_Powerset_Float_Box_Iterator	itr2
	)

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.drop_some_non_integer_points ( Integer complexity_threshold )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.drop_some_non_integer_points_2	(	Variables_Set	vars,
		Integer	complexity_threshold
	)

native Pointset_Powerset_Float_Box_Iterator parma_polyhedra_library.Pointset_Powerset_Float_Box.end_iterator ( )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.equals ( Pointset_Powerset_Float_Box p )

Referenced by parma_polyhedra_library.Pointset_Powerset_Float_Box.equals().

boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.equals ( Object y )

inline

Definition at line 190 of file Pointset_Powerset_Float_Box.java.

References parma_polyhedra_library.Pointset_Powerset_Float_Box.equals().

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

native long parma_polyhedra_library.Pointset_Powerset_Float_Box.external_memory_in_bytes ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.finalize ( )

protected

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

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.free ( )

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

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

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.geometrically_covers ( Pointset_Powerset_Float_Box y )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.geometrically_equals ( Pointset_Powerset_Float_Box y )

native int parma_polyhedra_library.Pointset_Powerset_Float_Box.hashCode ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.intersection_assign ( Pointset_Powerset_Float_Box p )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.is_bounded ( )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.is_discrete ( )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.is_disjoint_from ( Pointset_Powerset_Float_Box y )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.is_empty ( )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.is_topologically_closed ( )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.is_universe ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.map_space_dimensions ( Partial_Function pfunc )

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

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

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

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

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.OK ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.omega_reduce ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.pairwise_reduce ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.refine_with_congruence ( Congruence c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.refine_with_congruences ( Congruence_System c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.refine_with_constraint ( Constraint c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.refine_with_constraints ( Constraint_System c )

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_Float_Box.relation_with ( Constraint c )

native Poly_Gen_Relation parma_polyhedra_library.Pointset_Powerset_Float_Box.relation_with ( Generator c )

native Poly_Con_Relation parma_polyhedra_library.Pointset_Powerset_Float_Box.relation_with ( Congruence c )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.remove_higher_space_dimensions ( long new_dimension )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.remove_space_dimensions ( Variables_Set vars )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.simplify_using_context_assign ( Pointset_Powerset_Float_Box p )

native long parma_polyhedra_library.Pointset_Powerset_Float_Box.size ( )

native long parma_polyhedra_library.Pointset_Powerset_Float_Box.space_dimension ( )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.strictly_contains ( Pointset_Powerset_Float_Box y )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.swap ( Pointset_Powerset_Float_Box y )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.time_elapse_assign ( Pointset_Powerset_Float_Box p )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.topological_closure_assign ( )

native String parma_polyhedra_library.Pointset_Powerset_Float_Box.toString ( )

native long parma_polyhedra_library.Pointset_Powerset_Float_Box.total_memory_in_bytes ( )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.unconstrain_space_dimension ( Variable var )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.unconstrain_space_dimensions ( Variables_Set vars )

native void parma_polyhedra_library.Pointset_Powerset_Float_Box.upper_bound_assign ( Pointset_Powerset_Float_Box p )

native boolean parma_polyhedra_library.Pointset_Powerset_Float_Box.upper_bound_assign_if_exact ( Pointset_Powerset_Float_Box y )

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

Pointset_Powerset_Float_Box.java

Public Member Functions

Protected Member Functions

Private Member Functions

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation