parma_polyhedra_library::Pointset_Powerset_Uint16_Box Class Reference

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

Inheritance diagram for parma_polyhedra_library::Pointset_Powerset_Uint16_Box:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library::Pointset_Powerset_Uint16_Box:
Collaboration graph
[legend]

List of all members.

Public Member Functions

 Pointset_Powerset_Uint16_Box (long num_dimensions, Degenerate_Element kind)
 Pointset_Powerset_Uint16_Box (Pointset_Powerset_Uint16_Box y)
 Pointset_Powerset_Uint16_Box (Uint16_Box y)
 Pointset_Powerset_Uint16_Box (Pointset_Powerset_Uint16_Box y, Complexity_Class complexity)
 Pointset_Powerset_Uint16_Box (Uint16_Box y, Complexity_Class complexity)
 Pointset_Powerset_Uint16_Box (Constraint_System cs)
 Pointset_Powerset_Uint16_Box (Congruence_System cs)
native void swap (Pointset_Powerset_Uint16_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_Uint16_Box y)
native boolean strictly_contains (Pointset_Powerset_Uint16_Box y)
native boolean is_disjoint_from (Pointset_Powerset_Uint16_Box y)
native boolean geometrically_covers (Pointset_Powerset_Uint16_Box y)
native boolean geometrically_equals (Pointset_Powerset_Uint16_Box y)
native boolean equals (Pointset_Powerset_Uint16_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_Uint16_Box p)
native void upper_bound_assign (Pointset_Powerset_Uint16_Box p)
native void difference_assign (Pointset_Powerset_Uint16_Box p)
native void concatenate_assign (Pointset_Powerset_Uint16_Box p)
native void time_elapse_assign (Pointset_Powerset_Uint16_Box p)
native boolean upper_bound_assign_if_exact (Pointset_Powerset_Uint16_Box y)
native boolean simplify_using_context_assign (Pointset_Powerset_Uint16_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_Uint16_Box_Iterator 
begin_iterator ()
native
Pointset_Powerset_Uint16_Box_Iterator 
end_iterator ()
native void add_disjunct (Uint16_Box j_disj)
native void drop_disjunct (Pointset_Powerset_Uint16_Box_Iterator itr)
native void drop_disjuncts (Pointset_Powerset_Uint16_Box_Iterator itr1, Pointset_Powerset_Uint16_Box_Iterator itr2)
native void free ()
native int hashCode ()
native String toString ()

Protected Member Functions

native void finalize ()

Private Member Functions

 Pointset_Powerset_Uint16_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_Uint16_Box y)
native void build_cpp_object (Pointset_Powerset_Uint16_Box y, Complexity_Class complexity)
native void build_cpp_object (Uint16_Box y)
native void build_cpp_object (Uint16_Box y, Complexity_Class complexity)

Detailed Description

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

Definition at line 33 of file Pointset_Powerset_Uint16_Box.java.


Constructor & Destructor Documentation

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( long  num_dimensions,
Degenerate_Element  kind 
) [inline]

Definition at line 40 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box (  )  [inline, private]

Definition at line 45 of file Pointset_Powerset_Uint16_Box.java.

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( Pointset_Powerset_Uint16_Box  y  )  [inline]

Definition at line 52 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( Uint16_Box  y  )  [inline]

