Uses of Class
jml2b.formula.UnaryForm

Packages that use UnaryForm

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.languages.java

Uses of UnaryForm in jml2b.formula

Methods in jml2b.formula that return UnaryForm

static UnaryForm

Formula.not(Formula s1) Returns the negation of the parameter.

Constructors in jml2b.formula with parameters of type UnaryForm

UnaryForm(UnaryForm f)

Uses of UnaryForm in jml2b.languages.java

Subclasses of UnaryForm in jml2b.languages.java

class

JavaUnaryForm