|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
*
.
n
.
"a*(b+f(c)) + d"
inserting
brackets whenever necessary.
f/2
.P/2
.Types.TRUTH
instead.
BranchAndBound.BranchAndBound(Function,Real)
instead.
byte
.
double
value that is not less than the argument and
is equal for at least a precision value.
inference relation
.ClausalFactory.asClausalSet(orbital.logic.imp.Formula)
instead.
c
.
SignatureBase.get(String,Object[])
≠null instead.
Clause.CONTRADICTION
instead.
(Formula) createExpression(expression)
instead.
double
.
A ⇔ B
is calced (A→B) ∧ (B→A)
Operations
and Functionals
, instead.∃x A
is calced ¬∀x ¬A
.
float
.
double
value that is not greater than the argument and
is equal for at least a precision value.
∀x A
is calced ¬∃x ¬A
.
generalized iteratable
inserting delimiters between the individual elements.
double
value that is in range of [0,1[ and
is equal for all fractional digits.
"(a*(b+f(c))) + d"
.
f/1
which is kind of the most general Functor.double
value.
AlgebraicAlgorithms.gcd(Euclidean,Euclidean)
instead.
AlgebraicAlgorithms.gcd(Euclidean[])
instead.
ValueFactory.valueOf(double)
..
Functionals.compose
instead.
Values.getDefault()
.ValueFactory.getCoercer()
instead.
Throwable.getCause()
instead.
SwingUtilities.getAncestorOfClass(Frame.class, n)
instead.
SwingUtilities.getAncestorOfClass(Window.class, n)
instead.
a
specified by the part specification.
A → B
is calced ¬A ∨ B
objects
).
"a f b"
.
null
if the objects Comparable implementation should be used, instead.
InnerCheckedException.InnerCheckedException(String, Throwable)
instead.
int
.
true
if this iterator's collection of nodes currently does not contain any elements.
LUDecomposition.isInvertible()
instead.
Matrix.isInvertible()
instead.
AlgebraicAlgorithms.lcm(Euclidean,Euclidean)
instead.
notation of symbols
).long
.
ValueFactory.valueOf(double)
..
ValueFactory.valueOf(double)
..
generalized iteratable
is not."(a,b) f"
.
P/1
."f(a,b)"
.
LogicParser.Atom()
).
LogicParser.AtomicTerm()
).
ActionListener
objects.
double
value.
double
to the argument that is equal for at least a precision value.
GeneralSearch.search(Iterator)
.
GeneralBoundingSearch.setBound(Real)
instead.
Values.getDefault()
.ValueFactory.setCoercer(orbital.logic.functor.Function)
instead.
inference relation
.
BranchAndBound.setMaxBound(Real)
instead.
a
specified by the part specification.
short
.
DivideAndConquerProblem.basicSolve()
.
NumericalAlgorithms.splineInterpolation(int,Matrix,int,Real,Real)
, or NumericalAlgorithms.splineInterpolation(int,Matrix,int)
instead
since they have a more reasonable argument list.
Types.INDIVIDUAL
instead.
f/0
which is constant if consistent.P/0
which is constant if consistent.A xor B
is calced (A∧¬B) ∨ (¬A∧B)
0
.
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |