1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
<html>
<head><title>RESET-KILL-RING.html -- ACL2 Version 3.1</title></head>
<body text=#000000 bgcolor="#FFFFFF">
<h2>RESET-KILL-RING</h2>save memory by resetting and perhaps resizing the kill ring used by <code><a href="OOPS.html">oops</a></code>
<pre>Major Section: <a href="HISTORY.html">HISTORY</a>
</pre><p>
By default, ACL2 holds on to old logical <a href="WORLD.html">world</a>s when you undo
<a href="COMMAND.html">command</a>s (see <a href="UBT.html">ubt</a>), as documented elswhere; see <a href="OOPS.html">oops</a>. You can free up
memory by deleting those old worlds using <code>reset-kill-ring</code>.
<pre>
Examples:
(reset-kill-ring t state) ; replace each element of the kill ring by nil
(reset-kill-ring 2 state) ; create a new kill ring of '(nil nil)
(reset-kill-ring 0 state) ; create a new kill ring that is empty
(reset-kill-ring nil state) ; just return the length of the kill ring<p>
General form:
(reset-kill-ring n state)
</pre>
where <code>n</code> evaluates either to <code>t</code>, to <code>nil</code>, or to a nonnegative
integer (a <code><a href="NATP.html">natp</a></code>). If <code>n</code> evaluates to <code>t</code>, it is treated as the
length of the current kill ring. If <code>n</code> is <code>nil</code>, then the length <code>k</code>
of the current kill ring is returned as a value triple <code>(mv nil k state)</code>.
If <code>n</code> is a <code><a href="NATP.html">natp</a></code>, then the kill ring is replaced with a list of <code>n</code>
<code>nil</code>s.<p>
In particular, use <code>(reset-kill-ring 0 state)</code> to avoid saving any old
logical <a href="WORLD.html">world</a>s, at the cost of disabling the effect of the <code><a href="OOPS.html">oops</a></code>
<a href="COMMAND.html">command</a>.
<p>
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>
</body>
</html>
|
