ic-reals-6.3/base/force_B.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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();
	}
}