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

[Roberto Bagnara]

+  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'è?

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