|
96
|
1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
|
|
|
2 |
<!--NewPage-->
|
|
|
3 |
<html>
|
|
|
4 |
<head>
|
|
|
5 |
<!-- generated by pizzadoc on Thu Oct 30 13:46:17 GMT+00:00 1997 -->
|
|
|
6 |
<title>
|
|
|
7 |
public class G4ip.Context
|
|
|
8 |
</title>
|
|
|
9 |
</head>
|
|
|
10 |
<body bgcolor=FFFFFF>
|
|
|
11 |
<a name="_top_"></a>
|
|
|
12 |
<code><font size=-1>
|
|
|
13 |
[<a href="index.html">all packages</a>]
|
|
|
14 |
[<a href="G4ip.html">package G4ip</a>]
|
|
|
15 |
[<a href="tree-pd.html">class hierarchy</a>]
|
|
|
16 |
[<a href="names-pd.html">index</a>]
|
|
|
17 |
</font></code>
|
|
|
18 |
<hr>
|
|
|
19 |
<h1>public class G4ip.Context</h1>
|
|
|
20 |
(source file: Contexts.pizza)<br>
|
|
|
21 |
<pre>
|
|
|
22 |
<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.Object.html">java.lang.Object</a>
|
|
|
23 |
|
|
|
|
24 |
+----<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.util.Vector.html">java.util.Vector</a>
|
|
|
25 |
|
|
|
|
26 |
+----G4ip.Context
|
|
|
27 |
</pre>
|
|
|
28 |
<hr>
|
|
|
29 |
<pre>
|
|
|
30 |
public class <a href="G4ip.Context.html">Context</a>
|
|
|
31 |
extends Vector
|
|
|
32 |
</pre>
|
|
|
33 |
<dl>
|
|
|
34 |
<dd> Contexts act as multiset.<p>
|
|
|
35 |
Typical contexts in logical rules are Gamma, Delta, etc.<p></dd>
|
|
|
36 |
<dd><dl><dt></dt>
|
|
|
37 |
<dt> <b>Author:</b></dt>
|
|
|
38 |
<dd> Christian Urban</dd>
|
|
|
39 |
</dl></dd>
|
|
|
40 |
</dl>
|
|
|
41 |
<hr>
|
|
|
42 |
<p><h2><img src="p-images/constructor-index.gif" alt="Constuctor Index"></h2>
|
|
|
43 |
<dl>
|
|
|
44 |
<dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Context.html#Context(Context)">Context</a></b>(Context)
|
|
|
45 |
<dd>
|
|
|
46 |
<dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Context.html#Context()">Context</a></b>()
|
|
|
47 |
<dd>
|
|
|
48 |
</dl>
|
|
|
49 |
<p><h2><img src="p-images/method-index.gif" alt="Methods"></h2>
|
|
|
50 |
<dl>
|
|
|
51 |
<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)
|
|
|
52 |
<dd>returns a contexts with two additional formulae at the beginning
|
|
|
53 |
<dt><img src="p-images/red-ball-small.gif" alt="O "> <b><a href="G4ip.Context.html#add(Form)">add</a></b>(Form)
|
|
|
54 |
<dd>returns a context with one additional formula at the beginning
|
|
|
55 |
<dt><img src="p-images/red-ball-small.gif" alt="O "> <b><a href="G4ip.Context.html#includes(Form)">includes</a></b>(Form)
|
|
|
56 |
<dd>tests whether a context contains a specific atom
|
|
|
57 |
<dt><img src="p-images/red-ball-small.gif" alt="O "> <b><a href="G4ip.Context.html#makeString()">makeString</a></b>()
|
|
|
58 |
<dd>should be toString, but this is a "final" method in Vector
|
|
|
59 |
</dl>
|
|
|
60 |
<p><h2><img src="p-images/constructors.gif" alt="Constructors"></h2>
|
|
|
61 |
<img src="p-images/yellow-ball.gif" alt="O "> <a name="<init>"></a><a name="Context()"></a><b>Context</b><br>
|
|
|
62 |
<pre>
|
|
|
63 |
public Context();
|
|
|
64 |
</pre>
|
|
|
65 |
<p>
|
|
|
66 |
<img src="p-images/yellow-ball.gif" alt="O "> <a name="<init>"></a><a name="Context(Context)"></a><b>Context</b><br>
|
|
|
67 |
<pre>
|
|
|
68 |
public Context(<a href="G4ip.Context.html">Context</a> init_context);
|
|
|
69 |
</pre>
|
|
|
70 |
<p>
|
|
|
71 |
<p><h2><img src="p-images/methods.gif" alt="Methods"></h2>
|
|
|
72 |
<img src="p-images/red-ball.gif" alt="O "> <a name="makeString"></a><a name="makeString()"></a><b>makeString</b><br>
|
|
|
73 |
<pre>
|
|
|
74 |
public <a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.String.html">String</a> makeString();
|
|
|
75 |
</pre>
|
|
|
76 |
<dl>
|
|
|
77 |
<dd> should be toString, but this is a "final" method in Vector <p></dd>
|
|
|
78 |
<dd><dl><dt></dt>
|
|
|
79 |
<dt> <b>Overrides:</b></dt>
|
|
|
80 |
<dd><dl>
|
|
|
81 |
<dt><b><a href="G4ip.Context.html#makeString()">makeString</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
|
|
|
82 |
</dl></dd>
|
|
|
83 |
</dl></dd>
|
|
|
84 |
</dl>
|
|
|
85 |
<p>
|
|
|
86 |
<img src="p-images/red-ball.gif" alt="O "> <a name="add"></a><a name="add(Form)"></a><b>add</b><br>
|
|
|
87 |
<pre>
|
|
|
88 |
public <a href="G4ip.Context.html">Context</a> add(<a href="G4ip.Form.html">Form</a> new_formula);
|
|
|
89 |
</pre>
|
|
|
90 |
<dl>
|
|
|
91 |
<dd> returns a context with one additional formula at the beginning <p></dd>
|
|
|
92 |
<dd><dl><dt></dt>
|
|
|
93 |
<dt> <b>Parameters:</b></dt>
|
|
|
94 |
<dd><b>new_formula</b> - a formula</dd>
|
|
|
95 |
<dt> <b>Overrides:</b></dt>
|
|
|
96 |
<dd><dl>
|
|
|
97 |
<dt><b><a href="G4ip.Context.html#add(Form)">add</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
|
|
|
98 |
</dl></dd>
|
|
|
99 |
</dl></dd>
|
|
|
100 |
</dl>
|
|
|
101 |
<p>
|
|
|
102 |
<img src="p-images/red-ball.gif" alt="O "> <a name="add"></a><a name="add(Form, Form)"></a><b>add</b><br>
|
|
|
103 |
<pre>
|
|
|
104 |
public <a href="G4ip.Context.html">Context</a> add(<a href="G4ip.Form.html">Form</a> new_formula1,
|
|
|
105 |
<a href="G4ip.Form.html">Form</a> new_formula2);
|
|
|
106 |
</pre>
|
|
|
107 |
<dl>
|
|
|
108 |
<dd> returns a contexts with two additional formulae at the beginning <p></dd>
|
|
|
109 |
<dd><dl><dt></dt>
|
|
|
110 |
<dt> <b>Parameters:</b></dt>
|
|
|
111 |
<dd><b>new_formula1,new_formula2</b> - two formulae</dd>
|
|
|
112 |
<dt> <b>Overrides:</b></dt>
|
|
|
113 |
<dd><dl>
|
|
|
114 |
<dt><b><a href="G4ip.Context.html#add(Form, Form)">add</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
|
|
|
115 |
</dl></dd>
|
|
|
116 |
</dl></dd>
|
|
|
117 |
</dl>
|
|
|
118 |
<p>
|
|
|
119 |
<img src="p-images/red-ball.gif" alt="O "> <a name="includes"></a><a name="includes(Form)"></a><b>includes</b><br>
|
|
|
120 |
<pre>
|
|
|
121 |
public boolean includes(<a href="G4ip.Form.html">Form</a> a);
|
|
|
122 |
</pre>
|
|
|
123 |
<dl>
|
|
|
124 |
<dd> tests whether a context contains a specific atom <p></dd>
|
|
|
125 |
<dd><dl><dt></dt>
|
|
|
126 |
<dt> <b>Parameters:</b></dt>
|
|
|
127 |
<dd><b>a</b> - a formula</dd>
|
|
|
128 |
<dt> <b>Overrides:</b></dt>
|
|
|
129 |
<dd><dl>
|
|
|
130 |
<dt><b><a href="G4ip.Context.html#includes(Form)">includes</a></b> in class <a href="G4ip.Context.html">Context</a></dt>
|
|
|
131 |
</dl></dd>
|
|
|
132 |
</dl></dd>
|
|
|
133 |
</dl>
|
|
|
134 |
<p>
|
|
|
135 |
<hr>
|
|
|
136 |
<code><font size=-1>
|
|
|
137 |
[<a href="index.html">all packages</a>]
|
|
|
138 |
[<a href="G4ip.html">package G4ip</a>]
|
|
|
139 |
[<a href="tree-pd.html">class hierarchy</a>]
|
|
|
140 |
[<a href="names-pd.html">index</a>]
|
|
|
141 |
</font></code>
|
|
|
142 |
<h6>G4ip.Context.html</h6>
|
|
|
143 |
</body>
|
|
|
144 |
</html>
|