Uses of Class
dev.civl.mc.semantics.IF.ArrayToolBox.ArraySlice

Packages that use ArrayToolBox.ArraySlice

Package	Description
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

Uses of ArrayToolBox.ArraySlice in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF that return ArrayToolBox.ArraySlice

Modifier and Type	Method	Description
ArrayToolBox.ArraySlice	ArrayToolBox.newArraySlice(dev.civl.sarl.IF.expr.SymbolicExpression array, dev.civl.sarl.IF.expr.NumericExpression[] startIndices, dev.civl.sarl.IF.expr.NumericExpression count, dev.civl.sarl.IF.type.SymbolicType baseType)	create an ArrayToolBox.ArraySlice.

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

Modifier and Type	Method	Description
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayToolBox.arraySliceWrite(ArrayToolBox.ArraySlice slice, dev.civl.sarl.IF.expr.SymbolicExpression targetArray, ArrayToolBox.ArrayShape targetShape, dev.civl.sarl.IF.expr.NumericExpression[] targetStartIndices)	Write an ArrayToolBox.ArraySlice s into the targetArray, starting from the given targetStartIndices
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayToolBox.extractArraySlice(ArrayToolBox.ArraySlice arraySlice)	Returns a SymbolicExpression representing the given ArrayToolBox.ArraySlice.