Uses of Class
jml2b.structure.statement.BinaryExp

Packages that use BinaryExp

jml2b.structure.statement

Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of BinaryExp in jml2b.structure.statement

Methods in jml2b.structure.statement that return BinaryExp

static BinaryExp

Expression.and(Expression s1, Expression s2) Returns the conjonction of two expressions.