A B C D E F G H I J K L M N O P Q R S T U V W Z

O

OBVIOUS_PROVER - Static variable in class jack.plugin.JackPlugin

OTHER - Static variable in class jack.plugin.edit.JavaLineStyler

obviousPoProperty - Static variable in class jml2b.Jml2b

old() - Method in class jml2b.structure.statement.ArrayInitializer

old() - Method in class jml2b.structure.statement.BinaryExp

old() - Method in class jml2b.structure.statement.Expression

Converts old pragma in called old pragma.

old() - Method in class jml2b.structure.statement.IsSubtypeOfExp

old() - Method in class jml2b.structure.statement.MethodCallExp

old() - Method in class jml2b.structure.statement.QuantifiedExp

old() - Method in class jml2b.structure.statement.QuestionExp

old() - Method in class jml2b.structure.statement.TTypeExp

old() - Method in class jml2b.structure.statement.TerminalExp

old() - Method in class jml2b.structure.statement.UnaryExp

old() - Method in class jml2b.structure.statement.WithTypeExp

oldParam(Vector) - Method in class jml2b.formula.Formula

Encapsulates given parameters into an old pragma.

oldParam(Vector) - Method in class jml2b.pog.lemma.ExsuresLemma

oldParam(Vector) - Method in class jml2b.pog.lemma.Goal

oldParam(Vector) - Method in interface jml2b.pog.lemma.ILemma

Adds a old param around the element of the enumeration corresponding to the parameter of the method.

oldParam(Vector) - Method in class jml2b.pog.lemma.SimpleLemma

oldParam(Vector) - Method in class jml2b.pog.lemma.Theorem

Adds a old param around the element of the enumeration corresponding to the parameter of the method.

or(Formula, Formula) - Static method in class jml2b.formula.Formula

Returns the disjunctive formula between the two parameters.