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

Packages that use ArrayToolBox.ArrayShape

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

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

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

Modifier and Type	Method	Description
ArrayToolBox.ArrayShape	ArrayToolBox.newArrayShape(dev.civl.sarl.IF.type.SymbolicArrayType arrayType)	create an ArrayToolBox.ArrayShape, the base type will be (default) non-array type
ArrayToolBox.ArrayShape	ArrayToolBox.newArrayShape(dev.civl.sarl.IF.type.SymbolicArrayType arrayType, dev.civl.sarl.IF.type.SymbolicType baseType)	create an ArrayToolBox.ArrayShape with a specified base type.
ArrayToolBox.ArrayShape	ArrayToolBox.subArrayShape(ArrayToolBox.ArrayShape arrayShape, int subArrayDimensions)
ArrayToolBox.ArrayShape	ArrayToolBox.switchBaseType(ArrayToolBox.ArrayShape arrayShape, int baseTypeDimensions)	Given an array shape s, returns an new array shape s'.

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

Modifier and Type	Method	Description
dev.civl.sarl.IF.expr.BooleanExpression	ArrayToolBox.areArrayShapesPhysicallyEquivalent(ArrayToolBox.ArrayShape s0, ArrayToolBox.ArrayShape s1)	Test if two array shapes s0 and s1 are physically equivalent.
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayReshaper.arrayFlatten(dev.civl.sarl.IF.expr.SymbolicExpression array, ArrayToolBox.ArrayShape shape)	Reshape a multiple dimensional array of type t to a one dimensional array of type t.
dev.civl.sarl.IF.expr.NumericExpression[]	ArrayReshaper.arrayIndiceProjecting(dev.civl.sarl.IF.expr.NumericExpression[] fromArrayIndices, ArrayToolBox.ArrayShape fromArrayShape, ArrayToolBox.ArrayShape toArrayShape)	Projecting indices I of an array a0 to another array a1, i.e.
dev.civl.sarl.IF.expr.NumericExpression[]	ArrayToolBox.arrayIndiceProjecting(dev.civl.sarl.IF.expr.NumericExpression[] fromArrayIndices, ArrayToolBox.ArrayShape fromArrayShape, ArrayToolBox.ArrayShape toArrayShape)	Projecting indices I of an array a0 to another array a1, i.e.
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayReshaper.arrayReshape(dev.civl.sarl.IF.expr.SymbolicExpression array, ArrayToolBox.ArrayShape originShape, ArrayToolBox.ArrayShape targetShape)	Reshape an array a to the given target shape t.
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayToolBox.arrayReshape(dev.civl.sarl.IF.expr.SymbolicExpression array, ArrayToolBox.ArrayShape targethape)	Reshape an array a to the given target shape t.
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayCutter.arraySlice(dev.civl.sarl.IF.expr.SymbolicExpression array, ArrayToolBox.ArrayShape shape, dev.civl.sarl.IF.expr.NumericExpression[] indices, int count)	Same as invalid reference #arraySliceRead(SymbolicExpression, NumericExpression[], NumericExpression) but the "count" is known as having a concrete value.
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayCutter.arraySlice(dev.civl.sarl.IF.expr.SymbolicExpression array, ArrayToolBox.ArrayShape shape, dev.civl.sarl.IF.expr.NumericExpression[] indices, dev.civl.sarl.IF.expr.NumericExpression count)	Return an array slice value which is an one-dimensional array of elements of type t, where t is the base type of the given array shape ( baseType).
dev.civl.sarl.IF.expr.SymbolicExpression	ArrayCutter.arraySliceWrite(dev.civl.sarl.IF.expr.SymbolicExpression sliceArray, ArrayToolBox.ArrayShape sliceArrayShape, dev.civl.sarl.IF.expr.NumericExpression[] sliceIndices, dev.civl.sarl.IF.expr.NumericExpression count, dev.civl.sarl.IF.expr.SymbolicExpression targetArray, ArrayToolBox.ArrayShape targetShape, dev.civl.sarl.IF.expr.NumericExpression[] targetStartIndices)	Writes an array slice s, which is represents by the three given arguments : sliceArray, sliceIndices, count, into the targetArray, starting from the given targetStartIndices
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.NumericExpression[]	ArrayReshaper.sliceIndiceProjecting(dev.civl.sarl.IF.expr.NumericExpression[] fromSliceArrayIndices, ArrayToolBox.ArrayShape fromSliceArrayShape, dev.civl.sarl.IF.expr.NumericExpression[] fromSliceStartIndices, ArrayToolBox.ArrayShape toSliceArrayShape, dev.civl.sarl.IF.expr.NumericExpression[] toSliceStartIndices)	Projecting the indices of an array slice s0 to another array slice s1.
dev.civl.sarl.IF.expr.NumericExpression[]	ArrayToolBox.sliceIndiceProjecting(dev.civl.sarl.IF.expr.NumericExpression[] fromSliceArrayIndices, ArrayToolBox.ArrayShape fromSliceArrayShape, dev.civl.sarl.IF.expr.NumericExpression[] fromSliceStartIndices, ArrayToolBox.ArrayShape toSliceArrayShape, dev.civl.sarl.IF.expr.NumericExpression[] toSliceStartIndices)	Projecting the indices of an array slice s0 to another array slice s1.
ArrayToolBox.ArrayShape	ArrayToolBox.subArrayShape(ArrayToolBox.ArrayShape arrayShape, int subArrayDimensions)
ArrayToolBox.ArrayShape	ArrayToolBox.switchBaseType(ArrayToolBox.ArrayShape arrayShape, int baseTypeDimensions)	Given an array shape s, returns an new array shape s'.