Uses of Interface
dev.civl.sarl.IF.object.NumberObject

Packages that use NumberObject

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.ideal.IF	The ideal module supports reasoning about numerical expressions using "ideal" mathematical reals and integers.
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.

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

Methods in dev.civl.sarl.expr.IF with parameters of type NumberObject

Modifier and Type	Method	Description
NumericExpression	NumericExpressionFactory.number(NumberObject numberObject)
NumericExpression	NumericExpressionFactory.power(NumericExpression base, NumberObject exponent)	Concrete power operator: e^b, where b is a NumberObject with a concrete non-negative integer value.

Uses of NumberObject in dev.civl.sarl.ideal.IF

Methods in dev.civl.sarl.ideal.IF that return NumberObject

Modifier and Type	Method	Description
NumberObject	PrimitivePower.primitivePowerExponent(IdealFactory factory)	Returns the exponent in this primitive power expression, which is a positive integer represented as an NumberObject.
NumberObject	Constant.value()	Returns the NumberObject wrapped by this Constant.

Methods in dev.civl.sarl.ideal.IF with parameters of type NumberObject

Modifier and Type	Method	Description
Monomial[]	IdealFactory.powerTermMap(SymbolicType type, Monomial[] map, NumberObject exponent)	Raises a term map to the given power, returning the result as a term map.
PrimitivePower	IdealFactory.primitivePower(Primitive primitive, NumberObject exponent)	Returns an instance of PrimitivePower representing raising the given primitive the given exponent.

Uses of NumberObject in dev.civl.sarl.IF

Methods in dev.civl.sarl.IF that return NumberObject

Modifier and Type	Method	Description
NumberObject	CoreUniverse.numberObject(Number value)	Returns the NumberObject wrapping the given Number value.

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

Modifier and Type	Method	Description
NumericExpression	CoreUniverse.number(NumberObject numberObject)	Returns the concrete symbolic expression wrapping the given number object.

Uses of NumberObject in dev.civl.sarl.object.IF

Methods in dev.civl.sarl.object.IF that return NumberObject

Modifier and Type	Method	Description
NumberObject	ObjectFactory.numberObject(Number value)
NumberObject	ObjectFactory.oneIntegerObj()
NumberObject	ObjectFactory.oneRealObj()
NumberObject	ObjectFactory.zeroIntegerObj()
NumberObject	ObjectFactory.zeroRealObj()