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

Packages that use CfgBooleanConstant

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

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

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

CfgExpression	ZeroIncarnationVisitor.visit(CfgBooleanConstant bool)
CfgExpression	CfgSubstitutionVisitor.visit(CfgBooleanConstant bool)
CfgExpression	CfgExpressionVisitor.visit(CfgBooleanConstant bool)

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

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

static CfgBooleanConstant	CfgBooleanConstant.FALSE
static CfgBooleanConstant	CfgBooleanConstant.TRUE

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

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

VC	WlpVisitor.visit(CfgBooleanConstant bool)