Uses of Interface
dev.civl.mc.model.IF.expression.ValueAtExpression

Packages that use ValueAtExpression

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Uses of ValueAtExpression in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return ValueAtExpression

Modifier and Type	Method	Description
ValueAtExpression	ModelFactory.valueAtExpression(CIVLSource source, Expression state, Expression pid, Expression expression)	creates a new $value_at expression.