Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prover/Doc/G4ip.Context.html
changeset 96 907b1fff5637 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/Doc/G4ip.Context.html	Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,144 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
+<!--NewPage-->
+<html>
+<head>
+<!-- generated by pizzadoc on Thu Oct 30 13:46:17 GMT+00:00 1997 -->
+<title>
+public class G4ip.Context
+</title>
+</head>
+<body bgcolor=FFFFFF>
+<a name="_top_"></a>
+<code><font size=-1>
+[<a href="index.html">all packages</a>] 
+[<a href="G4ip.html">package G4ip</a>] 
+[<a href="tree-pd.html">class hierarchy</a>] 
+[<a href="names-pd.html">index</a>] 
+</font></code>
+<hr>
+<h1>public class G4ip.Context</h1>
+(source file: Contexts.pizza)<br>
+<pre>
+<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.Object.html">java.lang.Object</a>
+   |
+   +----<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.util.Vector.html">java.util.Vector</a>
+           |
+           +----G4ip.Context
+</pre>
+<hr>
+<pre>
+public class <a href="G4ip.Context.html">Context</a>
+  extends Vector
+</pre>
+<dl>
+  <dd> Contexts act as multiset.<p>
+ Typical contexts in logical rules are Gamma, Delta, etc.<p></dd>
+  <dd><dl><dt></dt>
+    <dt> <b>Author:</b></dt>
+      <dd> Christian Urban</dd>
+  </dl></dd>
+</dl>
+<hr>
+<p><h2><img src="p-images/constructor-index.gif" alt="Constuctor Index"></h2>
+<dl>
+  <dt><img src="p-images/yellow-ball-small.gif" alt="O ">  <b><a href="G4ip.Context.html#Context(Context)">Context</a></b>(Context)
+    <dd>
+  <dt><img src="p-images/yellow-ball-small.gif" alt="O ">  <b><a href="G4ip.Context.html#Context()">Context</a></b>()
+    <dd>
+</dl>
+<p><h2><img src="p-images/method-index.gif" alt="Methods"></h2>
+<dl>
+  <dt><img src="p-images/red-ball-small.gif" alt="O ">  <b><a href="G4ip.Context.html#add(Form, Form)">add</a></b>(Form, Form)
+    <dd>returns a contexts with two additional formulae at the beginning 
+  <dt><img src="p-images/red-ball-small.gif" alt="O ">  <b><a href="G4ip.Context.html#add(Form)">add</a></b>(Form)
+    <dd>returns  a context with one additional formula at the beginning 
+  <dt><img src="p-images/red-ball-small.gif" alt="O ">  <b><a href="G4ip.Context.html#includes(Form)">includes</a></b>(Form)
+    <dd>tests whether a context contains a specific atom 
+  <dt><img src="p-images/red-ball-small.gif" alt="O ">  <b><a href="G4ip.Context.html#makeString()">makeString</a></b>()
+    <dd>should be toString, but this is a "final" method in Vector 
+</dl>
+<p><h2><img src="p-images/constructors.gif" alt="Constructors"></h2>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="<init>"></a><a name="Context()"></a><b>Context</b><br>
+<pre>
+public Context();
+</pre>
+<p>
+<img src="p-images/yellow-ball.gif" alt="O "> <a name="<init>"></a><a name="Context(Context)"></a><b>Context</b><br>
+<pre>
+public Context(<a href="G4ip.Context.html">Context</a> init_context);
+</pre>
+<p>
+<p><h2><img src="p-images/methods.gif" alt="Methods"></h2>
+<img src="p-images/red-ball.gif" alt="O "> <a name="makeString"></a><a name="makeString()"></a><b>makeString</b><br>
+<pre>
+public <a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.String.html">String</a> makeString();
+</pre>
+<dl>
+  <dd> should be toString, but this is a "final" method in Vector <p></dd>
+  <dd><dl><dt></dt>
+    <dt> <b>Overrides:</b></dt>
+    <dd><dl>
+      <dt><b><a href="G4ip.Context.html#makeString()">makeString</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
+      </dl></dd>
+  </dl></dd>
+</dl>
+<p>
+<img src="p-images/red-ball.gif" alt="O "> <a name="add"></a><a name="add(Form)"></a><b>add</b><br>
+<pre>
+public <a href="G4ip.Context.html">Context</a> add(<a href="G4ip.Form.html">Form</a> new_formula);
+</pre>
+<dl>
+  <dd> returns  a context with one additional formula at the beginning <p></dd>
+  <dd><dl><dt></dt>
+    <dt> <b>Parameters:</b></dt>
+      <dd><b>new_formula</b> -    a formula</dd>
+    <dt> <b>Overrides:</b></dt>
+    <dd><dl>
+      <dt><b><a href="G4ip.Context.html#add(Form)">add</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
+      </dl></dd>
+  </dl></dd>
+</dl>
+<p>
+<img src="p-images/red-ball.gif" alt="O "> <a name="add"></a><a name="add(Form, Form)"></a><b>add</b><br>
+<pre>
+public <a href="G4ip.Context.html">Context</a> add(<a href="G4ip.Form.html">Form</a> new_formula1,
+                   <a href="G4ip.Form.html">Form</a> new_formula2);
+</pre>
+<dl>
+  <dd> returns a contexts with two additional formulae at the beginning <p></dd>
+  <dd><dl><dt></dt>
+    <dt> <b>Parameters:</b></dt>
+      <dd><b>new_formula1,new_formula2</b> -    two formulae</dd>
+    <dt> <b>Overrides:</b></dt>
+    <dd><dl>
+      <dt><b><a href="G4ip.Context.html#add(Form, Form)">add</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
+      </dl></dd>
+  </dl></dd>
+</dl>
+<p>
+<img src="p-images/red-ball.gif" alt="O "> <a name="includes"></a><a name="includes(Form)"></a><b>includes</b><br>
+<pre>
+public boolean includes(<a href="G4ip.Form.html">Form</a> a);
+</pre>
+<dl>
+  <dd> tests whether a context contains a specific atom <p></dd>
+  <dd><dl><dt></dt>
+    <dt> <b>Parameters:</b></dt>
+      <dd><b>a</b> - a formula</dd>
+    <dt> <b>Overrides:</b></dt>
+    <dd><dl>
+      <dt><b><a href="G4ip.Context.html#includes(Form)">includes</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
+      </dl></dd>
+  </dl></dd>
+</dl>
+<p>
+<hr>
+<code><font size=-1>
+[<a href="index.html">all packages</a>] 
+[<a href="G4ip.html">package G4ip</a>] 
+[<a href="tree-pd.html">class hierarchy</a>] 
+[<a href="names-pd.html">index</a>] 
+</font></code>
+<h6>G4ip.Context.html</h6>
+</body>
+</html>
public_html