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

Packages that use CfgIntegerConstant

org.jmlspecs.jml4.esc.gc
org.jmlspecs.jml4.esc.gc.lang.expr
org.jmlspecs.jml4.esc.vc

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

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

CfgExpression	ZeroIncarnationVisitor.visit(CfgIntegerConstant intConst)
CfgExpression	CfgSubstitutionVisitor.visit(CfgIntegerConstant intConst)
CfgExpression	CfgExpressionVisitor.visit(CfgIntegerConstant intConst)

Uses of CfgIntegerConstant in org.jmlspecs.jml4.esc.gc.lang.expr

Fields in org.jmlspecs.jml4.esc.gc.lang.expr declared as CfgIntegerConstant

static CfgIntegerConstant

CfgIntegerConstant.ONE

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

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

VC	WlpVisitor.visit(CfgIntegerConstant intConst)