|
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 | |||||||||