Re: [PPL-devel] [GIT] ppl/ppl(floating_point): Implemented a test on polyhedra abstract domain with linearization

+ Variable X(0); //input + Variable D(1); //input + Variable Y(2); //output + Variable S(3); //last output + Variable R(4); //actual rate

I commenti noi non li mettiamo così.

+ FP_Interval threshold(-144); + threshold.join_assign(144);

Questo cos'è?