Home
last modified time | relevance | path

Searched refs:Int_Interval (Results 1 – 2 of 2) sorted by relevance

/dports/devel/ppl/ppl-1.2/tests/Concrete_Expression/
H A Dlinearize.cc76 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 Ddigitalfilters1.cc76 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 …]