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