Uses of Interface
dev.civl.sarl.IF.number.NumberFactory

Packages that use NumberFactory

Package	Description
dev.civl.sarl.expr.IF	This package provides the internal interface for the representation of basic symbolic expressions.
dev.civl.sarl.herbrand.IF	This package provides the internal interface supporting Herbrand arithmetic, i.e., arithmetic in which all operations are treated as uninterpreted operations.
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.number.IF	A utility package supporting infinite precision integer and rational numbers, and a variety of arithmetic operations on them.
dev.civl.sarl.object.IF	Internal interface for the symbolic object module, providing mechanisms for creating SymbolicObjects.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.

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

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

Modifier and Type	Method	Description
NumberFactory	NumericExpressionFactory.numberFactory()	Returns the number factory used by this numeric factory.

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

Modifier and Type	Method	Description
static ExpressionFactory	Expressions.newHerbrandExpressionFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)	Produces a new expression factory in which the underlying NumericExpressionFactory is based on "Herbrand arithmetic", i.e., arithmetic in which the numeric operations are treated as uninterpreted functions.
static ExpressionFactory	Expressions.newIdealExpressionFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)	Produces a new expression factory in which the underlying NumericExpressionFactory uses "ideal" (mathematical) integer and real arithmetic, i.e., infinite precision, unbounded arithmetic.
static ExpressionFactory	Expressions.newStandardExpressionFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory)	Produces a new expression factory that uses both Herbrand and Ideal arithmetic.

Uses of NumberFactory in dev.civl.sarl.herbrand.IF

Methods in dev.civl.sarl.herbrand.IF with parameters of type NumberFactory

Modifier and Type	Method	Description
static NumericExpressionFactory	Herbrand.newHerbrandFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)

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

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

Modifier and Type	Method	Description
IntegerNumber	Monomial.maxDegreeOf(NumberFactory factory, Primitive primitive)	Computes the maximum degree to which primitive occurs in this Monomial.
IntegerNumber	Monomial.monomialDegree(NumberFactory factory)	Returns the degree of the monic where each factor is considered to have degree 1.
static IdealFactory	Ideal.newIdealFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)	Creates a new ideal factory based on the given factories.
IntegerNumber	Polynomial.polynomialDegree(NumberFactory factory)	The "polynomial degree" is the maximum monomial degree of the terms comprising this polynomial.
IntegerNumber	Monomial.totalDegree(NumberFactory factory)	The degree of this monomial if it were fully expanded to a polynomial in which the variables cannot be expressed as the sum, product, difference, or quotient of expressions.

Uses of NumberFactory in dev.civl.sarl.IF

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

Modifier and Type	Method	Description
NumberFactory	CoreUniverse.numberFactory()	Returns the number factory used by this universe.

Uses of NumberFactory in dev.civl.sarl.number.IF

Fields in dev.civl.sarl.number.IF declared as NumberFactory

Modifier and Type	Field	Description
static final NumberFactory	Numbers.REAL_FACTORY	The only number factory you will ever need.

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

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

Modifier and Type	Method	Description
NumberFactory	ObjectFactory.numberFactory()

Methods in dev.civl.sarl.object.IF with parameters of type NumberFactory

Modifier and Type	Method	Description
static ObjectFactory	Objects.newObjectFactory(NumberFactory numberFactory)

Uses of NumberFactory in dev.civl.sarl.preuniverse.IF

Methods in dev.civl.sarl.preuniverse.IF that return NumberFactory

Modifier and Type	Method	Description
NumberFactory	FactorySystem.numberFactory()