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...

Inherits parma_polyhedra_library::PPL_Object.

List of all members.

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 (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_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 ()

Detailed Description

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


The documentation for this class was generated from the following file:
Generated on Sun Feb 27 16:11:50 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3