Re: [PPL-devel] ppl/src LP_Problem.defs.hh