Uses of Interface
dev.civl.sarl.IF.expr.NumericExpression
Packages that use NumericExpression
Package
Description
This package provides the internal interface for the representation of basic
symbolic expressions.
The ideal module supports reasoning about numerical expressions using "ideal"
mathematical reals and integers.
This package and its subpackages provide the "public interface" to SARL.
The public interface package dealing with symbolic expressions.
The type package provides interfaces for all of the symbolic types.
Interfaces for the simplification of symbolic expressions.
Internal interface for the "type" module, providing a
SymbolicTypeFactory
for producing SymbolicType
s.-
Uses of NumericExpression in dev.civl.sarl.expr.IF
Methods in dev.civl.sarl.expr.IF that return NumericExpressionModifier and TypeMethodDescriptionNumericExpressionFactory.add(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of adding arg1 from arg0.NumericExpressionFactory.cast(NumericExpression numericExpression, SymbolicType newType) Returns a NumericExpression with the symbolic type passed in the second argumentNumericExpressionFactory.ceil(NumericExpression expr) NumericExpressionFactory.divide(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of dividing arg0 by arg1.NumericExpressionFactory.expand(NumericExpression expr) NumericExpressionFactory.expression(SymbolicExpression.SymbolicOperator operator, SymbolicType numericType, SymbolicObject... arguments) Returns an expression, given the operator, type, and array of argumentsNumericExpressionFactory.floor(NumericExpression expr) NumericExpressionFactory.max(List<NumericExpression> exprs) Returns a NumericExpression which is equivalent to the maximum of all NumericExpressions in exprs.NumericExpressionFactory.min(List<NumericExpression> exprs) Returns a NumericExpression which is equivalent to the minimum of all NumericExpressions in exprs.NumericExpressionFactory.minus(NumericExpression arg) Returns a symbolic expression which is the negative of the given numerical expression.NumericExpressionFactory.modulo(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which represents arg0 modulo arg1.NumericExpressionFactory.multiply(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of multiplying the two given symbolic exprssions.NumericExpressionFactory.number(int value) NumericExpressionFactory.number(NumberObject numberObject) NumericExpressionFactory.oneInt()Returns a symbolic expression of integer type with the value of 1NumericExpressionFactory.oneReal()Returns a symbolic expression of real type with the value of 1NumericExpressionFactory.power(NumericExpression base, NumericExpression exponent) General power operator: e^b.NumericExpressionFactory.power(NumericExpression base, NumberObject exponent) Concrete power operator: e^b, where b is aNumberObjectwith a concrete non-negative integer value.NumericExpressionFactory.roundToZero(NumericExpression expr) NumericExpressionFactory.subtract(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of subtracting arg1 and arg0.NumericExpressionFactory.zeroInt()Returns a symbolic expression of integer type with the value of 0NumericExpressionFactory.zeroReal()Returns a symbolic expression of real type with the value of 0Methods in dev.civl.sarl.expr.IF that return types with arguments of type NumericExpressionModifier and TypeMethodDescriptionNumericExpressionFactory.comparator()Returns a comparator on all numeric expressions that are controlled by this factoryMethods in dev.civl.sarl.expr.IF with parameters of type NumericExpressionModifier and TypeMethodDescriptionNumericExpressionFactory.add(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of adding arg1 from arg0.ExpressionFactory.arrayElementReference(ReferenceExpression arrayReference, NumericExpression index) Given a reference to an array and an index (integer), returns a reference to the element of the array at that indexNumericExpressionFactory.cast(NumericExpression numericExpression, SymbolicType newType) Returns a NumericExpression with the symbolic type passed in the second argumentNumericExpressionFactory.ceil(NumericExpression expr) NumericExpressionFactory.divide(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of dividing arg0 by arg1.NumericExpressionFactory.equals(NumericExpression arg0, NumericExpression arg1) Returns a BooleanExpression with the result of the equals operation on 2 NumericExpressionsNumericExpressionFactory.expand(NumericExpression expr) NumericExpressionFactory.extractNumber(NumericExpression expression) Attempts to interpret the given symbolic expression as a concrete number.NumericExpressionFactory.floor(NumericExpression expr) SymbolicRangeFactory.inRange(NumericExpression expr, SymbolicRange range) NumericExpressionFactory.lessThan(NumericExpression arg0, NumericExpression arg1) Returns a BooleanExpression with the result of the lessThan operation on 2 NumericExpressionsNumericExpressionFactory.lessThanEquals(NumericExpression arg0, NumericExpression arg1) Returns a BooleanExpression with the result of the lessThanEquals operation on 2 NumericExpressionsNumericExpressionFactory.minus(NumericExpression arg) Returns a symbolic expression which is the negative of the given numerical expression.NumericExpressionFactory.modulo(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which represents arg0 modulo arg1.NumericExpressionFactory.multiply(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of multiplying the two given symbolic exprssions.NumericExpressionFactory.neq(NumericExpression arg0, NumericExpression arg1) Returns a BooleanExpression with the result of the notEquals operation on 2 NumericExpressionsNumericExpressionFactory.notLessThan(NumericExpression arg0, NumericExpression arg1) Returns a BooleanExpression with the result of the notLessThan operation on 2 NumericExpressionsNumericExpressionFactory.notLessThanEquals(NumericExpression arg0, NumericExpression arg1) Returns a BooleanExpression with the result of the notLessThanEquals operation on 2 NumericExpressionsExpressionFactory.offsetReference(ReferenceExpression reference, NumericExpression offset) Given a ReferenceExpression and a NumericExpression offset, returns an offsetReference.NumericExpressionFactory.power(NumericExpression base, NumericExpression exponent) General power operator: e^b.NumericExpressionFactory.power(NumericExpression base, NumberObject exponent) Concrete power operator: e^b, where b is aNumberObjectwith a concrete non-negative integer value.NumericExpressionFactory.roundToZero(NumericExpression expr) NumericExpressionFactory.subtract(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of subtracting arg1 and arg0.SymbolicRangeFactory.symbolicRange(NumericExpression element) Generates a newSymbolicRangewhich only includes "element".SymbolicRangeFactory.symbolicRange(NumericExpression lower, NumericExpression upper) Generates a newSymbolicRangewhich ranges from "lower" (inclusive) to "upper" (exclusive).SymbolicRangeFactory.symbolicRange(NumericExpression lower, NumericExpression upper, NumericExpression step) Generates a newSymbolicRangewhich ranges from "lower" (inclusive) to "upper" (exclusive) taking "step" number of steps.ExpressionFactory.valueSetElimWidening(Reasoner reasoner, SymbolicType valueType, SymbolicExpression refArr, SymbolicExpression elimExpr, NumericExpression lower, NumericExpression upper) ExpressionFactory.vsArrayElementReference(ValueSetReference parent, NumericExpression index) Given a value set reference to a (set-of) array(s) and an index (integer), returns a reference to the (set-of) elements of the (set-of) array(s) at that indexExpressionFactory.vsArraySectionReference(ValueSetReference parent, NumericExpression lower, NumericExpression upper, NumericExpression step) Given a reference to a (set-of) array(s) and an inclusive lower index bound, an exclusive upper index bound and a step, returns a reference to the (set-of) section(s) of the array(s) with the given bounds.ExpressionFactory.vsOffsetReference(ValueSetReference parent, NumericExpression offset) Given a reference to a (set-of) value(s) and a integral offset, returns a reference to a (set-of) value(s), which is obtained by applying the (set-of) offset(s) to the given (set-of) value(s).Method parameters in dev.civl.sarl.expr.IF with type arguments of type NumericExpressionModifier and TypeMethodDescriptionNumericExpressionFactory.max(List<NumericExpression> exprs) Returns a NumericExpression which is equivalent to the maximum of all NumericExpressions in exprs.NumericExpressionFactory.min(List<NumericExpression> exprs) Returns a NumericExpression which is equivalent to the minimum of all NumericExpressions in exprs. -
Uses of NumericExpression in dev.civl.sarl.ideal.IF
Subinterfaces of NumericExpression in dev.civl.sarl.ideal.IFModifier and TypeInterfaceDescriptioninterfaceA constant, i.e., a concrete number.interfaceA Monic is a product of powers of primitive expressions x1i 1*...*xnin, where the x i are primitives and the ij are positive concrete ints.interfaceinterfaceA polynomial: an expression which is the sum of monomials.interfaceA numeric primitive expression, e.g., a symbolic constant of numeric type, an array read expression of numeric type, or a tuple read expression of numeric type.interfaceinterfaceARationalExpressionis the quotient of twoMonomials of real type.Methods in dev.civl.sarl.ideal.IF with parameters of type NumericExpressionModifier and TypeMethodDescriptionIdealFactory.add(NumericExpression arg0, NumericExpression arg1) IdealFactory.divide(NumericExpression arg0, NumericExpression arg1) IdealFactory.modulo(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which represents arg0 modulo arg1.IdealFactory.multiply(NumericExpression arg0, NumericExpression arg1) IdealFactory.power(NumericExpression arg0, NumericExpression arg1) IdealFactory.subtract(NumericExpression arg0, NumericExpression arg1) -
Uses of NumericExpression in dev.civl.sarl.IF
Fields in dev.civl.sarl.IF declared as NumericExpressionModifier and TypeFieldDescriptionSARLBoundException.indexThe offending indexCoreUniverse.ForallStructure.lowerBoundThe lower bound (inclusive) of the bound variable.SARLBoundException.lowerBoundThe lowest value that an index should take; can benull, representing "unknown"CoreUniverse.ForallStructure.upperBoundThe upper bound (inclusive) of the bound variable.SARLBoundException.upperBoundThe greatest value that an index should take; can benull, representing "unknown"Methods in dev.civl.sarl.IF that return NumericExpressionModifier and TypeMethodDescriptionCoreUniverse.add(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of adding the two given symbolic expressions.CoreUniverse.add(Iterable<? extends NumericExpression> args) Returns a symbolic expression representing the sum of the given argument sequence.CoreUniverse.bitand(NumericExpression left, NumericExpression right) Returns the result of bit-and operation for two given unsigned integers, those two unsigned integers are in the form ofNumericExpression.CoreUniverse.bitnot(NumericExpression expression) Returns the result of bit-not operation for the given unsigned integer, the given unsigned integer is in the form ofNumericExpression.CoreUniverse.bitor(NumericExpression left, NumericExpression right) Returns the result of bit-or operation for two given unsigned integers, those two unsigned integers are in the form ofNumericExpression.CoreUniverse.bitshiftLeft(NumericExpression left, NumericExpression right) Returns the result of bit-left-shift operation for the given unsigned integer, the given unsigned integer is in the form ofNumericExpression.CoreUniverse.bitshiftRight(NumericExpression left, NumericExpression right) Returns the result of bit-right-shift operation for the given unsigned integer, the given unsigned integer is in the form ofNumericExpression.CoreUniverse.bitvector2Integer(SymbolicExpression bitvector) Converts a bit vector to an integer.CoreUniverse.bitxor(NumericExpression left, NumericExpression right) Returns the result of bit-xor operation for two given unsigned integers, those two unsigned integers are in the form ofNumericExpression.CoreUniverse.cardinality(SymbolicExpression set) CoreUniverse.ceil(NumericExpression expr) Given an expression x of real type, returns an expression of integer type representing the least integer greater than or equal to x.CoreUniverse.divide(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of dividing arg0 by arg1.CoreUniverse.expand(NumericExpression expr) Attempts to expand an expression as a sum of simpler expressions.CoreUniverse.floor(NumericExpression expr) Given an expression x of real type, returns an expression of integer type representing the greatest integer less than or equal to x.CoreUniverse.getSummands(NumericExpression expr) Decomposes an expression as a sum of terms, returning those terms as an array.CoreUniverse.integer(int value) Returns the integer symbolic expression with the givenintvalue.CoreUniverse.integer(long value) Returns the numeric symbolic expression with the givenlongvalue.CoreUniverse.integer(BigInteger value) Returns the numeric symbolic expression with the givenBigIntegervalue.CoreUniverse.length(SymbolicExpression array) Returns the length of any symbolic expression of array type.CoreUniverse.mapSize(SymbolicExpression map) CoreUniverse.minus(NumericExpression arg) Returns a symbolic expression which is the negative of the given numerical expression.CoreUniverse.modulo(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which represents arg0 modulo arg1.CoreUniverse.multiply(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of multiplying the two given symbolic expressions.CoreUniverse.multiply(Iterable<? extends NumericExpression> args) Returns symbolic expression representing the product of the given sequence of expressions.Returns the concrete symbolic expression wrapping the given number.CoreUniverse.number(NumberObject numberObject) Returns the concrete symbolic expression wrapping the given number object.CoreUniverse.oneInt()The symbolic expression representing the integer 1.CoreUniverse.oneReal()Returns the symbolic expression representing the real number 1.CoreUniverse.power(NumericExpression base, int exponent) Equivalent topower(base, intObject(exponent)).CoreUniverse.power(NumericExpression base, NumericExpression exponent) General power operator: eb.CoreUniverse.power(NumericExpression base, IntegerNumber exponent) Concrete power operator: eb, where b is a concrete non-negativeIntegerNumber.CoreUniverse.rational(double value) Returns the symbolic expression of real type (SymbolicRealType) representing the givendoublevalue.CoreUniverse.rational(float value) Returns the symbolic expression of real type (SymbolicRealType) representing the givenfloatvalue.CoreUniverse.rational(int value) Returns the symbolic expression of real type (SymbolicRealType) representing the givenintvalue.CoreUniverse.rational(int numerator, int denominator) Returns the rational number obtained by dividing two integers,numeratoranddenominator.CoreUniverse.rational(long value) Returns the symbolic expression of real type (SymbolicRealType) representing the givenlongvalue.CoreUniverse.rational(long numerator, long denominator) Returns the rational number obtained by dividing two long integers.CoreUniverse.rational(BigInteger value) Returns the symbolic expression of real type (SymbolicRealType) representing the givenBigIntegervalue.CoreUniverse.rational(BigInteger numerator, BigInteger denominator) Returns the rational number obtained by dividing twoBigIntegers.CoreUniverse.roundToZero(NumericExpression expr) Given an expression x of real type, returns an expression of integer type representing the resulting of rounding x towards 0.CoreUniverse.sigma(NumericExpression low, NumericExpression high, SymbolicExpression function) A fold sum expression.CoreUniverse.subtract(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of subtracting arg1 from arg0.CoreUniverse.zeroInt()The symbolic expression representing the 0 integer value.CoreUniverse.zeroReal()Returns the symbolic expression representing the real number 0.Methods in dev.civl.sarl.IF with parameters of type NumericExpressionModifier and TypeMethodDescriptionCoreUniverse.add(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of adding the two given symbolic expressions.CoreUniverse.arrayElementReference(ReferenceExpression arrayReference, NumericExpression index) Given a reference to an array and anindex(integer), returns a reference to the element of the array at that index.CoreUniverse.arrayRead(SymbolicExpression array, NumericExpression index) Returns an expression representing the value of the element of the array at position index.CoreUniverse.arrayType(SymbolicType elementType, NumericExpression extent) Returns the complete array type with the given element type and extent (array length).CoreUniverse.arrayWrite(SymbolicExpression array, NumericExpression index, SymbolicExpression value) Returns an expression representing the result of modifying an array by changing the value at position index.CoreUniverse.bitand(NumericExpression left, NumericExpression right) Returns the result of bit-and operation for two given unsigned integers, those two unsigned integers are in the form ofNumericExpression.CoreUniverse.bitnot(NumericExpression expression) Returns the result of bit-not operation for the given unsigned integer, the given unsigned integer is in the form ofNumericExpression.CoreUniverse.bitor(NumericExpression left, NumericExpression right) Returns the result of bit-or operation for two given unsigned integers, those two unsigned integers are in the form ofNumericExpression.CoreUniverse.bitshiftLeft(NumericExpression left, NumericExpression right) Returns the result of bit-left-shift operation for the given unsigned integer, the given unsigned integer is in the form ofNumericExpression.CoreUniverse.bitshiftRight(NumericExpression left, NumericExpression right) Returns the result of bit-right-shift operation for the given unsigned integer, the given unsigned integer is in the form ofNumericExpression.CoreUniverse.bitxor(NumericExpression left, NumericExpression right) Returns the result of bit-xor operation for two given unsigned integers, those two unsigned integers are in the form ofNumericExpression.CoreUniverse.boundedIntegerType(NumericExpression min, NumericExpression max, boolean cyclic) Returns the bounded integer types with specified upper and lower bounds.CoreUniverse.ceil(NumericExpression expr) Given an expression x of real type, returns an expression of integer type representing the least integer greater than or equal to x.booleanReasoner.checkBigOClaim(BooleanExpression constraint, NumericExpression lhs, NumericSymbolicConstant[] limitVars, int[] orders) Attempts to prove a uniform "Big-O" claim.CoreUniverse.constantArray(SymbolicType elementType, NumericExpression length, SymbolicExpression value) Returns an array in which every element has the same value.CoreUniverse.divide(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of dividing arg0 by arg1.CoreUniverse.divides(NumericExpression a, NumericExpression b) Does the integer a divide the integer b evenly? I.e, does there exist an integer n such that b=a*n?CoreUniverse.existsInt(NumericSymbolicConstant index, NumericExpression low, NumericExpression high, BooleanExpression predicate) A special case of "exists" that is very common: exists integer i such that lowinvalid input: '<'=iinvalid input: '<'high and p(i).CoreUniverse.expand(NumericExpression expr) Attempts to expand an expression as a sum of simpler expressions.CoreUniverse.extractNumber(NumericExpression expression) Returns theNumbervalue if the given symbolic expression has a concrete numerical value, else returnsnull.Reasoner.extractNumber(NumericExpression expression) If the given expression can be reduced to a concrete numeric value using the context, returns that concrete value, else returns null.SymbolicUniverse.extractNumber(BooleanExpression assumption, NumericExpression expression) Attempts to extract a concrete numeric value from the given expression, using the assumption if necessary to simplify the expression.CoreUniverse.floor(NumericExpression expr) Given an expression x of real type, returns an expression of integer type representing the greatest integer less than or equal to x.CoreUniverse.forallInt(NumericSymbolicConstant index, NumericExpression low, NumericExpression high, BooleanExpression predicate) A special case of "forall" that is very common: forall integers i such that lowinvalid input: '<'=iinvalid input: '<'high, p(i).CoreUniverse.getSummands(NumericExpression expr) Decomposes an expression as a sum of terms, returning those terms as an array.CoreUniverse.integer2Bitvector(NumericExpression integer, SymbolicCompleteArrayType bitVectorType) Returns the conversion of a bit vector from an integer.Reasoner.intervalApproximation(NumericExpression expr) Returns an interval over-approximation of the given expression.CoreUniverse.lessThan(NumericExpression arg0, NumericExpression arg1) Returns expression equivalent to arg0 invalid input: '<' arg1.CoreUniverse.lessThanEquals(NumericExpression arg0, NumericExpression arg1) Returns expression equivalent to arg0 invalid input: '<'= arg1 ("less than or equal to").CoreUniverse.minus(NumericExpression arg) Returns a symbolic expression which is the negative of the given numerical expression.CoreUniverse.modulo(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which represents arg0 modulo arg1.CoreUniverse.multiply(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of multiplying the two given symbolic expressions.CoreUniverse.offsetReference(ReferenceExpression reference, NumericExpression offset) CoreUniverse.permut(SymbolicExpression array_a, SymbolicExpression array_b, NumericExpression low, NumericExpression high) A permutation predicate, which asserts the slice from lower indexlowto higher indexhighin arrayarray_ais a permutation of the slice from lower indexlowto higher indexhighin arrayarray_b.CoreUniverse.power(NumericExpression base, int exponent) Equivalent topower(base, intObject(exponent)).CoreUniverse.power(NumericExpression base, NumericExpression exponent) General power operator: eb.CoreUniverse.power(NumericExpression base, IntegerNumber exponent) Concrete power operator: eb, where b is a concrete non-negativeIntegerNumber.CoreUniverse.reduction(SymbolicExpression[] operands, NumericExpression count, SymbolicExpression op, List<BooleanExpression> compatibleConditionsOutput) a$reductionfunction that takes a list of operands, the number of elements per operand and an operator, returns the element-wise reduction result of the operator over the operands.CoreUniverse.roundToZero(NumericExpression expr) Given an expression x of real type, returns an expression of integer type representing the resulting of rounding x towards 0.CoreUniverse.sigma(NumericExpression low, NumericExpression high, SymbolicExpression function) A fold sum expression.CoreUniverse.subtract(NumericExpression arg0, NumericExpression arg1) Returns a symbolic expression which is the result of subtracting arg1 from arg0.CoreUniverse.vsArrayElementReference(ValueSetReference parent, NumericExpression index) Given a value set reference to a (set-of) array(s) and an index (integer), returns a reference to the (set-of) elements of the (set-of) array(s) at that indexCoreUniverse.vsArraySectionReference(ValueSetReference parent, NumericExpression lower, NumericExpression upper) Given a reference to a (set-of) array(s) and an inclusive lower index bound, an exclusive upper index bound and a DEFAULT step, which is one, of the range of the section, returns a reference to the (set-of) section(s) of the array(s) with the given bounds.CoreUniverse.vsArraySectionReference(ValueSetReference parent, NumericExpression lower, NumericExpression upper, NumericExpression step) Given a reference to a (set-of) array(s) and an inclusive lower index bound, an exclusive upper index bound and a step of the range of the section, returns a reference to the (set-of) section(s) of the array(s) with the given bounds.CoreUniverse.vsOffsetReference(ValueSetReference parent, NumericExpression offset) Given a reference to a (set-of) value(s) and a integral offset, returns a reference to a (set-of) value(s), which is obtained by applying the (set-of) offset(s) to the given (set-of) value(s).Method parameters in dev.civl.sarl.IF with type arguments of type NumericExpressionModifier and TypeMethodDescriptionCoreUniverse.add(Iterable<? extends NumericExpression> args) Returns a symbolic expression representing the sum of the given argument sequence.CoreUniverse.differentiable(SymbolicExpression function, IntObject degree, Iterable<? extends NumericExpression> lowerBounds, Iterable<? extends NumericExpression> upperBounds) Returns an expression of boolean type which encodes the claim that a function is differentiable on a closed interval in R^n.CoreUniverse.multiply(Iterable<? extends NumericExpression> args) Returns symbolic expression representing the product of the given sequence of expressions.Constructors in dev.civl.sarl.IF with parameters of type NumericExpressionModifierConstructorDescriptionSARLBoundException(SymbolicExpression expr, NumericExpression index, NumericExpression lowerBound, NumericExpression upperBound, String location) Constructs new out-of-bounds exception with a message formed from the given parameters. -
Uses of NumericExpression in dev.civl.sarl.IF.expr
Subinterfaces of NumericExpression in dev.civl.sarl.IF.exprModifier and TypeInterfaceDescriptioninterfaceASymbolicConstantwhich has integer or real type, i.e., type belonging toSymbolicIntegerTypeorSymbolicRealType.Methods in dev.civl.sarl.IF.expr that return NumericExpression -
Uses of NumericExpression in dev.civl.sarl.IF.expr.valueSetReference
Methods in dev.civl.sarl.IF.expr.valueSetReference that return NumericExpressionModifier and TypeMethodDescriptionVSArrayElementReference.getIndex()The index of the referenced elementVSOffsetReference.getOffset()Returns the offset.VSArraySectionReference.lowerBound()VSArraySectionReference.step()VSArraySectionReference.upperBound() -
Uses of NumericExpression in dev.civl.sarl.IF.type
Methods in dev.civl.sarl.IF.type that return NumericExpressionModifier and TypeMethodDescriptionSymbolicCompleteArrayType.extent()Returns the extent (length) of any array of this type. -
Uses of NumericExpression in dev.civl.sarl.simplify.IF
Methods in dev.civl.sarl.simplify.IF with parameters of type NumericExpressionModifier and TypeMethodDescriptionRange.symbolicRepresentation(NumericExpression x, PreUniverse universe) -
Uses of NumericExpression in dev.civl.sarl.type.IF
Methods in dev.civl.sarl.type.IF with parameters of type NumericExpressionModifier and TypeMethodDescriptionSymbolicTypeFactory.arrayType(SymbolicType elementType, NumericExpression extent) Creates a SymbolicCompleteArrayTypeSymbolicTypeFactory.boundedIntegerType(NumericExpression min, NumericExpression max, boolean cyclic)