Module dev.civl.sarl
Package dev.civl.sarl.IF.expr.valueSetReference

Interface VSArraySectionReference

All Superinterfaces:
NTValueSetReference, SymbolicExpression, SymbolicObject, ValueSetReference
public interface VSArraySectionReference extends NTValueSetReference
A reference to a (set-of) section(s) of a (set-of) array(s). This reference includes a parent reference to a (set-of) array value(s), a lower index bound of the section, a upper index bound of the section and a step of the range of the section.

  • Method Details

    • lowerBound

      NumericExpression lowerBound()
      Returns:
      the inclusive lower index bound of the array section

    • upperBound

      NumericExpression upperBound()
      Returns:
      the exclusive upper index bound of the array section

    • step

      NumericExpression step()
      Returns:
      the step of the range of the array section, by default, it is one.