Uses of Class
jml2b.formula.BinaryForm

Packages that use BinaryForm

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

Uses of BinaryForm in jml2b.formula

Methods in jml2b.formula that return BinaryForm

static BinaryForm	BinaryForm.getDefaultRefDecl() Returns the default type declaration for a reference
static BinaryForm	BinaryForm.getDefaultRefDecl(Formula x)
static BinaryForm	Formula.or(Formula s1, Formula s2) Returns the disjunctive formula between the two parameters.
static BinaryForm	Formula.and(Formula s1, Formula s2) Returns the conjunctive formula between the two parameters.
static BinaryForm	Formula.implies(Formula s1, Formula s2) Returns the implicative formula between the two parameters.

Constructors in jml2b.formula with parameters of type BinaryForm

BinaryForm(BinaryForm f)

Uses of BinaryForm in jml2b.languages.java

Subclasses of BinaryForm in jml2b.languages.java

class

JavaBinaryForm