|
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:18 GMT+00:00 1997 --> |
|
6 <title> |
|
7 public class G4ip.Form |
|
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.Form</h1> |
|
20 (source file: Formulae.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 +----G4ip.Form |
|
25 </pre> |
|
26 <hr> |
|
27 <pre> |
|
28 public class <a href="G4ip.Form.html">Form</a> |
|
29 </pre> |
|
30 <dl> |
|
31 <dd> Class for propositional formulae.<p><p></dd> |
|
32 <dd><dl><dt></dt> |
|
33 <dt> <b>Author:</b></dt> |
|
34 <dd> Christian Urban</dd> |
|
35 </dl></dd> |
|
36 </dl> |
|
37 <hr> |
|
38 <p><h2><img src="p-images/constructor-index.gif" alt="Constuctor Index"></h2> |
|
39 <dl> |
|
40 <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#And(Form, Form)">And</a></b>(Form, Form) |
|
41 <dd> |
|
42 <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Atm(String)">Atm</a></b>(String) |
|
43 <dd> |
|
44 <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Equ(Form, Form)">Equ</a></b>(Form, Form) |
|
45 <dd> |
|
46 <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#False()">False</a></b>() |
|
47 <dd> |
|
48 <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Imp(Form, Form)">Imp</a></b>(Form, Form) |
|
49 <dd> |
|
50 <dt><img src="p-images/yellow-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#Or(Form, Form)">Or</a></b>(Form, Form) |
|
51 <dd> |
|
52 </dl> |
|
53 <p><h2><img src="p-images/method-index.gif" alt="Methods"></h2> |
|
54 <dl> |
|
55 <dt><img src="p-images/red-ball-small.gif" alt="O "> <b><a href="G4ip.Form.html#toString()">toString</a></b>() |
|
56 <dd> |
|
57 </dl> |
|
58 <p><h2><img src="p-images/constructors.gif" alt="Constructors"></h2> |
|
59 <img src="p-images/yellow-ball.gif" alt="O "> <a name="False"></a><a name="False()"></a><b>False</b><br> |
|
60 <pre> |
|
61 public case False(); |
|
62 </pre> |
|
63 <p> |
|
64 <img src="p-images/yellow-ball.gif" alt="O "> <a name="And"></a><a name="And(Form, Form)"></a><b>And</b><br> |
|
65 <pre> |
|
66 public case And(<a href="G4ip.Form.html">Form</a> c1, |
|
67 <a href="G4ip.Form.html">Form</a> c2); |
|
68 </pre> |
|
69 <p> |
|
70 <img src="p-images/yellow-ball.gif" alt="O "> <a name="Or"></a><a name="Or(Form, Form)"></a><b>Or</b><br> |
|
71 <pre> |
|
72 public case Or(<a href="G4ip.Form.html">Form</a> c1, |
|
73 <a href="G4ip.Form.html">Form</a> c2); |
|
74 </pre> |
|
75 <p> |
|
76 <img src="p-images/yellow-ball.gif" alt="O "> <a name="Imp"></a><a name="Imp(Form, Form)"></a><b>Imp</b><br> |
|
77 <pre> |
|
78 public case Imp(<a href="G4ip.Form.html">Form</a> c1, |
|
79 <a href="G4ip.Form.html">Form</a> c2); |
|
80 </pre> |
|
81 <p> |
|
82 <img src="p-images/yellow-ball.gif" alt="O "> <a name="Equ"></a><a name="Equ(Form, Form)"></a><b>Equ</b><br> |
|
83 <pre> |
|
84 public case Equ(<a href="G4ip.Form.html">Form</a> c1, |
|
85 <a href="G4ip.Form.html">Form</a> c2); |
|
86 </pre> |
|
87 <p> |
|
88 <img src="p-images/yellow-ball.gif" alt="O "> <a name="Atm"></a><a name="Atm(String)"></a><b>Atm</b><br> |
|
89 <pre> |
|
90 public case Atm(<a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.String.html">String</a> c); |
|
91 </pre> |
|
92 <p> |
|
93 <p><h2><img src="p-images/methods.gif" alt="Methods"></h2> |
|
94 <img src="p-images/red-ball.gif" alt="O "> <a name="toString"></a><a name="toString()"></a><b>toString</b><br> |
|
95 <pre> |
|
96 public <a href="http://java.sun.com:80/products/jdk/1.1/docs/api/java.lang.String.html">String</a> toString(); |
|
97 </pre> |
|
98 <p> |
|
99 <hr> |
|
100 <code><font size=-1> |
|
101 [<a href="index.html">all packages</a>] |
|
102 [<a href="G4ip.html">package G4ip</a>] |
|
103 [<a href="tree-pd.html">class hierarchy</a>] |
|
104 [<a href="names-pd.html">index</a>] |
|
105 </font></code> |
|
106 <h6>G4ip.Form.html</h6> |
|
107 </body> |
|
108 </html> |