Uses of Interface
dev.civl.sarl.IF.expr.NumericSymbolicConstant

Packages that use NumericSymbolicConstant

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.

Uses of NumericSymbolicConstant in dev.civl.sarl.expr.IF

Methods in dev.civl.sarl.expr.IF that return NumericSymbolicConstant

Modifier and Type	Method	Description
NumericSymbolicConstant	NumericExpressionFactory.symbolicConstant(StringObject name, SymbolicType type)

Uses of NumericSymbolicConstant in dev.civl.sarl.IF

Fields in dev.civl.sarl.IF declared as NumericSymbolicConstant

Modifier and Type	Field	Description
NumericSymbolicConstant	CoreUniverse.ForallStructure.boundVariable	The integer bound variable used in the forall expression.

Methods in dev.civl.sarl.IF with parameters of type NumericSymbolicConstant

Modifier and Type	Method	Description
boolean	Reasoner.checkBigOClaim(BooleanExpression constraint, NumericExpression lhs, NumericSymbolicConstant[] limitVars, int[] orders)	Attempts to prove a uniform "Big-O" claim.
BooleanExpression	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).
BooleanExpression	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).