PPL Configured Java Language Interface  1.2
Public Member Functions | Protected Member Functions | Private Member Functions | List of all members
parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron Class Reference

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

Inheritance diagram for parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron:
Inheritance graph
[legend]
Collaboration diagram for parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron:
Collaboration graph
[legend]

Public Member Functions

 Pointset_Powerset_NNC_Polyhedron (long num_dimensions, Degenerate_Element kind)
 
 Pointset_Powerset_NNC_Polyhedron (Pointset_Powerset_NNC_Polyhedron y)
 
 Pointset_Powerset_NNC_Polyhedron (NNC_Polyhedron y)
 
 Pointset_Powerset_NNC_Polyhedron (Pointset_Powerset_NNC_Polyhedron y, Complexity_Class complexity)
 
 Pointset_Powerset_NNC_Polyhedron (NNC_Polyhedron y, Complexity_Class complexity)
 
 Pointset_Powerset_NNC_Polyhedron (Constraint_System cs)
 
 Pointset_Powerset_NNC_Polyhedron (Congruence_System cs)
 
native void swap (Pointset_Powerset_NNC_Polyhedron 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_NNC_Polyhedron y)
 
native boolean strictly_contains (Pointset_Powerset_NNC_Polyhedron y)
 
native boolean is_disjoint_from (Pointset_Powerset_NNC_Polyhedron y)
 
native boolean geometrically_covers (Pointset_Powerset_NNC_Polyhedron y)
 
native boolean geometrically_equals (Pointset_Powerset_NNC_Polyhedron y)
 
native boolean equals (Pointset_Powerset_NNC_Polyhedron 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_NNC_Polyhedron p)
 
native void upper_bound_assign (Pointset_Powerset_NNC_Polyhedron p)
 
native void difference_assign (Pointset_Powerset_NNC_Polyhedron p)
 
native void concatenate_assign (Pointset_Powerset_NNC_Polyhedron p)
 
native void time_elapse_assign (Pointset_Powerset_NNC_Polyhedron p)
 
native boolean upper_bound_assign_if_exact (Pointset_Powerset_NNC_Polyhedron y)
 
