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

Packages that use BinaryExpression

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.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

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

Modifier and Type	Method	Description
BinaryExpression	ModelFactory.binaryExpression(CIVLSource source, BinaryExpression.BINARY_OPERATOR operator, Expression left, Expression right)	A binary expression.

Uses of BinaryExpression in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF with parameters of type BinaryExpression

Modifier and Type	Method	Description
Evaluation	Evaluator.evaluatePointerAdd(State state, int pid, BinaryExpression expression, dev.civl.sarl.IF.expr.SymbolicExpression pointer, dev.civl.sarl.IF.expr.SymbolicExpression offset)	Evaluates pointer addition.
Evaluation	Evaluator.pointerSubtraction(State state, int pid, String process, BinaryExpression expression, dev.civl.sarl.IF.expr.SymbolicExpression leftPtr, dev.civl.sarl.IF.expr.SymbolicExpression rightPtr)	Evaluation pointer subtraction.