Uses of Class
jml2b.formula.ElementsForm

Packages that use ElementsForm

jml2b.formula	Provides the classes necessary to create and manage formulas.
jml2b.pog.substitution	Provides the classes necessary to create and manage substitutions.

Uses of ElementsForm in jml2b.formula

Fields in jml2b.formula declared as ElementsForm

static ElementsForm	ElementsForm.intelements The formula intelements_n.
static ElementsForm	ElementsForm.shortelements The formula shortelements_n.
static ElementsForm	ElementsForm.byteelements The formula byteelements_n.
static ElementsForm	ElementsForm.booleanelements The formula booleanelements_n.
static ElementsForm	ElementsForm.charelements The formula charelements_n.
static ElementsForm	ElementsForm.refelements The formula refelements_n.
static ElementsForm[]	ElementsForm.elements Array of all xxxelements_n formulas.

Methods in jml2b.formula that return ElementsForm

static ElementsForm

ElementsForm.getElementsName(Type t) Returns the xxxelements_n formula corresponding to a type.

Constructors in jml2b.formula with parameters of type ElementsForm

ElementsForm(ElementsForm e)

Uses of ElementsForm in jml2b.pog.substitution

Constructors in jml2b.pog.substitution with parameters of type ElementsForm

SubArrayElementSingle(ElementsForm e, Formula a, Formula i, Formula v)
Constructs a substitution