native boolean simplify_using_context_assign (Pointset_Powerset_NNC_Polyhedron 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_NNC_Polyhedron_Iterator begin_iterator ()
 
native Pointset_Powerset_NNC_Polyhedron_Iterator end_iterator ()
 
native void add_disjunct (NNC_Polyhedron j_disj)
 
native void drop_disjunct (Pointset_Powerset_NNC_Polyhedron_Iterator itr)
 
native void drop_disjuncts (Pointset_Powerset_NNC_Polyhedron_Iterator itr1, Pointset_Powerset_NNC_Polyhedron_Iterator itr2)
 
native void BHZ03_BHRZ03_BHRZ03_widening_assign (Pointset_Powerset_NNC_Polyhedron y)
 
native void BHZ03_H79_H79_widening_assign (Pointset_Powerset_NNC_Polyhedron y)
 
native void BGP99_BHRZ03_extrapolation_assign (Pointset_Powerset_NNC_Polyhedron y, Integer d)
 
native void BGP99_H79_extrapolation_assign (Pointset_Powerset_NNC_Polyhedron 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_NNC_Polyhedron ()
 
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_NNC_Polyhedron y)
 
native void build_cpp_object (Pointset_Powerset_NNC_Polyhedron y, Complexity_Class complexity)
 
native void build_cpp_object (NNC_Polyhedron y)
 
native void build_cpp_object (NNC_Polyhedron y, Complexity_Class complexity)
 

Detailed Description

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

Definition at line 30 of file Pointset_Powerset_NNC_Polyhedron.java.

Constructor & Destructor Documentation

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( long  num_dimensions,
Degenerate_Element  kind 
)
inline

Definition at line 37 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( )
inlineprivate

Definition at line 42 of file Pointset_Powerset_NNC_Polyhedron.java.

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( Pointset_Powerset_NNC_Polyhedron  y)
inline

Definition at line 49 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( NNC_Polyhedron  y)
inline

Definition at line 53 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( Pointset_Powerset_NNC_Polyhedron  y,
Complexity_Class  complexity 
)
inline

Definition at line 62 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( NNC_Polyhedron  y,
Complexity_Class  complexity 
)
inline

Definition at line 66 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( Constraint_System  cs)
inline

Definition at line 75 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron ( Congruence_System  cs)
inline

Definition at line 79 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object().

Member Function Documentation

native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_congruence ( Congruence  c)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_congruences ( Congruence_System  c)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_constraint ( Constraint  c)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_constraints ( Constraint_System  c)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_disjunct ( NNC_Polyhedron  j_disj)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_space_dimensions_and_embed ( long  m)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.add_space_dimensions_and_project ( long  m)
native long parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.affine_dimension ( )
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.affine_image ( Variable  var,
Linear_Expression  expr,
Coefficient  denominator 
)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.affine_preimage ( Variable  var,
Linear_Expression  expr,
Coefficient  denominator 
)
native String parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.ascii_dump ( )
native Pointset_Powerset_NNC_Polyhedron_Iterator parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.begin_iterator ( )
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.BGP99_BHRZ03_extrapolation_assign ( Pointset_Powerset_NNC_Polyhedron  y,
Integer  d 
)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.BGP99_H79_extrapolation_assign ( Pointset_Powerset_NNC_Polyhedron  y,
Integer  d 
)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.BHZ03_BHRZ03_BHRZ03_widening_assign ( Pointset_Powerset_NNC_Polyhedron  y)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.BHZ03_H79_H79_widening_assign ( Pointset_Powerset_NNC_Polyhedron  y)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.bounded_affine_image ( Variable  var,
Linear_Expression  lb_expr,
Linear_Expression  ub_expr,
Coefficient  denominator 
)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.bounded_affine_preimage ( Variable  var,
Linear_Expression  lb_expr,
Linear_Expression  ub_expr,
Coefficient  denominator 
)
native boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.bounds_from_above ( Linear_Expression  expr)
native boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.bounds_from_below ( Linear_Expression  expr)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( Constraint_System  cs)
private

Referenced by parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.Pointset_Powerset_NNC_Polyhedron().

native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( Congruence_System  cs)
private
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( long  num_dimensions,
Degenerate_Element  kind 
)
private
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( Pointset_Powerset_NNC_Polyhedron  y)
private
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( Pointset_Powerset_NNC_Polyhedron  y,
Complexity_Class  complexity 
)
private
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( NNC_Polyhedron  y)
private
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.build_cpp_object ( NNC_Polyhedron  y,
Complexity_Class  complexity 
)
private
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.concatenate_assign ( Pointset_Powerset_NNC_Polyhedron  p)
native boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.constrains ( Variable  var)
native boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.contains ( Pointset_Powerset_NNC_Polyhedron  y)
native boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.contains_integer_point ( )
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.difference_assign ( Pointset_Powerset_NNC_Polyhedron  p)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.drop_disjunct ( Pointset_Powerset_NNC_Polyhedron_Iterator  itr)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.drop_disjuncts ( Pointset_Powerset_NNC_Polyhedron_Iterator  itr1,
Pointset_Powerset_NNC_Polyhedron_Iterator  itr2 
)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.drop_some_non_integer_points ( Complexity_Class  complexity)
native void parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.drop_some_non_integer_points ( Variables_Set  vars,
Complexity_Class  complexity 
)
native Pointset_Powerset_NNC_Polyhedron_Iterator parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.end_iterator ( )
native boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.equals ( Pointset_Powerset_NNC_Polyhedron  p)

Referenced by parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.equals().

boolean parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.equals ( Object  y)
inline

Definition at line 187 of file Pointset_Powerset_NNC_Polyhedron.java.

References parma_polyhedra_library.Pointset_Powerset_NNC_Polyhedron.equals().

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