<!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>