[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