[PPL-devel] Strange thing in Polyhedron.cc

[Roberto Bagnara]

Hi there,

this is the contents of lines 1411-1414 of Polyhedron.cc.

#if 0
  //#ifdef BE_LAZY
  // FIXME: this has to be checked carefully
  // for correctness and/or efficiency.

Can someone explain what is happening here?
Ciao,

       Roberto

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it