diff -r 345dd18f020e -r 907b1fff5637 Prover/Doc/G4ip.Form.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Prover/Doc/G4ip.Form.html Thu Mar 15 10:07:28 2012 +0000 @@ -0,0 +1,108 @@ + + + + + + +public class G4ip.Form + + + + + +[all packages] +[package G4ip] +[class hierarchy] +[index] + +
+

public class G4ip.Form

+(source file: Formulae.pizza)
+
+java.lang.Object
+   |
+   +----G4ip.Form
+
+
+
+public class Form
+
+
+
Class for propositional formulae.

+
+
Author:
+
Christian Urban
+
+
+
+

Constuctor Index

+
+
O And(Form, Form) +
+
O Atm(String) +
+
O Equ(Form, Form) +
+
O False() +
+
O Imp(Form, Form) +
+
O Or(Form, Form) +
+
+

Methods

+
+
O toString() +
+
+

Constructors

+O False
+
+public case False();
+
+

+O And
+

+public case And(Form c1,
+                Form c2);
+
+

+O Or
+

+public case Or(Form c1,
+               Form c2);
+
+

+O Imp
+

+public case Imp(Form c1,
+                Form c2);
+
+

+O Equ
+

+public case Equ(Form c1,
+                Form c2);
+
+

+O Atm
+

+public case Atm(String c);
+
+

+

Methods

+O toString
+
+public String toString();
+
+

+

+ +[all packages] +[package G4ip] +[class hierarchy] +[index] + +
G4ip.Form.html
+ +