Searched refs:Int_Interval (Results 1 – 2 of 2) sorted by relevance
/dports/devel/ppl/ppl-1.2/tests/Concrete_Expression/ |
H A D | linearize.cc | 76 typedef Integer_Interval Int_Interval; typedef 100 Approximable_Reference<C_Expr> var0(FP_Type, Int_Interval(mpz_class(0)), 0); in test02() 101 Approximable_Reference<C_Expr> var1(FP_Type, Int_Interval(mpz_class(0)), 1); in test02() 126 Approximable_Reference<C_Expr> var(FP_Type, Int_Interval(mpz_class(0)), 0); in test03() 144 Approximable_Reference<C_Expr> var0(FP_Type, Int_Interval(mpz_class(0)), 0); in test04() 145 Approximable_Reference<C_Expr> var1(FP_Type, Int_Interval(mpz_class(0)), 1); in test04() 176 Approximable_Reference<C_Expr> var0(FP_Type, Int_Interval(mpz_class(0)), 0); in test05() 177 Approximable_Reference<C_Expr> var1(FP_Type, Int_Interval(mpz_class(0)), 1); in test05() 263 Int_Interval i(mpz_class(123456789)); in test08() 270 Int_Interval approx(mpz_class(123456700)); in test08() [all …]
|
H A D | digitalfilters1.cc | 76 typedef Integer_Interval Int_Interval; typedef 552 Approximable_Reference<C_Expr> var_y(FP_Type, Int_Interval(mpz_class(0)), in test05() 565 Approximable_Reference<C_Expr> px(FP_Type, Int_Interval(mpz_class(0)), in test05() 567 Approximable_Reference<C_Expr> ps(FP_Type, Int_Interval(mpz_class(0)), in test05() 601 Approximable_Reference<C_Expr> pd(FP_Type, Int_Interval(mpz_class(0)), in test05() 774 Approximable_Reference<C_Expr> px(FP_Type, Int_Interval(mpz_class(0)), in test06() 776 Approximable_Reference<C_Expr> ps(FP_Type, Int_Interval(mpz_class(0)), in test06() 810 Approximable_Reference<C_Expr> pd(FP_Type, Int_Interval(mpz_class(0)), in test06() 983 Approximable_Reference<C_Expr> px(FP_Type, Int_Interval(mpz_class(0)), in test07() 985 Approximable_Reference<C_Expr> ps(FP_Type, Int_Interval(mpz_class(0)), in test07() [all …]
|