Uses of Class
org.jmlspecs.jml4.esc.gc.lang.expr.CfgBinaryExpression

Packages that use CfgBinaryExpression

org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.esc.vc

Uses of CfgBinaryExpression in org.jmlspecs.jml4.esc.gc

Methods in org.jmlspecs.jml4.esc.gc with parameters of type CfgBinaryExpression

CfgExpression	ZeroIncarnationVisitor.visit(CfgBinaryExpression binExpr)
CfgExpression	CfgSubstitutionVisitor.visit(CfgBinaryExpression binExpr)
CfgExpression	CfgExpressionVisitor.visit(CfgBinaryExpression binExpr)

Uses of CfgBinaryExpression in org.jmlspecs.jml4.esc.vc

Methods in org.jmlspecs.jml4.esc.vc with parameters of type CfgBinaryExpression

VC	WlpVisitor.visit(CfgBinaryExpression binExpr)