|
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:19 GMT+00:00 1997 -->
|
|
|
6 |
<title>
|
|
|
7 |
package G4ip
|
|
|
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="tree-pd.html">class hierarchy</a>]
|
|
|
15 |
[<a href="names-pd.html">index</a>]
|
|
|
16 |
</font></code>
|
|
|
17 |
<hr>
|
|
|
18 |
<h1>package G4ip</h1>
|
|
|
19 |
<!--pd-start-I-->
|
|
|
20 |
|
|
|
21 |
<!--pd-start-C-->
|
|
|
22 |
<h2><img src="p-images/class-index.gif" alt="Class Index"></h2>
|
|
|
23 |
<ul>
|
|
|
24 |
<!--pd-C-G4ip.Context--><li> <b>public class <a href="G4ip.Context.html">Context</a></b><br><font size=-1>Contexts act as multiset.</font>
|
|
|
25 |
<!--pd-C-G4ip.Form--><li> <b>public class <a href="G4ip.Form.html">Form</a></b><br><font size=-1>Class for propositional formulae.</font>
|
|
|
26 |
<!--pd-C-G4ip.Parser--><li> <b>public class <a href="G4ip.Parser.html">Parser</a></b><br><font size=-1>A left-to-right, rightmost-derivation parser.</font>
|
|
|
27 |
<!--pd-C-G4ip.ProofDisplay--><li> <b>public class <a href="G4ip.ProofDisplay.html">ProofDisplay</a></b><br><font size=-1>Draws a frame on the screen containing a proof.</font>
|
|
|
28 |
<!--pd-C-G4ip.Prover--><li> <b>public class <a href="G4ip.Prover.html">Prover</a></b><br><font size=-1>The Gi4p prover.</font>
|
|
|
29 |
<!--pd-C-G4ip.ProverApplet--><li> <b>public class <a href="G4ip.ProverApplet.html">ProverApplet</a></b><br><font size=-1>The applet for the prover.</font>
|
|
|
30 |
<!--pd-C-G4ip.Sequent--><li> <b>public class <a href="G4ip.Sequent.html">Sequent</a></b><br><font size=-1>An intuitionistic sequent of the form
|
|
|
31 |
"Gamma => G".</font>
|
|
|
32 |
<!--pd-C-G4ip.Token--><li> <b>public class <a href="G4ip.Token.html">Token</a></b><br><font size=-1></font>
|
|
|
33 |
<!--pd-end-C-->
|
|
|
34 |
</ul>
|
|
|
35 |
<!--pd-start-EX-->
|
|
|
36 |
|
|
|
37 |
<!--pd-start-ER-->
|
|
|
38 |
|
|
|
39 |
<hr>
|
|
|
40 |
<code><font size=-1>
|
|
|
41 |
[<a href="index.html">all packages</a>]
|
|
|
42 |
[<a href="tree-pd.html">class hierarchy</a>]
|
|
|
43 |
[<a href="names-pd.html">index</a>]
|
|
|
44 |
</font></code>
|
|
|
45 |
<h6>G4ip.html</h6>
|
|
|
46 |
</body>
|
|
|
47 |
</html>
|