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

##

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

##

toString()

##

False

    public case False();

And

    public case And(Form c1,
                    Form c2);

Or

    public case Or(Form c1,
                   Form c2);

Imp

    public case Imp(Form c1,
                    Form c2);

Equ

    public case Equ(Form c1,
                    Form c2);

Atm

    public case Atm(String c);

##

toString

    public String toString();

`[all packages] [package G4ip] [class hierarchy] [index]`

###### G4ip.Form.html