Initial commit.

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();
+	}
+}