diff options
Diffstat (limited to 'ic-reals-6.3/base/force_B.c')
-rw-r--r-- | ic-reals-6.3/base/force_B.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/ic-reals-6.3/base/force_B.c b/ic-reals-6.3/base/force_B.c new file mode 100644 index 0000000..750d79a --- /dev/null +++ b/ic-reals-6.3/base/force_B.c @@ -0,0 +1,23 @@ +/* + * Copyright (C) 2000, Imperial College + * + * This file is part of the Imperial College Exact Real Arithmetic Library. + * See the copyright notice included in the distribution for conditions + * of use. + */ + +#include <stdio.h> +#include "real.h" +#include "real-impl.h" + +void +force_B(Bool b, int n) +{ + int i; + + for (i = 0; i < n; i++) { + if (boolValue(b) != LAZY_UNKNOWN) break; + PUSH_2 (b->gen.force, b); + runStack(); + } +} |