Definition at line 56 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( Pointset_Powerset_Uint16_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 65 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( Uint16_Box  y,
Complexity_Class  complexity 
) [inline]

Definition at line 69 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( Constraint_System  cs  )  [inline]

Definition at line 78 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().

parma_polyhedra_library::Pointset_Powerset_Uint16_Box::Pointset_Powerset_Uint16_Box ( Congruence_System  cs  )  [inline]

Definition at line 82 of file Pointset_Powerset_Uint16_Box.java.

References build_cpp_object().


Member Function Documentation

native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_congruence ( Congruence  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_congruences ( Congruence_System  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_constraint ( Constraint  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_constraints ( Constraint_System  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_disjunct ( Uint16_Box  j_disj  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_space_dimensions_and_embed ( long  m  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::add_space_dimensions_and_project ( long  m  ) 
native long parma_polyhedra_library::Pointset_Powerset_Uint16_Box::affine_dimension (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::affine_image ( Variable  var,
Linear_Expression  expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::affine_preimage ( Variable  var,
Linear_Expression  expr,
Coefficient  denominator 
)
native String parma_polyhedra_library::Pointset_Powerset_Uint16_Box::ascii_dump (  ) 
native Pointset_Powerset_Uint16_Box_Iterator parma_polyhedra_library::Pointset_Powerset_Uint16_Box::begin_iterator (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::bounded_affine_image ( Variable  var,
Linear_Expression  lb_expr,
Linear_Expression  ub_expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::bounded_affine_preimage ( Variable  var,
Linear_Expression  lb_expr,
Linear_Expression  ub_expr,
Coefficient  denominator 
)
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::bounds_from_above ( Linear_Expression  expr  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::bounds_from_below ( Linear_Expression  expr  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( Uint16_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( Uint16_Box  y  )  [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( Pointset_Powerset_Uint16_Box  y,
Complexity_Class  complexity 
) [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( Pointset_Powerset_Uint16_Box  y  )  [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( long  num_dimensions,
Degenerate_Element  kind 
) [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( Congruence_System  cs  )  [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::build_cpp_object ( Constraint_System  cs  )  [private]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::concatenate_assign ( Pointset_Powerset_Uint16_Box  p  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::constrains ( Variable  var  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::contains ( Pointset_Powerset_Uint16_Box  y  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::contains_integer_point (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::difference_assign ( Pointset_Powerset_Uint16_Box  p  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::drop_disjunct ( Pointset_Powerset_Uint16_Box_Iterator  itr  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::drop_disjuncts ( Pointset_Powerset_Uint16_Box_Iterator  itr1,
Pointset_Powerset_Uint16_Box_Iterator  itr2 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::drop_some_non_integer_points ( Integer  complexity_threshold  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::drop_some_non_integer_points_2 ( Variables_Set  vars,
Integer  complexity_threshold 
)
native Pointset_Powerset_Uint16_Box_Iterator parma_polyhedra_library::Pointset_Powerset_Uint16_Box::end_iterator (  ) 
boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::equals ( Object  y  )  [inline]

Definition at line 190 of file Pointset_Powerset_Uint16_Box.java.

References equals().

native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::equals ( Pointset_Powerset_Uint16_Box  p  ) 

Referenced by equals().

native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::expand_space_dimension ( Variable  var,
long  m 
)
native long parma_polyhedra_library::Pointset_Powerset_Uint16_Box::external_memory_in_bytes (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::finalize (  )  [protected]
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::fold_space_dimensions ( Variables_Set  vars,
Variable  dest 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::free (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::generalized_affine_image ( Linear_Expression  lhs,
Relation_Symbol  relsym,
Linear_Expression  rhs 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::generalized_affine_image ( Variable  var,
Relation_Symbol  relsym,
Linear_Expression  expr,
Coefficient  denominator 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::generalized_affine_preimage ( Linear_Expression  lhs,
Relation_Symbol  relsym,
Linear_Expression  rhs 
)
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::generalized_affine_preimage ( Variable  var,
Relation_Symbol  relsym,
Linear_Expression  expr,
Coefficient  denominator 
)
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::geometrically_covers ( Pointset_Powerset_Uint16_Box  y  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::geometrically_equals ( Pointset_Powerset_Uint16_Box  y  ) 
native int parma_polyhedra_library::Pointset_Powerset_Uint16_Box::hashCode (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::intersection_assign ( Pointset_Powerset_Uint16_Box  p  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::is_bounded (  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::is_discrete (  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::is_disjoint_from ( Pointset_Powerset_Uint16_Box  y  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::is_empty (  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::is_topologically_closed (  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::is_universe (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::map_space_dimensions ( Partial_Function  pfunc  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::maximize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum,
Generator  point 
)
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::maximize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum 
)
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::minimize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum,
Generator  point 
)
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::minimize ( Linear_Expression  expr,
Coefficient  sup_n,
Coefficient  sup_d,
By_Reference< Boolean >  maximum 
)
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::OK (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::omega_reduce (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::pairwise_reduce (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::refine_with_congruence ( Congruence  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::refine_with_congruences ( Congruence_System  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::refine_with_constraint ( Constraint  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::refine_with_constraints ( Constraint_System  c  ) 
native Poly_Con_Relation parma_polyhedra_library::Pointset_Powerset_Uint16_Box::relation_with ( Congruence  c  ) 
native Poly_Gen_Relation parma_polyhedra_library::Pointset_Powerset_Uint16_Box::relation_with ( Generator  c  ) 
native Poly_Con_Relation parma_polyhedra_library::Pointset_Powerset_Uint16_Box::relation_with ( Constraint  c  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::remove_higher_space_dimensions ( long  new_dimension  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::remove_space_dimensions ( Variables_Set  vars  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::simplify_using_context_assign ( Pointset_Powerset_Uint16_Box  p  ) 
native long parma_polyhedra_library::Pointset_Powerset_Uint16_Box::size (  ) 
native long parma_polyhedra_library::Pointset_Powerset_Uint16_Box::space_dimension (  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::strictly_contains ( Pointset_Powerset_Uint16_Box  y  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::swap ( Pointset_Powerset_Uint16_Box  y  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::time_elapse_assign ( Pointset_Powerset_Uint16_Box  p  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::topological_closure_assign (  ) 
native String parma_polyhedra_library::Pointset_Powerset_Uint16_Box::toString (  ) 
native long parma_polyhedra_library::Pointset_Powerset_Uint16_Box::total_memory_in_bytes (  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::unconstrain_space_dimension ( Variable  var  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::unconstrain_space_dimensions ( Variables_Set  vars  ) 
native void parma_polyhedra_library::Pointset_Powerset_Uint16_Box::upper_bound_assign ( Pointset_Powerset_Uint16_Box  p  ) 
native boolean parma_polyhedra_library::Pointset_Powerset_Uint16_Box::upper_bound_assign_if_exact ( Pointset_Powerset_Uint16_Box  y  ) 

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