Orbital library
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

A - Variable in class orbital.util.Pair
 
ABORT - Static variable in class orbital.moon.awt.SystemRequestor
 
about() - Method in class orbital.moon.evolutionary.BreederControl
 
AboutDialog - Class in orbital.moon.awt
This class is an AboutDialog showing a nice informational dialog.
AboutDialog() - Constructor for class orbital.moon.awt.AboutDialog
 
abs(Vector) - Static method in class orbital.math.Evaluations
Deprecated. Returns the vector with the absolutes of all elements in this Vector.
abs(double[]) - Static method in class orbital.math.Evaluations
Deprecated.  
ABSURD() - Method in interface orbital.logic.sign.type.TypeSystem
The absurd type = .
accept(Object, Object) - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
The predicate asked whether to accept a transition.
actionPerformed(ActionEvent) - Method in class orbital.moon.awt.Closer
when notified, request a close.
actions(Object) - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
 
actions(Object) - Method in interface orbital.algorithm.template.GeneralSearchProblem
Get the applicable actions at a state.
actions(Object) - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
Only returns actions leading to open nodes, and only if s is not closed itself.
actions(Object) - Method in interface orbital.algorithm.template.TransitionModel
Get the applicable actions at a state.
Activation - Class in orbital.util
Activation is the base class for conditional exception handling.
Activation(Activation) - Constructor for class orbital.util.Activation
Creates a new activation.
add(Object) - Method in class orbital.algorithm.evolutionary.Genome
Add one gene.
add(int, Object) - Method in class orbital.algorithm.evolutionary.Genome
Insert one gene.
add(Object) - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Adds at an arbitrary position since fitness evaluation is done later.
add(Object) - Method in class orbital.algorithm.evolutionary.Population
Append a genome without replacing which will increase the size.
add(Iterator) - Method in class orbital.algorithm.template.BestFirstSearch.OptionIterator
merge old and new lists.
add(Iterator) - Method in class orbital.algorithm.template.BreadthFirstSearch.OptionIterator
 
add(Iterator) - Method in class orbital.algorithm.template.DepthFirstSearch.OptionIterator
 
add(Iterator) - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
Concatenate the new nodes and the old nodes.
add(Iterator) - Method in class orbital.algorithm.template.IterativeBroadening.OptionIterator
 
add(Object, Map) - Method in class orbital.awt.ChartModel
Add a new graph to be displayed.
add(Object) - Method in class orbital.awt.ChartModel
Add a new graph to be displayed without attributes.
add(Object) - Method in class orbital.logic.sign.SignatureBase
 
add(Arithmetic) - Method in interface orbital.math.Arithmetic
Adds an arithmetic object to this returning the result.
add(Complex) - Method in interface orbital.math.Complex
adds two Complexes returning a third as a result
add(Fraction) - Method in interface orbital.math.Fraction
Adds two fractions returning a third as a result.
add(Integer) - Method in interface orbital.math.Integer
 
add(Matrix) - Method in interface orbital.math.Matrix
Adds two matrices returning a matrix.
add(Polynomial) - Method in interface orbital.math.Polynomial
 
add(Quotient) - Method in interface orbital.math.Quotient
 
add(Rational) - Method in interface orbital.math.Rational
adds two rationals returning a third as a result
add(Real) - Method in interface orbital.math.Real
 
add(Tensor) - Method in interface orbital.math.Tensor
Adds two tensors returning a tensor.
add(UnivariatePolynomial) - Method in interface orbital.math.UnivariatePolynomial
 
add(Vector) - Method in interface orbital.math.Vector
Adds two vectors returning a vector.
add(Clause) - Method in class orbital.moon.logic.resolution.ClausalIndex
Add clause C to our index.
add(Object) - Method in class orbital.moon.logic.resolution.IndexedClausalSetImpl
 
add(Object) - Method in class orbital.moon.logic.resolution.IndexedClauseImpl
 
add(Object) - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
add(Object) - Method in class orbital.util.DelegateCollection
Ensures that this collection contains the specified element (optional operation).
add(int, Object) - Method in class orbital.util.DelegateList
 
add(Object) - Method in class orbital.util.DelegateListIterator
 
add(Object) - Method in class orbital.util.QueuedSequenceIterator
Append an iterator to this queued sequence iterator.
add(int, Object) - Method in class orbital.util.QueuedSequenceIterator
Insert an iterator at the specified position into this queued sequence iterator.
add_escapes(String) - Method in exception orbital.moon.logic.ParseException
Used to convert raw characters to their escaped version when these raw version cannot be used as part of an ASCII string literal.
addActionListener(ActionListener) - Method in class orbital.moon.awt.Closer
Adds the specified action listener to receive action events from this object.
addAll(Collection) - Method in class orbital.util.DelegateCollection
Adds all of the elements in the specified collection to this collection (optional operation).
addAll(int, Collection) - Method in class orbital.util.DelegateList
 
addAll(Iterator) - Method in class orbital.util.QueuedIterator
Add all objects of an iterator to this queued iterator.
addEscapes(String) - Static method in error orbital.moon.logic.TokenMgrError
Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
addFocusListener(FocusListener) - Method in class orbital.awt.NumberInput
 
addLookAndFeelMenuItems(Component, JMenu) - Static method in class orbital.awt.UIUtilities
Adds pluggable look-and-feel menu items to a menu.
addPropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.ChartModel
 
addPropertyChangeListener(String, PropertyChangeListener) - Method in class orbital.awt.ChartModel
 
addPropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.ImageCanvas
 
addPropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.NumberInput
 
addPropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.Plot2D
 
addPropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.Plot2DCustomizer
 
addPropertyChangeListener(PropertyChangeListener) - Method in class orbital.moon.awt.DefaultCustomizer
 
adjustBeginLineColumn(int, int) - Method in class orbital.moon.logic.SimpleCharStream
Method to adjust line and column numbers for the start of a token.
AlgebraicAlgorithms - Class in orbital.math
Algebraic algorithms and computer algebra.
AlgorithmicConfiguration - Interface in orbital.algorithm.template
Algorithmic configurations provide the glue between a problem and an algorithm used for solving it.
AlgorithmicProblem - Interface in orbital.algorithm.template
AlgorithmicProblem interface used for tagging hook class interfaces for algorithmic templates.
AlgorithmicTemplate - Interface in orbital.algorithm.template
Base interface for algorithmic template frameworks.
AlgorithmicTemplate.Configuration - Class in orbital.algorithm.template
Default implementation of algorithmic configuration objects.
AlgorithmicTemplate.Configuration(AlgorithmicProblem, Class) - Constructor for class orbital.algorithm.template.AlgorithmicTemplate.Configuration
Create a new configuration.
AlgorithmicTemplate.Configuration(AlgorithmicProblem, Class, Class) - Constructor for class orbital.algorithm.template.AlgorithmicTemplate.Configuration
Create a new configuration limited to certain classes of algorithms.
all - Static variable in class orbital.util.Filters
Select *.
all(Collection, Predicate) - Static method in class orbital.util.Setops
Checks whether all objects in a collection satisfy the specified predicate.
all(Iterator, Predicate) - Static method in class orbital.util.Setops
 
all(Collection, Collection, BinaryPredicate) - Static method in class orbital.util.Setops
Checks whether all corresponding pairs of objects in two collection satisfy the specified predicate.
all(Iterator, Iterator, BinaryPredicate) - Static method in class orbital.util.Setops
 
and(Formula) - Method in interface orbital.logic.imp.Formula
Conjunction and: FG.
and - Static variable in interface orbital.moon.logic.functor.Operations
Conjunction and ∧:Dt×DtDt; (x,y) ↦ x∧y.
and() - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
Defines the fuzzy AND operator to use in the fuzzy logic.
AND - Static variable in interface orbital.moon.logic.LogicParserConstants
 
AndExpression() - Method in class orbital.moon.logic.LogicParser
 
andFold - Static variable in interface orbital.moon.logic.functor.Operations
n-ary and ⋀: DtnDt; (xi) ↦ ⋀i xi = (|true,∧|) (xi).
any(Collection) - Static method in class orbital.util.Setops
Get any object of a collection.
append(byte[]) - Method in class orbital.util.Buffer
Append a byte[] to the end of this Buffer,
append(byte[], int, int) - Method in class orbital.util.Buffer
Append a part of a byte[] (starting at off) to the end of this Buffer, increasing its size by the length of b.
append(int, int) - Method in class orbital.util.Buffer
Append a byte value len times to the end of this Buffer, increasing its size by len.
AppletFrame - Class in orbital.moon.awt
A Frame that can be started to run applets as an application.
AppletFrame(String) - Constructor for class orbital.moon.awt.AppletFrame
 
apply(Object) - Method in class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
 
apply(Object, Object) - Method in interface orbital.logic.functor.BinaryFunction
Called to apply the BinaryFunction.
apply(Object, Object) - Method in interface orbital.logic.functor.BinaryPredicate
Called to apply the BinaryPredicate.
apply(Object) - Method in interface orbital.logic.functor.Function
Called to apply the Function.
apply(Object) - Method in class orbital.logic.functor.Functionals.Anamorphism
|(g,p)| b.
apply - Static variable in class orbital.logic.functor.Functionals
apply ·(·): Map(A,B)×A→B; (f,x) ↦ f(x).
apply(Object) - Method in class orbital.logic.functor.Functionals.Catamorphism
(|c,f|) a.
apply(Object) - Method in class orbital.logic.functor.Functionals.Hylomorphism
[[(c,f),(g,p)]] a.
apply(Object) - Method in class orbital.logic.functor.Functionals.Paramorphism
{|b,f|} a.
apply(Object) - Method in class orbital.logic.functor.MutableFunction.TableFunction
Get the value of an argument.
apply(Object) - Method in interface orbital.logic.functor.Predicate
Called to apply the Predicate.
apply() - Method in interface orbital.logic.functor.VoidFunction
Called to apply the VoidFunction.
apply() - Method in interface orbital.logic.functor.VoidPredicate
Called to apply the VoidPredicate.
apply(Object) - Method in interface orbital.logic.imp.Formula
Interpret this formula.
apply(Object) - Method in interface orbital.logic.sign.type.Type
Checks whether an object x is an instance of this type.
apply(Object) - Method in interface orbital.logic.trs.Substitution
Apply this substitution σ to term.
apply(Object) - Method in interface orbital.math.Polynomial
Evaluate this polynomial at a.
apply(Object) - Method in interface orbital.math.UnivariatePolynomial
Evaluate this polynomial at a.
apply(Object) - Method in class orbital.moon.awt.Closer
 
apply(Token, Expression[], Type) - Method in class orbital.moon.logic.LogicParser
n-ary predicates or functions.
apply() - Method in class orbital.util.StreamMethod
Call to apply this stream method coroutine.
arccos - Static variable in class orbital.math.functional.Functions
arccos: [-1,1]→[0,π]; x ↦ arccos x = cos-1 x.
arccot - Static variable in class orbital.math.functional.Functions
arccot: R→(0,π); x ↦ arccot x = cot-1 x.
arcosh - Static variable in class orbital.math.functional.Functions
arcosh: [1,∞)→[0,∞); x ↦ arcosh x = (cosh|[0,∞))-1 x = ㏒(x ± √x2-1).
arcoth - Static variable in class orbital.math.functional.Functions
arcoth: R\[-1,1]→R\{0}; x ↦ arcoth x = coth-1 x = ㏒((x+1) / (x-1)) / 2.
arcsin - Static variable in class orbital.math.functional.Functions
arcsin: [-1,1]→[-π/2,π/2]; x ↦ arcsin x = sin-1 x.
arctan - Static variable in class orbital.math.functional.Functions
arctan: R→(-π/2,π/2); x ↦ arctan x = tan-1 x.
arg() - Method in interface orbital.math.Complex
Returns the principal angle (argument) component of a polar complex.
argmax(Iterator, Function) - Static method in class orbital.util.Setops
Get the maximum argument.
argmin(Iterator, Function) - Static method in class orbital.util.Setops
Get the minimum argument.
Argument_list() - Method in class orbital.moon.logic.LogicParser
 
Arguments() - Method in class orbital.moon.logic.LogicParser
 
Arithmetic - Interface in orbital.math
Arithmetic is implemented by all arithmetic objects that behave like algebraic numbers in terms of their compositional laws.
ArithmeticFormat - Class in orbital.math
ArithmeticFormat is responsible for formatting and parsing arithmetic objects.
ArithmeticFormat(Locale) - Constructor for class orbital.math.ArithmeticFormat
Create a new arithmetic formatter for a specific locale.
arithmeticMean(double[]) - Static method in class orbital.math.Stat
Returns the arithmetic mean (average) of a set of n values.
arity() - Method in class orbital.logic.functor.Functor.Specification
Specifies the arity n.
arityOf(Type) - Static method in class orbital.logic.sign.type.Types
Get the number of components n of a product type iτi = τ1×…×τn.
arsinh - Static variable in class orbital.math.functional.Functions
arsinh: R→R; x ↦ arsinh x = sinh-1 x = ㏒(x + √x2+1).
artanh - Static variable in class orbital.math.functional.Functions
artanh: (-1,1)→R; x ↦ artanh x = tanh-1 x = ㏒((1+x) / (1-x)) / 2.
asClausalSet(Formula) - Method in interface orbital.moon.logic.resolution.ClausalFactory
Returns a clausal set representation of the given formula.
asClausalSet(Formula) - Method in class orbital.moon.logic.resolution.DefaultClausalFactory
 
asCollection(Object) - Static method in class orbital.util.Utility
Get a collection view of the object o.
asFunction(VoidPredicate) - Static method in class orbital.logic.functor.Functionals
converts a predicate to a function.
asFunction(Predicate) - Static method in class orbital.logic.functor.Functionals
converts a predicate to a function.
asFunction(BinaryPredicate) - Static method in class orbital.logic.functor.Functionals
converts a predicate to a function.
asIterator(Combinatorical) - Static method in class orbital.algorithm.Combinatorical
Get an iterator view of a combinatorical iterator.
asIterator(Object) - Static method in class orbital.util.Utility
Get an iterator view of a generalized iteratable object, if possible.
asList(Iterator) - Static method in class orbital.util.Setops
Returns a list filled with the elements in the iterator.
asMap(Object[][]) - Static method in class orbital.util.Setops
Converts an array of key and values to a map.
asPolynomial(Tensor) - Method in interface orbital.math.ValueFactory
Returns a polynomial view of a tensor.
asPolynomial(Vector) - Method in interface orbital.math.ValueFactory
Returns a polynomial view of a vector.
asSet(Iterator) - Static method in class orbital.util.Setops
Returns a set filled with the elements in the iterator.
AStar - Class in orbital.algorithm.template
A* search class.
AStar(Function) - Constructor for class orbital.algorithm.template.AStar
Create a new instance of A* search.
asTensor(Polynomial) - Method in interface orbital.math.ValueFactory
Returns a vector view of the coefficients of a polynomial.
asType(Expression) - Method in class orbital.moon.logic.LogicParser
Converts an expression to the type it represents.
asVector(UnivariatePolynomial) - Method in interface orbital.math.ValueFactory
Returns a vector view of the coefficients of a polynomial.
asVector(Matrix) - Method in interface orbital.math.ValueFactory
Returns a vector view of the specified matrix.
asVector(Tensor) - Method in interface orbital.math.ValueFactory
Returns a vector view of the specified tensor.
Atom() - Method in class orbital.moon.logic.LogicParser
A formula that is a logical atom.
AtomicTerm() - Method in class orbital.moon.logic.LogicParser
Parse an atomic term (function application, number or string) for the current logic.
attributeList() - Method in class orbital.awt.ChartModel
Get the List of solely attributes to be displayed.
AUTO - Static variable in class orbital.logic.sign.concrete.Notation
Specifies automatic compositor-dependant notation as registered.
average(Vector) - Static method in class orbital.math.Evaluations
Deprecated. Returns the average of all elements in this Vector.
average(double[]) - Static method in class orbital.math.Evaluations
Deprecated.  
average(Matrix) - Static method in class orbital.math.Evaluations
Deprecated. Returns the average of all elements in this Matrix.
average(double[]) - Static method in class orbital.math.Stat
Normal arithmetic mean of a set of values.

B

B - Variable in class orbital.util.Pair
 
Backtracking - Class in orbital.algorithm.template
Framework (template class) for Backtracking Algorithms.
Backtracking() - Constructor for class orbital.algorithm.template.Backtracking
 
BacktrackingProblem - Interface in orbital.algorithm.template
Hook class for Backtracking Algorithms
backup(int) - Method in class orbital.moon.logic.SimpleCharStream
 
bag(Type) - Method in interface orbital.logic.sign.type.TypeSystem
The bag/multiset type 〔τ〕.
bag() - Method in interface orbital.logic.sign.type.TypeSystem
bag: * → *; τ〔τ〕.
banana(Object, BinaryFunction, Iterator) - Static method in class orbital.logic.functor.Functionals
banana (|c,f|) a.
barbedwire(Object, BinaryFunction, Iterator) - Static method in class orbital.logic.functor.Functionals
barbedwire {|b,f|} a.
barbedwire(int, BinaryFunction, int) - Static method in class orbital.logic.functor.Functionals
 
BASE(int, int) - Method in interface orbital.math.ValueFactory
Gets a vector ei of an ONB of Rn.
basicSolve() - Method in interface orbital.algorithm.template.DivideAndConquerProblem
Solve the base case.
beanClass - Variable in class orbital.moon.awt.DefaultCustomizer
for which class this customizer is intended.
beanProperties - Variable in class orbital.moon.awt.DefaultCustomizer
list of bean properties.
beginColumn - Variable in class orbital.moon.logic.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class orbital.moon.logic.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
BeginToken() - Method in class orbital.moon.logic.SimpleCharStream
 
BEST_LOCAL_SELECTION - Static variable in class orbital.algorithm.template.LocalOptimizerSearch
attempt the best local transition (default).
BestFirstSearch - Class in orbital.algorithm.template
BestFirstSearch class (BFS).
BestFirstSearch() - Constructor for class orbital.algorithm.template.BestFirstSearch
 
BestFirstSearch.OptionIterator - Class in orbital.algorithm.template
An iterator over a state space in best-first order.
BestFirstSearch.OptionIterator(GeneralSearchProblem, Function) - Constructor for class orbital.algorithm.template.BestFirstSearch.OptionIterator
 
BESTFIX - Static variable in class orbital.logic.sign.concrete.Notation
Specifies best mixed notation "a*(b+f(c)) + d" inserting brackets whenever necessary.
bezierCurve(double, double, Matrix) - Static method in class orbital.math.NumericalAlgorithms
Bezier curve.
BINARY_LOGICAL_JUNCTOR - Static variable in interface orbital.moon.logic.functor.Operations
 
binaryConstant(Arithmetic) - Static method in class orbital.math.functional.Functions
constant â: R×R→R; (x,y) ↦ a.
BinaryFunction - Interface in orbital.logic.functor
A functor that encapsulates the binary function f/2.
BinaryFunction - Interface in orbital.math.functional
This interface encapsulates a binary function "r = f(x,y)".
BinaryFunction.Composite - Interface in orbital.logic.functor
A composed BinaryFunction.
BinaryFunction.Composite - Interface in orbital.math.functional
A composite function.
BinaryPredicate - Interface in orbital.logic.functor
A functor that encapsulates the binary predicate P/2.
BinaryPredicate.Composite - Interface in orbital.logic.functor
A composed BinaryPredicate.
binarySymbolic(String) - Static method in class orbital.math.functional.Functions
symbolic f:R×R→R; (x,y) ↦ f(x, y).
bind(Function, Object) - Static method in class orbital.logic.functor.Functionals
Binds the argument of a Function to a fixed value.
bind(Predicate, Object) - Static method in class orbital.logic.functor.Functionals
Binds the argument of a Predicate to a fixed value.
bind(BinaryFunction) - Static method in class orbital.logic.functor.Functionals
Binds both arguments of a BinaryFunction together.
bind(BinaryPredicate) - Static method in class orbital.logic.functor.Functionals
Binds both arguments of a BinaryPredicate together.
bind(BinaryFunction) - Static method in class orbital.math.functional.Functionals
Binds both arguments of a BinaryFunction together.
bindFirst(BinaryFunction, Object) - Static method in class orbital.logic.functor.Functionals
Binds the first argument of a BinaryFunction to a fixed value.
bindFirst(BinaryPredicate, Object) - Static method in class orbital.logic.functor.Functionals
Binds the first argument of a BinaryPredicate to a fixed value.
bindFirst(BinaryFunction, Object) - Static method in class orbital.math.functional.Functionals
Binds the first argument of a BinaryFunction to a fixed value.
bindSecond(BinaryFunction, Object) - Static method in class orbital.logic.functor.Functionals
Binds the second argument of a BinaryFunction to a fixed value.
bindSecond(BinaryPredicate, Object) - Static method in class orbital.logic.functor.Functionals
Binds the second argument of a BinaryPredicate to a fixed value.
bindSecond(BinaryFunction, Object) - Static method in class orbital.math.functional.Functionals
Binds the second argument of a BinaryFunction to a fixed value.
BOOLEAN_ATOM - Static variable in class orbital.logic.sign.SymbolBase
Deprecated. Since Orbital1.1 use Types.TRUTH instead.
BOUNDED - Static variable in class orbital.moon.logic.FuzzyLogic
Bounded or Ɨukasiewicz operators in fuzzy logic.
BOX - Static variable in interface orbital.moon.logic.LogicParserConstants
 
BranchAndBound - Class in orbital.algorithm.template
Branch-and-bound (B&B).
BranchAndBound(Function, Real) - Constructor for class orbital.algorithm.template.BranchAndBound
Create a new instance of Branch and Bound search.
BranchAndBound(Function, double) - Constructor for class orbital.algorithm.template.BranchAndBound
Deprecated. Since Orbital1.1 use BranchAndBound.BranchAndBound(Function,Real) instead.
BreadthFirstSearch - Class in orbital.algorithm.template
BreadthFirstSearch class (BrFS).
BreadthFirstSearch() - Constructor for class orbital.algorithm.template.BreadthFirstSearch
 
BreadthFirstSearch.OptionIterator - Class in orbital.algorithm.template
An iterator over a state space in breadth-first order.
BreadthFirstSearch.OptionIterator(GeneralSearchProblem) - Constructor for class orbital.algorithm.template.BreadthFirstSearch.OptionIterator
 
BreederControl - Class in orbital.moon.evolutionary
front-end for evolutionary algorithms.
BreederControl(GeneticAlgorithmProblem) - Constructor for class orbital.moon.evolutionary.BreederControl
Construct a BreederControl frame for solving the given problem.
BreederControl() - Constructor for class orbital.moon.evolutionary.BreederControl
Construct a BreederControl frame.
buf - Variable in class orbital.util.Buffer
The buffer where data is stored.
bufcolumn - Variable in class orbital.moon.logic.SimpleCharStream
 
buffer - Variable in class orbital.moon.logic.SimpleCharStream
 
Buffer - Class in orbital.util
This class encapsulates a Buffer containing bytes.
Buffer() - Constructor for class orbital.util.Buffer
The current position in the buffer.
Buffer(int) - Constructor for class orbital.util.Buffer
Creates a new Buffer with an initial capacity, but empty (of size 0).
Buffer(byte[], int, int) - Constructor for class orbital.util.Buffer
Creates a new Buffer with an initial content specified by a part of a byte-array.
Buffer(byte[]) - Constructor for class orbital.util.Buffer
 
bufline - Variable in class orbital.moon.logic.SimpleCharStream
 
bufpos - Variable in class orbital.moon.logic.SimpleCharStream
 
byteValue() - Method in interface orbital.math.Integer
Returns the value of the specified integer as a byte.

C

c - Variable in class orbital.logic.functor.Functionals.Catamorphism
the right (second) argument basevalue in B to start with.
Callback - Interface in orbital.util
Callback is an interface used to tag objects that can be called back.
callTypeDeclaration - Static variable in interface orbital.logic.functor.BinaryFunction
specification of these functors.
callTypeDeclaration - Static variable in interface orbital.logic.functor.BinaryPredicate
specification of these functors.
callTypeDeclaration - Static variable in interface orbital.logic.functor.Function
specification of these functors.
callTypeDeclaration - Static variable in interface orbital.logic.functor.Predicate
specification of these functors.
callTypeDeclaration - Static variable in interface orbital.logic.functor.VoidFunction
specification of these functors.
callTypeDeclaration - Static variable in interface orbital.logic.functor.VoidPredicate
specification of these functors.
cartesian(Real, Real) - Method in interface orbital.math.ValueFactory
Creates a new complex from cartesian coordinates.
cartesian(double, double) - Method in interface orbital.math.ValueFactory
 
ceily(double, double) - Static method in class orbital.math.MathUtilities
Returns the smallest (closest to negative infinity) double value that is not less than the argument and is equal for at least a precision value.
ceily(double) - Static method in class orbital.math.MathUtilities
 
cgSolve(Matrix, Vector, Vector) - Static method in class orbital.math.NumericalAlgorithms
cg-algorithm for solving A∙x=b iteratively starting with x0.
changeExtension(File, String) - Static method in class orbital.moon.evolutionary.BreederControl
Change the extension of a file name to a new one.
ChartModel - Class in orbital.awt
Containement class that represents a model for chart data.
ChartModel() - Constructor for class orbital.awt.ChartModel
 
ChartModel.Entry - Class in orbital.awt
The entries of a ChartModel's List of displayed graphs.
ChartModel.Entry(Object, Map) - Constructor for class orbital.awt.ChartModel.Entry
 
ChartModelBeanInfo - Class in orbital.awt
 
ChartModelBeanInfo() - Constructor for class orbital.awt.ChartModelBeanInfo
 
chineseRemainder(Arithmetic[], Arithmetic[]) - Static method in class orbital.math.AlgebraicAlgorithms
Simulatenously solve independent congruences.
chooseNext(int) - Method in interface orbital.algorithm.template.BacktrackingProblem
Get the next choice variant at a depth.
ClassicalLogic - Class in orbital.moon.logic
Implementation of modern but classical predicate logic (first-order logic).
ClassicalLogic() - Constructor for class orbital.moon.logic.ClassicalLogic
 
ClassicalLogic(ClassicalLogic.InferenceMechanism) - Constructor for class orbital.moon.logic.ClassicalLogic
Create a classical logic with the specified inference mechanism.
ClassicalLogic.InferenceMechanism - Class in orbital.moon.logic
Specifies the inference mechanism applied for the inference relation.
ClassicalLogic.Utilities - Class in orbital.moon.logic
Formula transformation utilities.
ClausalFactory - Interface in orbital.moon.logic.resolution
Factory for clauses and clausal sets.
clausalForm(Formula, boolean) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Deprecated. Prefer to use the more general method ClausalFactory.asClausalSet(orbital.logic.imp.Formula) instead.
ClausalIndex - Class in orbital.moon.logic.resolution
Manages a clause index.
ClausalIndex() - Constructor for class orbital.moon.logic.resolution.ClausalIndex
Create a new empty index.
ClausalSet - Interface in orbital.moon.logic.resolution
Represents a set of clauses.
ClausalSetImpl - Class in orbital.moon.logic.resolution
Default implementation of a representation of a set of clauses.
ClausalSetImpl(Set) - Constructor for class orbital.moon.logic.resolution.ClausalSetImpl
Copy constructor.
ClausalSetImpl() - Constructor for class orbital.moon.logic.resolution.ClausalSetImpl
 
Clause - Interface in orbital.moon.logic.resolution
Represents a clause, i.e.
ClauseImpl - Class in orbital.moon.logic.resolution
Default implementation of a representation of a clause, i.e.
ClauseImpl(Set) - Constructor for class orbital.moon.logic.resolution.ClauseImpl
Copy constructor.
ClauseImpl() - Constructor for class orbital.moon.logic.resolution.ClauseImpl
 
clear() - Method in class orbital.moon.logic.resolution.ClausalIndex
 
clear() - Method in class orbital.moon.logic.resolution.IndexedClausalSetImpl
 
clear() - Method in class orbital.moon.logic.resolution.IndexedClauseImpl
 
clear() - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
clear() - Method in class orbital.util.DelegateCollection
Removes all of the elements from this collection (optional operation).
clear() - Method in class orbital.util.DelegateMap
 
clearFitness() - Method in class orbital.algorithm.evolutionary.Genome
Clears the fitness.
clone() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
 
clone() - Method in class orbital.algorithm.evolutionary.Gene.BoundedFloat
 
clone() - Method in class orbital.algorithm.evolutionary.Gene.BoundedInteger
 
clone() - Method in interface orbital.algorithm.evolutionary.Gene
Returns a clone of this gene.
clone() - Method in class orbital.algorithm.evolutionary.Gene.Float
 
clone() - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
clone() - Method in class orbital.algorithm.evolutionary.Gene.List
Returns a deep copy of this exact type of gene.
clone() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
clone() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Returns a deep copy of this exact type of genetic algorithm.
clone() - Method in class orbital.algorithm.evolutionary.Genome
 
clone() - Method in class orbital.algorithm.evolutionary.Population
Returns a deep copy of this population.
clone() - Method in class orbital.algorithm.evolutionary.PopulationImpl
Returns a deep copy of this population.
clone() - Method in class orbital.awt.Range
 
clone() - Method in class orbital.logic.functor.Functor.Specification
Clones this specification.
clone() - Method in interface orbital.logic.functor.MutableFunction
 
clone() - Method in class orbital.logic.functor.MutableFunction.TableFunction
 
clone() - Method in interface orbital.math.Tensor
 
close() - Method in class orbital.moon.awt.Closer
The close action.
Closer - Class in orbital.moon.awt
If Closer is registered to a component, it will automatically close it on user requests.
Closer(Component) - Constructor for class orbital.moon.awt.Closer
Close instantly.
Closer(Window, boolean) - Constructor for class orbital.moon.awt.Closer
Close instantly; if register, self-register to WindowEvents.
Closer(Window, boolean, boolean) - Constructor for class orbital.moon.awt.Closer
Close instantly; if register, self-register to WindowEvents,
Closer(Frame, Component) - Constructor for class orbital.moon.awt.Closer
Close only after confirmation dialog
Closer(Frame, Window, boolean) - Constructor for class orbital.moon.awt.Closer
Close only after confirmation dialog; if register, self-register to WindowEvents.
Closer(Frame, Window, boolean, boolean) - Constructor for class orbital.moon.awt.Closer
Close only after confirmation dialog; if register, self-register to WindowEvents, if definitifely force termination via System.exit().
Closer(Frame, String, Window, boolean, boolean) - Constructor for class orbital.moon.awt.Closer
Close only after confirmation dialog; if register, self-register to WindowEvents, if definitifely force termination via System.exit().
closer - Variable in class orbital.moon.evolutionary.BreederControl
 
codomain() - Method in interface orbital.logic.sign.type.Type
Get the co-domain τ of a type σ→τ.
coefficientOfCorrelation(double[], double[]) - Static method in class orbital.math.Stat
Returns the (2D) coefficient of correlation of a set of n pairs (xi,yi).
coefficientOfVariation(double[]) - Static method in class orbital.math.Stat
Returns the coefficient of variation of a set of n values.
collection(Type) - Method in interface orbital.logic.sign.type.TypeSystem
The general collection type collection(τ).
collection() - Method in interface orbital.logic.sign.type.TypeSystem
collection: * → *; τcollection(τ).
column - Variable in class orbital.moon.logic.SimpleCharStream
 
Combinatorical - Class in orbital.algorithm
Class for combinatorical operations.
Combinatorical() - Constructor for class orbital.algorithm.Combinatorical
 
combine(Token, Expression[]) - Method in class orbital.moon.logic.LogicParser
 
combine(Token, Symbol, Expression) - Method in class orbital.moon.logic.LogicParser
quantifiers.
comparator - Static variable in class orbital.algorithm.evolutionary.Genome
Compare two Genomes according to their fitness, descending.
comparator() - Method in class orbital.util.DelegateSortedSet
 
compare(Object, Object) - Method in class orbital.algorithm.template.EvaluativeAlgorithm.EvaluationComparator
Compares according to evaluation function.
compare - Static variable in interface orbital.math.functional.Operations
Compares two arithmetic numbers.
compare(Object, Object) - Method in class orbital.util.ReverseComparator
Compares two objects.
compare(Object, Object) - Static method in class orbital.util.Utility
Compares its two arguments for order.
compareTo(Object) - Method in class orbital.algorithm.template.GeneralSearchProblem.Transition
Compares options according to their cost.
compareTo(Object) - Method in class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition
 
compareTo(Object) - Method in interface orbital.algorithm.template.TransitionModel.Transition
Compares transition options.
compareTo(Object) - Method in class orbital.logic.functor.Functor.Specification
Compares two specifications.
compareTo(Object) - Method in class orbital.logic.sign.concrete.Notation
Order imposed by ordinals according to the order of creation.
compareTo(Object) - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
Compares for precedence.
compareTo(Object) - Method in class orbital.logic.sign.SymbolBase
Compares two symbols.
compareTo(Object) - Method in interface orbital.logic.sign.type.Type
Compares two types for subtype inclusions.
compareTo(Object) - Method in interface orbital.math.Real
Compares this object with the specified object for order.
compareTo(Object) - Method in class orbital.moon.logic.ClassicalLogic.InferenceMechanism
Order imposed by ordinals according to the order of creation.
compareTo(Object) - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
Order imposed by ordinals according to the order of creation.
compareTo(Object) - Method in class orbital.util.KeyValuePair
Compare two KeyValuePair objects according to their keys.
compareTo(Object) - Method in class orbital.util.Pair
Compares two Pairs in favor of A (and then B).
complement(Collection, Collection) - Static method in class orbital.util.Setops
Returns the complement of a collection in a universal set.
complement(Set, Set) - Static method in class orbital.util.Setops
 
complement(SortedSet, SortedSet) - Static method in class orbital.util.Setops
 
COMPLETE_SPLINE_INTERPOLATION - Static variable in class orbital.math.NumericalAlgorithms
complete spline interpolation with border conditions s'(a)=f'(a) and s'(b)=f'(b).
Complex - Interface in orbital.math
Representation of a complex number a + i*b∈C.
complex(Real, Real) - Method in interface orbital.math.ValueFactory
Returns a new complex whose value is equal to a + i*b.
complex(double, double) - Method in interface orbital.math.ValueFactory
 
complex(float, float) - Method in interface orbital.math.ValueFactory
 
complex(int, int) - Method in interface orbital.math.ValueFactory
 
complex(long, long) - Method in interface orbital.math.ValueFactory
 
complex(Real) - Method in interface orbital.math.ValueFactory
Returns a new (real) complex whose value is equal to a + i*0.
complex(double) - Method in interface orbital.math.ValueFactory
 
complexity() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
complexity() - Method in interface orbital.algorithm.template.AlgorithmicTemplate
Measure for the asymptotic time complexity of the central solution operation in O-notation.
complexity() - Method in class orbital.algorithm.template.AStar
O(bd) where b is the branching factor and d the solution depth.
complexity() - Method in class orbital.algorithm.template.Backtracking
O(nn) in the worst case.
complexity() - Method in class orbital.algorithm.template.BranchAndBound
O(bd) where b is the branching factor and d the solution depth.
complexity() - Method in class orbital.algorithm.template.BreadthFirstSearch
O(bd) where b is the branching factor and d the solution depth.
complexity() - Method in class orbital.algorithm.template.DepthFirstSearch
O(∞).
complexity() - Method in class orbital.algorithm.template.DivideAndConquer
≈O(n*㏒ n).
complexity() - Method in class orbital.algorithm.template.DynamicProgramming
O(n2)
complexity() - Method in class orbital.algorithm.template.GaussSeidelDynamicProgramming
 
complexity() - Method in class orbital.algorithm.template.Greedy
O(n*log n + n*f(n)) for n=|C| candidates.
complexity() - Method in class orbital.algorithm.template.HillClimbing
O(∞).
complexity() - Method in class orbital.algorithm.template.IterativeBroadening
 
complexity() - Method in class orbital.algorithm.template.IterativeDeepening
O(bd) where b is the branching factor and d the solution depth.
complexity() - Method in class orbital.algorithm.template.IterativeDeepeningAStar
O(bd) where b is the branching factor and d the solution depth.
complexity() - Method in class orbital.algorithm.template.IterativeExpansion
O(bd) where b is the branching factor and d the solution depth.
complexity() - Method in class orbital.algorithm.template.ParallelBranchAndBound
O(d) on parallel machines where d the solution depth.
complexity() - Method in class orbital.algorithm.template.RealTimeDynamicProgramming
 
complexity() - Method in class orbital.algorithm.template.SimulatedAnnealing
O(∞).
complexity() - Method in class orbital.algorithm.template.ThresholdAccepting
O(∞).
component - Variable in class orbital.moon.awt.Closer
the Component or Window to be closed
componentPolynomials(UnivariatePolynomial) - Static method in class orbital.math.AlgebraicAlgorithms
Converts a univariate polynomial with R-vectorial coefficients into an array of polynomials obtained by coordinate projections.
compose - Static variable in class orbital.logic.functor.Functionals
compose ∘: Map(B,C)×Map(A,B)→Map(A,C); (f,g) ↦ f ∘ g := (x↦f(g(x))).
compose(Function, Function) - Static method in class orbital.logic.functor.Functionals
compose: Map(B,C)×Map(A,B)→Map(A,C); (f,g) ↦ f ∘ g := f(g).
compose(BinaryFunction, BinaryFunction, BinaryFunction) - Static method in class orbital.logic.functor.Functionals
compose: Map(B1×B2,C)×(Map(A1×A2,B1)×Map(A1×A2,B2))→Map(A1×A2,C); (f,g,h) ↦ f ∘ (g × h) := f(g,h) .
compose(BinaryFunction, Function, Function) - Static method in class orbital.logic.functor.Functionals
compose: Map(B1×B2,C)×(Map(A,B1)×Map(A,B2))→Map(A,C); (f,g,h) ↦ f ∘ (g × h) := f(g,h) .
compose(Function, VoidFunction) - Static method in class orbital.logic.functor.Functionals
compose: Map(B,C)×Map({()},B)→Map({()},C); (f,g) ↦ f ∘ g := f(g).
compose(BinaryFunction, VoidFunction, VoidFunction) - Static method in class orbital.logic.functor.Functionals
compose: Map(B1×B2,C)×(Map({()},B1)×Map({()},B2))→Map({()},C); (f,g,h) ↦ f ∘ (g × h) := f(g,h) .
compose(Predicate, Function) - Static method in class orbital.logic.functor.Functionals
compose: ℘(B)×Map(A,B)→℘(A); (P,g) ↦ P ∘ g := P(g).
compose(BinaryPredicate, BinaryFunction, BinaryFunction) - Static method in class orbital.logic.functor.Functionals
compose: ℘(B1×B2)×(Map(A1×A2,B1)×Map(A1×A2,B2))→℘(A1×A2); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
compose(BinaryPredicate, Function, Function) - Static method in class orbital.logic.functor.Functionals
compose: ℘(B1×B2)×(Map(A,B1)×Map(A,B2))→℘(A); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
compose(Predicate, VoidFunction) - Static method in class orbital.logic.functor.Functionals
compose: ℘(B)×Map({()},B)→℘({()}); (P,g) ↦ P ∘ g := P(g).
compose(BinaryPredicate, VoidFunction, VoidFunction) - Static method in class orbital.logic.functor.Functionals
compose: ℘(B1×B2)×(Map({()},B1)×Map({()},B2))→℘({()}); (P,g,h) ↦ P ∘ (g × h) := P(g,h) .
compose(Expression, Expression[]) - Method in interface orbital.logic.imp.Logic
Create a compound expression representation with a composition operation.
compose(Expression, Expression[]) - Method in interface orbital.logic.sign.ExpressionBuilder
Create a compound expression representation with a composition operation.
compose(Substitution, Substitution) - Static method in class orbital.logic.trs.Substitutions
compose two substitutions σ ∘ τ.
compose(Function, Function) - Static method in class orbital.math.functional.Functionals
compose: (f,g) ↦ f ∘ g := f(g).
compose(BinaryFunction, BinaryFunction, BinaryFunction) - Static method in class orbital.math.functional.Functionals
compose: (f,g,h) ↦ f ∘ (g × h) := f(g,h) .
compose(BinaryFunction, Function, Function) - Static method in class orbital.math.functional.Functionals
compose: (f,g,h) ↦ f ∘ (g × h) := f(g,h) .
compose(Expression, Expression[]) - Method in class orbital.moon.logic.ClassicalLogic
 
compose(Expression, Expression[]) - Method in class orbital.moon.logic.MathExpressionSyntax
 
Composite - Interface in orbital.logic
The base interface for all things that are composed of other things.
CompoundFormula() - Method in class orbital.moon.logic.LogicParser
Parse a compound predicate formula for the current logic.
CompoundTerm() - Method in class orbital.moon.logic.LogicParser
Parse a compound function term for the current logic.
CompoundType() - Method in class orbital.moon.logic.LogicParser
A compound type.
ConcurrenceGeneticAlgorithm - Class in orbital.algorithm.evolutionary
This class is a genetic algorithm that weights its members in comparison to the others.
ConcurrenceGeneticAlgorithm() - Constructor for class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
ConcurrenceGeneticAlgorithmBeanInfo - Class in orbital.algorithm.evolutionary
 
ConcurrenceGeneticAlgorithmBeanInfo() - Constructor for class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithmBeanInfo
 
ConcurrenceGeneticAlgorithmBeanInfo.TypePropertyEditor - Class in orbital.algorithm.evolutionary
 
ConcurrenceGeneticAlgorithmBeanInfo.TypePropertyEditor() - Constructor for class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithmBeanInfo.TypePropertyEditor
 
conjugate() - Method in interface orbital.math.Complex
Returns the complex conjugated z = z* = z'.
conjugate() - Method in interface orbital.math.Matrix
Returns this matrix conjugate transposed.
.:Rn×m→Rm×n; MM:=tM = (ti,j) with ti,j = mj,i.
conjunctiveForm(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Transforms into conjunctive normal form (CNF).
conjunctiveForm(Formula, boolean) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Transforms into conjunctive normal form (CNF).
CONST(int, Arithmetic) - Method in interface orbital.math.ValueFactory
Gets a constant Vector, with all elements set to c.
constant(Object) - Static method in class orbital.math.functional.Functions
constant â: R→R; x ↦ a .
constant(Vector) - Method in interface orbital.math.ValueFactory
Returns an unmodifiable view of the specified vector.
constant(Matrix) - Method in interface orbital.math.ValueFactory
Returns an unmodifiable view of the specified matrix.
constant(Tensor) - Method in interface orbital.math.ValueFactory
Returns an unmodifiable view of the specified tensor.
constant(Polynomial) - Method in interface orbital.math.ValueFactory
Returns an unmodifiable view of the specified polynomial.
constant(UnivariatePolynomial) - Method in interface orbital.math.ValueFactory
Returns an unmodifiable view of the specified polynomial.
constantClosure(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Get the constant-closure of a formula.
ConstantOrVariable() - Method in class orbital.moon.logic.LogicParser
Parses a constant or a variable atomic term, depending upon known symbols in context.
construct(Object, Object) - Method in interface orbital.logic.Composite
Construct a new composition with the given parameters, of the same type like this.
contains(Object) - Method in class orbital.logic.imp.InterpretationBase
 
contains(String, Object[]) - Method in class orbital.logic.sign.SignatureBase
Deprecated. Since Orbital1.1 use SignatureBase.get(String,Object[])≠null instead.
contains(Object) - Method in class orbital.util.DelegateCollection
Returns true if this collection contains the specified element.
containsAll(Collection) - Method in class orbital.util.DelegateCollection
Returns true if this collection contains all of the elements in the specified collection.
containsIdenticalTo(Object[], Object) - Static method in class orbital.util.Utility
Check whether an array contains an object that is identical to x.
containsKey(Object) - Method in interface orbital.logic.imp.Interpretation
Returns whether the specified symbol is contained in this interpretation assocation map.
containsKey(Object) - Method in class orbital.logic.imp.InterpretationBase
 
containsKey(Object) - Method in class orbital.util.DelegateMap
 
containsValue(Object) - Method in class orbital.util.DelegateMap
 
CONTRADICTION - Static variable in class orbital.moon.logic.ClassicalLogic.Utilities
Deprecated. Use Clause.CONTRADICTION instead.
CONTRADICTION - Static variable in interface orbital.moon.logic.resolution.Clause
The contradictory clause ∅ ≡ □ ≡ ⊥.
CONTRADICTION_SINGLETON_SET - Static variable in interface orbital.moon.logic.resolution.ClausalSet
The contradictory singleton set of clauses {□}.
copy(ListIterator, Iterator) - Static method in class orbital.util.Setops
Copies all of the elements from one list-iterator into another.
coreInterpretation() - Method in interface orbital.logic.imp.Logic
Get the core interpretation which is fixed for this logic.
coreInterpretation() - Method in class orbital.moon.logic.ClassicalLogic
 
coreInterpretation() - Method in class orbital.moon.logic.FuzzyLogic
 
coreInterpretation() - Method in class orbital.moon.logic.ModalLogic
 
coreSignature() - Method in interface orbital.logic.sign.ExpressionSyntax
Get the core signature which is supported by the language of this expression syntax.
coreSignature() - Method in class orbital.moon.logic.ClassicalLogic
 
coreSignature() - Method in class orbital.moon.logic.FuzzyLogic
 
coreSignature() - Method in class orbital.moon.logic.MathExpressionSyntax
 
coreSignature() - Method in class orbital.moon.logic.ModalLogic
 
cos - Static variable in class orbital.math.functional.Functions
cos: CC; x ↦ cos x = ∑n=0 (-1)n * x2n / (2n)!.
cosh - Static variable in class orbital.math.functional.Functions
cosh: CC; x ↦ cosh x = (ex+e-x) / 2 = ∑n=0 x2n / (2n)!.
cot - Static variable in class orbital.math.functional.Functions
cot: CZC; x ↦ cot x = cos x / sin x = 1 / tan x.
coth - Static variable in class orbital.math.functional.Functions
coth: R\{0}→R; x ↦ coth x = cosh x / sinh x = 1 / tanh x.
count() - Method in class orbital.algorithm.Combinatorical
Returns the number of combinatorical tuples that araise from this sequence.
count - Variable in class orbital.util.Buffer
The index one greater than the index of the last valid byte in the buffer.
count(Collection, Predicate) - Static method in class orbital.util.Setops
Counts the number of objects in a collection that satisfy the specified predicate.
count(Iterator, Predicate) - Static method in class orbital.util.Setops
 
create(Population, Genome, int) - Static method in class orbital.algorithm.evolutionary.Population
Generate (create) a new random population of genomes.
create(Genome, int) - Static method in class orbital.algorithm.evolutionary.Population
Generate (create) a new random population of genomes.
create(Genome, int) - Static method in class orbital.algorithm.evolutionary.PopulationImpl
 
create() - Method in class orbital.moon.evolutionary.BreederControl
 
createAllExpressions(String) - Method in class orbital.moon.logic.ClassicalLogic
 
createAtomic(Symbol) - Method in interface orbital.logic.imp.Logic
Create an atomic expression representation of a non-compound sign.
createAtomic(Symbol) - Method in interface orbital.logic.sign.ExpressionBuilder
Create an atomic expression representation of a non-compound sign.
createAtomic(Symbol) - Method in class orbital.moon.logic.MathExpressionSyntax
 
createClausalSet(Set) - Method in interface orbital.moon.logic.resolution.ClausalFactory
Instantiates a new clausal set.
createClausalSet(Set) - Method in class orbital.moon.logic.resolution.DefaultClausalFactory
 
createClause(Set) - Method in interface orbital.moon.logic.resolution.ClausalFactory
Instantiates a new clause.
createClause(Set) - Method in class orbital.moon.logic.resolution.DefaultClausalFactory
 
createExactMatcher(Object, Object) - Static method in class orbital.logic.trs.Substitutions
Create a new exact matcher that performs substitution.
createExactMatcher(Object) - Static method in class orbital.logic.trs.Substitutions
Create a new exact matcher that does not perform substitution.
createExpression(String) - Method in interface orbital.logic.imp.Logic
Create a term representation by parsing a (compound) expression.
createExpression(String) - Method in interface orbital.logic.sign.ExpressionSyntax
Create a term representation by parsing a (compound) expression.
createExpression(String) - Method in class orbital.moon.logic.MathExpressionSyntax
Create a term representation by parsing a (compound) expression..
createFormula(String) - Method in class orbital.moon.logic.ClassicalLogic
Deprecated. Use (Formula) createExpression(expression) instead.
createGenome() - Method in class orbital.moon.evolutionary.BreederControl
Create a problem-specific genome prototype.
createMap() - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Create a mapping.
createMathExpression(String) - Method in class orbital.moon.logic.MathExpressionSyntax
Parses an expression and queries its arithmetic object.
createPropertyEditorComponent(PropertyDescriptor, PropertyEditor) - Method in class orbital.moon.awt.DefaultCustomizer
Create a component to use as an editor for the property specified.
createSelection(Function, Predicate, Comparator, boolean) - Static method in class orbital.util.Setops
Creates a sophisticated selection filter.
createSelection(Predicate) - Static method in class orbital.util.Setops
 
createSingleSidedMatcher(Object, Object, Predicate) - Static method in class orbital.logic.trs.Substitutions
Create a new single sided matcher with unification that performs a substitution under a given condition.
createSingleSidedMatcher(Object, Object) - Static method in class orbital.logic.trs.Substitutions
Create a new single sided matcher with unification that performs substitution, without conditions.
createSingleSidedMatcher(Object) - Static method in class orbital.logic.trs.Substitutions
Create a new single sided matcher with unification that does not perform substitution.
createStatusBar() - Method in class orbital.moon.evolutionary.BreederControl
Create a status bar to display.
createTerm(String) - Method in class orbital.moon.logic.ClassicalLogic
Parses single term.
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.BestFirstSearch
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.BreadthFirstSearch
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.DepthFirstSearch
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.GeneralSearch
Define a traversal order by creating an iterator for the problem's state space.
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.HillClimbing
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeBroadening
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeDeepening
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeDeepeningAStar
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeExpansion
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.ParallelBranchAndBound
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.SimulatedAnnealing
 
createTraversal(GeneralSearchProblem) - Method in class orbital.algorithm.template.ThresholdAccepting
 
cross(Function, Function) - Static method in class orbital.logic.functor.Functionals
cross: Map(A,B1)×Map(A,B2)→Map(A,B1×B2); (f,g) ↦ f × g := (f,g).
cross(Vector) - Method in interface orbital.math.Vector
Vector-cross-product of two vectors.
cross(Collection, Collection) - Static method in class orbital.util.Setops
Returns the cross product (or cartesian product) of two collections.
a × b = {(x,y) ¦ x∈a ∧ y∈b}
cross(Iterator, Iterator) - Static method in class orbital.util.Setops
 
cross(List) - Static method in class orbital.util.Setops
Returns the n-ary cross product (or cartesian product) of n collections.
×i=1,...,n ai = ∏i=1,...,n ai = {(xi)i=1,...,n ¦ ∀i=1,...,n xi∈ai}
csc - Static variable in class orbital.math.functional.Functions
csc: R\{0}→R; x ↦ csc x = 1 / sin(x).
csch - Static variable in class orbital.math.functional.Functions
csch: R\{0}→R; x ↦ csch x = 1 / sinh(x).
curChar - Variable in class orbital.moon.logic.LogicParserTokenManager
 
currentToken - Variable in exception orbital.moon.logic.ParseException
This is the last token that has been consumed successfully.
curry(BinaryFunction) - Static method in class orbital.logic.functor.Functionals
Currys a binary function to a function mapping to a function.
custom - Variable in class orbital.moon.evolutionary.BreederControl
 
customizerFor(Class) - Static method in class orbital.awt.CustomizerViewController
Get the Customizer for a specific bean class.
customizerForProperty(PropertyDescriptor) - Static method in class orbital.moon.awt.DefaultCustomizer
Checks whether we find a customizer for the type of the property specified.
CustomizerViewController - Class in orbital.awt
This class is a CustomizerViewController that can be registered to a Bean and controls showing a Customizer on double-click.
CustomizerViewController(Frame, String) - Constructor for class orbital.awt.CustomizerViewController
 
CustomizerViewController(Frame) - Constructor for class orbital.awt.CustomizerViewController
 

D

data - Variable in class orbital.moon.evolutionary.BreederControl
 
debugStream - Variable in class orbital.moon.logic.LogicParserTokenManager
 
DECIMAL_LITERAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
DECLARE_FREE - Static variable in interface orbital.moon.logic.LogicParserConstants
 
declaredTypeOf(Functor) - Static method in class orbital.logic.sign.type.Types
Converts a functor specification to a type (guesses it from the declared type information).
decompose(Matrix) - Static method in class orbital.math.LUDecomposition
Get the Gaussian LU-decomposition of a matrix.
decomposeCholesky(Matrix) - Static method in class orbital.math.NumericalAlgorithms
Cholesky-decomposition of positive definite matrices implementation.
DEFAULT - Static variable in class orbital.logic.sign.concrete.Notation
Specifies to use system default notation.
DEFAULT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
defaultChildren - Static variable in class orbital.moon.evolutionary.BreederControl
 
DefaultClausalFactory - Class in orbital.moon.logic.resolution
Factory for clauses and clausalsets.
DefaultClausalFactory() - Constructor for class orbital.moon.logic.resolution.DefaultClausalFactory
 
DefaultCustomizer - Class in orbital.moon.awt
Provides a fully-automatic generic JavaBean customizer.
DefaultCustomizer(Class) - Constructor for class orbital.moon.awt.DefaultCustomizer
Create a default customizer initialized to customize a bean class.
DefaultCustomizer() - Constructor for class orbital.moon.awt.DefaultCustomizer
Create a default customizer that is not yet initialized to a bean class.
defaultMaxMutation - Static variable in class orbital.moon.evolutionary.BreederControl
 
defaultMaxRecombination - Static variable in class orbital.moon.evolutionary.BreederControl
 
defaultParents - Static variable in class orbital.moon.evolutionary.BreederControl
default values
DEGREE(Comparator) - Static method in class orbital.math.AlgebraicAlgorithms
Generalised degree-lexicographical order on monoid of monomials.
degree() - Method in interface orbital.math.Euclidean
Get the Euclidean degree.
degree() - Method in interface orbital.math.Polynomial
Get the total degree of this polynomial.
degree() - Method in interface orbital.math.UnivariatePolynomial
Get the degree of this polynomial.
DEGREE_LEXICOGRAPHIC - Static variable in class orbital.math.AlgebraicAlgorithms
Degree lexicographical order on monoid of monomials.
DEGREE_REVERSE_LEXICOGRAPHIC - Static variable in class orbital.math.AlgebraicAlgorithms
Degree reverse-lexicographical order on monoid of monomials.
degrees() - Method in interface orbital.math.Polynomial
Returns the multi-degree, i.e., the vector of partial degrees of this polynomial for the individual variables Xi.
degreeValue() - Method in interface orbital.math.Polynomial
Get the (int value of the) degree of this polynomial.
DelegateCollection - Class in orbital.util
A DelegateCollection that works as a delegator to collections.
DelegateCollection(Collection) - Constructor for class orbital.util.DelegateCollection
Extend to create a Collection delegating to an implementation Collection.
DelegateGeneralSearchProblem - Class in orbital.algorithm.template
Delegates to a GeneralSearchProblem.
DelegateGeneralSearchProblem(GeneralSearchProblem) - Constructor for class orbital.algorithm.template.DelegateGeneralSearchProblem
 
DelegateIterator - Class in orbital.util
A DelegateIterator that works as a delegator to iterators.
DelegateIterator(Iterator) - Constructor for class orbital.util.DelegateIterator
Extend to create an Iterator delegating to an implementation Iterator.
DelegateList - Class in orbital.util
A DelegateList that works as a delegator to lists.
DelegateList(List) - Constructor for class orbital.util.DelegateList
Extend to create a List delegating to an implementation List.
DelegateListIterator - Class in orbital.util
A DelegateListIterator that works as a delegator to iterators.
DelegateListIterator(ListIterator) - Constructor for class orbital.util.DelegateListIterator
Extend to create an ListIterator delegating to an implementation ListIterator.
DelegateMap - Class in orbital.util
A DelegateMap that works as a delegator to maps.
DelegateMap(Map) - Constructor for class orbital.util.DelegateMap
Extend to create a map delegating to an implementation map.
DelegateSet - Class in orbital.util
A DelegateSet that works as a delegator to sets.
DelegateSet(Set) - Constructor for class orbital.util.DelegateSet
Extend to create a Set delegating to an implementation Set.
DelegateSortedSet - Class in orbital.util
A DelegateSortedSet that works as a delegator to sets.
DelegateSortedSet(SortedSet) - Constructor for class orbital.util.DelegateSortedSet
Extend to create a SortedSet delegating to an implementation SortedSet.
deletion(ClausalSet, ClausalSet) - Method in class orbital.moon.logic.resolution.SaturationResolution
Delete superfluous clauses.
deletion(ClausalSet, ClausalSet, ClausalSet) - Method in class orbital.moon.logic.resolution.SetOfSupportResolution
Delete superfluous clauses.
delta - Static variable in class orbital.math.functional.Functions
delta: R×RR; (x,x) ↦ 1, (x,y) ↦ 0 for x≠y.
delta(int, int) - Static method in class orbital.math.functional.Functions
 
denominator() - Method in interface orbital.math.Fraction
Returns the denominator component.
denominator() - Method in interface orbital.math.Rational
Returns the denominator component.
DENOMINATOR_FIELD - Static variable in class orbital.math.ArithmeticFormat
 
DEPTH_ORDER - Static variable in class orbital.moon.logic.resolution.LiteralOrders
L-Order based on term-depths.
DepthFirstSearch - Class in orbital.algorithm.template
DepthFirstSearch class (DFS).
DepthFirstSearch() - Constructor for class orbital.algorithm.template.DepthFirstSearch
 
DepthFirstSearch.OptionIterator - Class in orbital.algorithm.template
An iterator over a state space in depth-first order.
DepthFirstSearch.OptionIterator(GeneralSearchProblem) - Constructor for class orbital.algorithm.template.DepthFirstSearch.OptionIterator
 
derive() - Method in interface orbital.math.functional.BinaryFunction
Derives this function and returns the resulting BinaryFunction df/d(x,y).
derive() - Method in interface orbital.math.functional.Function
Derives this function and returns the resulting Function df/dx.
destroy() - Method in class orbital.moon.evolutionary.BreederControl
 
det() - Method in class orbital.math.LUDecomposition
The determinant of A.
det() - Method in interface orbital.math.Matrix
Returns the determinant of the matrix representation.
DIAGONAL(Vector) - Method in interface orbital.math.ValueFactory
Gets diagonal Matrix, with all elements set to 0, except the leading diagonal mi,i set to vi.
DIAMOND - Static variable in interface orbital.moon.logic.LogicParserConstants
 
difference(Signature) - Method in interface orbital.logic.sign.Signature
Returns the difference to another signature.
difference(Signature) - Method in class orbital.logic.sign.SignatureBase
 
difference(Collection, Collection) - Static method in class orbital.util.Setops
Returns the difference of one collection to another.
difference(Set, Set) - Static method in class orbital.util.Setops
 
difference(SortedSet, SortedSet) - Static method in class orbital.util.Setops
 
DIGIT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
DIGIT_OR_ALIKE - Static variable in interface orbital.moon.logic.LogicParserConstants
 
dimension() - Method in interface orbital.math.Matrix
Returns the dimension of the matrix.
dimension() - Method in interface orbital.math.Vector
Returns the dimension of the vector.
dimensions() - Method in interface orbital.math.Tensor
Returns the dimensions of the tensor.
dimensions(Object[]) - Static method in class orbital.util.Utility
 
dimensions(Object) - Static method in class orbital.util.Utility
Get the dimensions of a multi-dimensional array.
diracDelta - Static variable in class orbital.math.functional.Functions
diracDelta δ: M\{0}→{0}; x ↦ 0 if x≠0.
disable_tracing() - Method in class orbital.moon.logic.LogicParser
 
disjunctiveForm(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Transforms into disjunctive normal form (DNF).
disjunctiveForm(Formula, boolean) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Transforms into disjunctive normal form (DNF).
distance(Object, Object) - Method in interface orbital.math.Metric
Returns the distance of two objects.
distanceMeasure() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
 
distanceMeasure() - Method in interface orbital.algorithm.evolutionary.Gene
Get the distance measure for this class.
distanceMeasure() - Method in class orbital.algorithm.evolutionary.Gene.List
 
distanceMeasure() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
divide() - Method in interface orbital.algorithm.template.DivideAndConquerProblem
Divide this problem into several problem parts which can be solved independently.
divide(Arithmetic) - Method in interface orbital.math.Arithmetic
Divides this by an arithmetic object returning the result.
divide(Complex) - Method in interface orbital.math.Complex
divides two complex numbers.
divide(Fraction) - Method in interface orbital.math.Fraction
Divides two fractions returning a third as a result.
divide - Static variable in interface orbital.math.functional.Operations
divide ∕: A×A→A; (x,y) ↦ x∕y.
divide(Quotient) - Method in interface orbital.math.Quotient
 
divide(Rational) - Method in interface orbital.math.Rational
divides two rationals returning a third as a result
divide(Real) - Method in interface orbital.math.Real
 
DIVIDE - Static variable in interface orbital.moon.logic.LogicParserConstants
 
DivideAndConquer - Class in orbital.algorithm.template
Framework (template class) for Divide and Conquer Algorithms.
DivideAndConquer() - Constructor for class orbital.algorithm.template.DivideAndConquer
 
DivideAndConquerProblem - Interface in orbital.algorithm.template
Hook class for problems solved by DivideAndConquer.
domain() - Method in interface orbital.logic.sign.type.Type
Get the domain σ of a type σ→τ.
Done() - Method in class orbital.moon.logic.SimpleCharStream
 
doubleValue() - Method in class orbital.algorithm.evolutionary.Gene.Float
 
doubleValue() - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
doubleValue() - Method in interface orbital.math.Real
Returns the value of the specified real as a double.
DRASTIC - Static variable in class orbital.moon.logic.FuzzyLogic
Drastic operators in fuzzy logic.
drawAxis(Graphics) - Method in class orbital.awt.Plot2D
 
drawCenteredString(Graphics, String, int, int) - Static method in class orbital.awt.UIUtilities
draws a centered String.
drawGraph(Graphics, Matrix, Map) - Method in class orbital.awt.Plot2D
 
drawGraph(Graphics, Function, Map) - Method in class orbital.awt.Plot2D
 
dropQuantifiers(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Drop any quantifiers.
dSolve(Matrix, Vector, Real, Vector) - Static method in class orbital.math.AlgebraicAlgorithms
Symbolically solves ordinary differential equation system.
dSolve(BinaryFunction, Real, Vector, Real, Real, int, int) - Static method in class orbital.math.NumericalAlgorithms
Returns a numerical solution x of the differential equation x'(t) = f(t,x(t)), x(τ)=η on [a,b].
dSolve(BinaryFunction, Real, Vector, Real, Real, int, Matrix) - Static method in class orbital.math.NumericalAlgorithms
Returns a numerical solution x of the differential equation x'(t) = f(t,x(t)), x(τ)=η on [a,b].
dSolve(BinaryFunction, Real, Real, Real, Real, int, int) - Static method in class orbital.math.NumericalAlgorithms
Returns a numerical solution x of the one-dimensional differential equation x'(t) = f(t,x(t)), x(τ)=η on [a,b].
dSolve(BinaryFunction, Real, Real, Real, Real, int, Matrix) - Static method in class orbital.math.NumericalAlgorithms
Returns a numerical solution x of the one-dimensional differential equation x'(t) = f(t,x(t)), x(τ)=η on [a,b].
DynamicProgramming - Class in orbital.algorithm.template
Framework (template class) for Dynamic Programming Algorithms.
DynamicProgramming() - Constructor for class orbital.algorithm.template.DynamicProgramming
 
DynamicProgrammingOptimizingProblem - Class in orbital.algorithm.template
Base hook class for problems solved by DynamicProgramming for optimization.
DynamicProgrammingOptimizingProblem() - Constructor for class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
 
DynamicProgrammingProblem - Interface in orbital.algorithm.template
Hook class for problems solved by DynamicProgramming.

E

E() - Method in interface orbital.math.ValueFactory
e = 2.71828...
editable - Variable in class orbital.awt.NumberInput
 
elementwiseRecombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Gene.List
Implemented as element-wise recombination, each gene does recombine, separately.
EMPTY(Signature) - Static method in class orbital.logic.imp.InterpretationBase
The empty interpretation ∅ for the given signature.
EMPTY - Static variable in class orbital.logic.sign.SignatureBase
Empty signature ∅.
EMPTY_ITERATOR - Static variable in class orbital.util.Setops
An iterator over the empty collection.
EMPTY_LIST_ITERATOR - Static variable in class orbital.util.Setops
A list iterator over the empty list.
enable_tracing() - Method in class orbital.moon.logic.LogicParser
 
endColumn - Variable in class orbital.moon.logic.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
endLine - Variable in class orbital.moon.logic.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
ensureCapacity(int) - Method in class orbital.util.Buffer
Increases the capacity of this Buffer, if necessary, to ensure that it can hold at least the number of bytes specified by the minimum capacity argument.
entries() - Method in interface orbital.math.Tensor
Returns an iterator over our (relevant) entries (index, coefficient)-pairs.
entrySet() - Method in class orbital.util.DelegateMap
 
envelope(Object, BinaryFunction, Function, Predicate, Object) - Static method in class orbital.logic.functor.Functionals
envelope [[(c,f),(g,p)]] a.
EOF - Static variable in interface orbital.moon.logic.LogicParserConstants
 
EOL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
eol - Variable in exception orbital.moon.logic.ParseException
The end of line string for this machine.
epsilon(Collection, Predicate) - Static method in class orbital.util.Setops
Return any element of a collection that satisfies the specified predicate.
equal - Static variable in class orbital.logic.functor.Predicates
=.
equal - Static variable in interface orbital.math.functional.Operations
=.
EQUAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
EqualityExpression() - Method in class orbital.moon.logic.LogicParser
 
equals(Object) - Method in class orbital.algorithm.evolutionary.Gene.BitSet
 
equals(Object) - Method in class orbital.algorithm.evolutionary.Gene.BoundedFloat
Checks for equality.
equals(Object) - Method in class orbital.algorithm.evolutionary.Gene.BoundedInteger
 
equals(Object) - Method in interface orbital.algorithm.evolutionary.Gene
 
equals(Object) - Method in class orbital.algorithm.evolutionary.Gene.List
 
equals(Object) - Method in class orbital.algorithm.evolutionary.Gene.Number
Checks two gene numbers for equality according to their doubleValue.
equals(Object) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
equals(Object) - Method in class orbital.algorithm.evolutionary.Genome
 
equals(Object) - Method in class orbital.algorithm.evolutionary.Population
Checks for equality.
equals(Object) - Method in class orbital.algorithm.template.LocalOptimizerSearch.LocalSelection
Maintains the guarantee that all equal objects of the enumerated type are also identical.
equals(Object) - Method in interface orbital.algorithm.template.TransitionModel.Transition
Checks for equality.
equals(Object) - Method in class orbital.awt.ChartModel.Entry
 
equals(Object) - Method in class orbital.awt.Range
 
equals(Object) - Method in class orbital.logic.functor.Functionals.Anamorphism
 
equals(Object) - Method in class orbital.logic.functor.Functionals.Catamorphism
 
equals(Object) - Method in class orbital.logic.functor.Functionals.Hylomorphism
 
equals(Object) - Method in class orbital.logic.functor.Functionals.Paramorphism
 
equals(Object) - Method in interface orbital.logic.functor.Functor
.
equals(Object) - Method in class orbital.logic.functor.Functor.Specification
 
equals(Object) - Method in interface orbital.logic.imp.Formula
 
equals(Object) - Method in interface orbital.logic.imp.Interpretation
Checks two interpretations for extensional equality.
equals(Object) - Method in class orbital.logic.imp.InterpretationBase
 
equals(Object) - Method in class orbital.logic.sign.concrete.Notation
Maintains the guarantee that all equal objects of the enumerated type are also identical.
equals(Object) - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
 
equals(Object) - Method in interface orbital.logic.sign.Signature
Checks two signatures for extensional equality.
equals(Object) - Method in class orbital.logic.sign.SignatureBase
 
equals(Object) - Method in interface orbital.logic.sign.Symbol
Compares two symbols for equality according to their three components.
equals(Object) - Method in class orbital.logic.sign.SymbolBase
 
equals(Object) - Method in interface orbital.logic.sign.type.Type
Checks two types for equality.
equals(Object) - Method in interface orbital.logic.sign.type.TypeSystem
Checks whether two type systems are equal.
equals(Object) - Method in interface orbital.logic.trs.Substitution.Matcher
Whether this matcher equals another.
equals(Object, Real) - Method in interface orbital.math.Arithmetic
Compares two arithmetic objects for tolerant equality.
equals(Object) - Method in interface orbital.math.Complex
Compares two complex numbers for equality.
equals(double, double, double) - Static method in class orbital.math.MathUtilities
Checks whether two numbers are roughly equal.
equals(Arithmetic, Arithmetic, double) - Static method in class orbital.math.MathUtilities
 
equals(Object, Real) - Method in interface orbital.math.Symbol
Compares for tolerant equality.
equals(Object) - Method in interface orbital.math.Symbol
 
equals(Object) - Method in class orbital.moon.logic.ClassicalLogic.InferenceMechanism
Maintains the guarantee that all equal objects of the enumerated type are also identical.
equals(Object) - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
Maintains the guarantee that all equal objects of the enumerated type are also identical.
equals(Object) - Method in class orbital.moon.logic.UniqueSymbol
 
equals(Object) - Method in class orbital.util.DelegateCollection
Compares the specified object with this collection for equality.
equals(Object) - Method in class orbital.util.DelegateMap
 
equals(Object) - Method in class orbital.util.KeyValuePair
Checks two KeyValuePair objects for equal keys.
equals(Object) - Method in class orbital.util.Pair
Checks two Pair objects for equal A and equal B.
equals(Object) - Method in class orbital.util.ReverseComparator
 
equals(Object, Object) - Static method in class orbital.util.Utility
Check whether two objects are equal.
equalsAll(Object, Object) - Static method in class orbital.util.Utility
Check whether two objects are equal (and their array components, as well).
equiv(Formula) - Method in interface orbital.logic.imp.Formula
Equivalence equiv: FG.
equiv(Formula) - Method in class orbital.logic.imp.LogicBasis
Equivalence equiv: A ⇔ B is calced (A→B) ∧ (B→A)
equiv - Static variable in interface orbital.moon.logic.functor.Operations
 
EQUIV - Static variable in interface orbital.moon.logic.LogicParserConstants
 
EquivalenceExpression() - Method in class orbital.moon.logic.LogicParser
 
Euclidean - Interface in orbital.math
Euclidean ring interface.
evaluate(Population, boolean) - Method in class orbital.algorithm.evolutionary.Genome
Evaluates the fitness of the Genomes, if necessary.
evaluate(boolean) - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Evaluate and resort population waiting for all current evaluator threads to stop.
evaluate(Genome, boolean) - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Concurrently evaluate a genome.
evaluate(boolean) - Method in class orbital.algorithm.evolutionary.Population
Evaluates the fitness of the Genomes, if necessary.
Evaluations - Class in orbital.math
Deprecated. since Orbital1.1 This class is deprecated since its (simple) methods are mere facades for convenience. Directly use the functions in Operations and Functionals, instead.
EvaluativeAlgorithm - Interface in orbital.algorithm.template
Interface for evaluative algorithms.
EvaluativeAlgorithm.EvaluationComparator - Class in orbital.algorithm.template
The canonical comparator induced by the evaluation function f(n).
EvaluativeAlgorithm.EvaluationComparator(Function) - Constructor for class orbital.algorithm.template.EvaluativeAlgorithm.EvaluationComparator
Create a new comparator for states compared by their evaluation values.
EvaluativeAlgorithm.EvaluationComparator(EvaluativeAlgorithm) - Constructor for class orbital.algorithm.template.EvaluativeAlgorithm.EvaluationComparator
Create a new comparator for states compared by their evaluation values.
even(int) - Static method in class orbital.math.MathUtilities
This function is true only when the value is an even number.
EventObjectListener - Interface in orbital.util
EventObjectListener (Notify) callback interface is a description of a listen-mechanism to react on all types of EventObjects at once.
eventObjectOccured(EventObject) - Method in interface orbital.util.EventObjectListener
called back when EventObjectListener is notified.
evolve() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
evolve() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
evolves to the next generation for this population.
evolve() - Method in class orbital.algorithm.evolutionary.IncrementalGeneticAlgorithm
 
evolve() - Method in class orbital.algorithm.evolutionary.SimpleGeneticAlgorithm
 
evolve() - Method in class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm
 
evolve() - Method in class orbital.moon.evolutionary.BreederControl
Evolves and updates view.
exchangeEvaluators() - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Exchanges evaluators for this generation.
ExclusiveOrExpression() - Method in class orbital.moon.logic.LogicParser
 
existentialClosure(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Get the ∃-closure of a formula.
exists(Symbol) - Method in interface orbital.logic.imp.Formula
Existential-quantifier exists: ∃x F.
exists(Symbol) - Method in class orbital.logic.imp.LogicBasis
Existence-quantifier exists: x A is calced ¬∀x ¬A.
EXISTS - Static variable in interface orbital.moon.logic.LogicParserConstants
 
exp - Static variable in class orbital.math.functional.Functions
exp: CC\{0}; x ↦ ex = ∑n=0 xn / n!.
exp(Arithmetic) - Static method in class orbital.math.functional.Functions
expb: CC\{0}; x ↦ bx .
ExpandBuff(boolean) - Method in class orbital.moon.logic.SimpleCharStream
 
expectedTokenSequences - Variable in exception orbital.moon.logic.ParseException
Each entry in this array is an array of integers.
EXPONENT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
exportGenome(Genome, OutputStream) - Method in class orbital.moon.evolutionary.BreederControl
Save genome to export.
Expression - Interface in orbital.logic.sign
An interface for representations of expressions.
expression() - Method in class orbital.moon.logic.LogicParser
Central expression parsing production.
Expression.Composite - Interface in orbital.logic.sign
The base interface for all composite expressions that are composed of other expressions.
ExpressionBuilder - Interface in orbital.logic.sign
Defines a general interface for constructing complex expressions.
ExpressionSyntax - Interface in orbital.logic.sign
Defines general methods for constructing and handling expressions of a formal language.

F

f - Variable in class orbital.logic.functor.Functionals.Catamorphism
the function f:A×B=A||B→B used to fold the list a with.
factorial(int) - Static method in class orbital.math.MathUtilities
n! factorial.
factorize() - Method in interface orbital.moon.logic.resolution.Clause
Get all factors of F.
factorize() - Method in class orbital.moon.logic.resolution.ClauseImpl
 
factorize(Collection) - Method in class orbital.moon.logic.resolution.ClauseImpl
Factorize a clause by the specified literals.
factorize2(Collection) - Method in class orbital.moon.logic.resolution.ClauseImpl
Workaround for returning 2 arguments.
FactoryConfigurationError - Error in orbital.logic.sign.type
Thrown when a problem with configuration of the factories exists.
FactoryConfigurationError(String, Throwable) - Constructor for error orbital.logic.sign.type.FactoryConfigurationError
 
FactoryConfigurationError - Error in orbital.math
Thrown when a problem with configuration of the factories exists.
FactoryConfigurationError(String, Throwable) - Constructor for error orbital.math.FactoryConfigurationError
 
FALSE - Static variable in class orbital.logic.functor.Predicates
false = ⊥.
file - Variable in class orbital.moon.evolutionary.BreederControl
Current population file processed.
fileExit_actionPerformed(ActionEvent) - Method in class orbital.moon.evolutionary.BreederControl
 
FillBuff() - Method in class orbital.moon.logic.SimpleCharStream
 
Filters - Class in orbital.util
Collection filtering implementations.
Filters() - Constructor for class orbital.util.Filters
 
find(Collection, Predicate) - Static method in class orbital.util.Setops
Return the first object in a collection that satisfies the specified predicate.
find(Iterator, Predicate) - Static method in class orbital.util.Setops
 
first() - Method in class orbital.util.DelegateSortedSet
 
first - Static variable in class orbital.util.Filters
Filter for first element.
FIRST_LOCAL_SELECTION - Static variable in class orbital.algorithm.template.LocalOptimizerSearch
+ attempt a randomly chosen local transition.
fixedPoint(Function, Object, int) - Static method in class orbital.logic.functor.Functionals
fixedPoint starts with an object, then applies f repeatedly until the result no longer changes.
fixedPoint(Function, Object) - Static method in class orbital.logic.functor.Functionals
 
FLAT_HIERARCHY - Static variable in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
Implemented as flat hierarchy comparison.
flexible(AlgorithmicProblem, Map, Class) - Static method in class orbital.algorithm.template.AlgorithmicTemplate.Configuration
Create a new flexible configuration.
flip(Random, double) - Static method in class orbital.util.Utility
Flips to true with a given probability.
FLOATING_POINT_LITERAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
floatValue() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
floatValue() - Method in interface orbital.math.Real
Returns the value of the specified real as a float.
floory(double, double) - Static method in class orbital.math.MathUtilities
Returns the largest (closest to positive infinity) double value that is not greater than the argument and is equal for at least a precision value.
floory(double) - Static method in class orbital.math.MathUtilities
 
FOLD_LOGICAL_JUNCTOR - Static variable in interface orbital.moon.logic.functor.Operations
 
foldLeft(BinaryFunction, Object, Object[]) - Static method in class orbital.logic.functor.Functionals
Folds a list with a BinaryFunction.
foldLeft(BinaryFunction, Object, Iterator) - Static method in class orbital.logic.functor.Functionals
 
foldLeft(BinaryFunction, Object, Collection) - Static method in class orbital.logic.functor.Functionals
 
foldRight(BinaryFunction, Object, Object[]) - Static method in class orbital.logic.functor.Functionals
Folds a list with a BinaryFunction.
foldRight(BinaryFunction, Object, List) - Static method in class orbital.logic.functor.Functionals
efficient foldRight for lists.
foldRight(BinaryFunction, Object, Collection) - Static method in class orbital.logic.functor.Functionals
 
foldRight(BinaryFunction, Object, Iterator) - Static method in class orbital.logic.functor.Functionals
 
foldRight(BinaryFunction, double, double[]) - Static method in class orbital.math.functional.Functionals
 
forall(Symbol) - Method in interface orbital.logic.imp.Formula
Universal-quantifier forall: ∀x F.
forall(Symbol) - Method in class orbital.logic.imp.LogicBasis
All-quantifier forall: x A is calced ¬∃x ¬A.
FORALL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
forallMembers(Object, Predicate) - Static method in class orbital.util.Utility
Applies a Predicate to all member fields of an object, as long as the predicate returns true.
forallPublicMembers(Object, Predicate) - Static method in class orbital.util.Utility
Applies a Predicate to all public member fields of an object, as long as the predicate returns true.
FORMAL_COMMENT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
format(Object, Object) - Method in class orbital.logic.sign.concrete.Notation
Format compositor with arguments in this notation.
format(Arithmetic) - Method in class orbital.math.ArithmeticFormat
Get a formatted string representation of an arithmetic object.
format(Scalar) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Tensor) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Vector) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Matrix) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Complex) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Real) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Rational) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Integer) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Polynomial) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(UnivariatePolynomial) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Quotient) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Fraction) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Symbol) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(MathFunctor) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Object, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
 
format(Arithmetic, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
 
format(Scalar, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format, formatting scalar objects as they please.
format(Tensor, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format, formatting tensor objects as they please.
format(Vector, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Matrix, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Complex, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Real, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Rational, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Integer, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Polynomial, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(UnivariatePolynomial, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Quotient, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Fraction, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(Symbol, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(MathFunctor, StringBuffer, FieldPosition) - Method in class orbital.math.ArithmeticFormat
Specialization of format.
format(double, int) - Static method in class orbital.math.MathUtilities
Formats a numeric double-value as a String representation with a specified number of precision digits.
format(double) - Static method in class orbital.math.MathUtilities
formats a numeric double-value.
format(byte[]) - Static method in class orbital.math.MathUtilities
 
format(Object) - Static method in class orbital.math.MathUtilities
Formats an object as a String representation.
format(String, Object) - Static method in class orbital.util.Utility
Format a generalized iteratable inserting delimiters between the individual elements.
Formula - Interface in orbital.logic.imp
A formula interface for presentations of formal logic.
Formula.Composite - Interface in orbital.logic.imp
Interface for composite formulas.
fract(double) - Static method in class orbital.math.MathUtilities
Returns the fractional part of a double value that is in range of [0,1[ and is equal for all fractional digits.
Fraction - Interface in orbital.math
Representation of a fraction a⁄s ∈ S-1M = MS.
fraction(Arithmetic, Arithmetic) - Method in interface orbital.math.ValueFactory
Returns a new fraction a⁄s ∈ S-1M = MS.
fraction(Arithmetic) - Method in interface orbital.math.ValueFactory
Returns a new fraction a⁄1 ∈ S-1M = MS.
FreeDeclarationExpression() - Method in class orbital.moon.logic.LogicParser
free scope "quantifier" A "quantifier" with a purely syntactic function of declaring a variable.
FULLFIX - Static variable in class orbital.logic.sign.concrete.Notation
Specifies full-bracket mixed notation "(a*(b+f(c))) + d".
Function - Interface in orbital.logic.functor
A functor that encapsulates the unary function f/1 which is kind of the most general Functor.
Function - Interface in orbital.math.functional
This interface encapsulates a mathematical unary function "r = f(x)".
Function.Composite - Interface in orbital.logic.functor
A composed Function.
Function.Composite - Interface in orbital.math.functional
A composite function.
functionalRegression(Function, Matrix) - Static method in class orbital.math.Stat
Performs linear regression to estimate a composed function with least squares.
Functionals - Class in orbital.logic.functor
Provides important compositional functionals for functors.
Functionals() - Constructor for class orbital.logic.functor.Functionals
prevent instantiation - module class
functionals - Static variable in class orbital.logic.functor.Functionals
Class alias object.
Functionals - Class in orbital.math.functional
Provides important compositional functionals for mathematical functions.
Functionals() - Constructor for class orbital.math.functional.Functionals
prevent instantiation - module class
functionals - Static variable in class orbital.math.functional.Functionals
Class alias object.
Functionals.Anamorphism - Class in orbital.logic.functor
Anamorphism recursion functional scheme (lense).
Functionals.Anamorphism(Function, Predicate) - Constructor for class orbital.logic.functor.Functionals.Anamorphism
Constructs a new anamorphism |(g,p)|:B→A*.
Functionals.Catamorphism - Class in orbital.logic.functor
Catamorphism recursion functional scheme (banana).
Functionals.Catamorphism(Object, BinaryFunction) - Constructor for class orbital.logic.functor.Functionals.Catamorphism
Constructs a new catamorphism (|c,f|):A*→B.
Functionals.Hylomorphism - Class in orbital.logic.functor
Hylomorphism recursion functional scheme (envelope).
Functionals.Hylomorphism(Object, BinaryFunction, Function, Predicate) - Constructor for class orbital.logic.functor.Functionals.Hylomorphism
Constructs a new hylomorphism [[(c,f),(g,p)]]:A→C.
Functionals.Paramorphism - Class in orbital.logic.functor
Paramorphism recursion functional scheme (barbed wire).
Functionals.Paramorphism(Object, BinaryFunction) - Constructor for class orbital.logic.functor.Functionals.Paramorphism
Constructs a new paramorphism {|b,f|}:A*→B.
Functions - Class in orbital.logic.functor
Function Implementations.
functions - Static variable in class orbital.logic.functor.Functions
Class alias object.
Functions - Class in orbital.math.functional
Common function implementations.
functions - Static variable in class orbital.math.functional.Functions
Class alias object.
Functor - Interface in orbital.logic.functor
An abstract base interface for all functors of an arity n applicable in any predicate-logic style.
Functor.Composite - Interface in orbital.logic.functor
The base interface for all functors that are composed of other functors.
Functor.Specification - Class in orbital.logic.functor
Represents a signature and type specification belonging to a functor.
Functor.Specification(Class[], Class) - Constructor for class orbital.logic.functor.Functor.Specification
Create an exact specification with all properties declared.
Functor.Specification(Functor.Specification[], Functor.Specification) - Constructor for class orbital.logic.functor.Functor.Specification
Create an exact specification with all properties declared.
Functor.Specification(Class[]) - Constructor for class orbital.logic.functor.Functor.Specification
Create an exact predicate specification with all properties declared.
Functor.Specification(int, Class) - Constructor for class orbital.logic.functor.Functor.Specification
Create an exact specification with the arity and return-type set.
Functor.Specification(int) - Constructor for class orbital.logic.functor.Functor.Specification
Create an exact specification with solely the arity set.
Functor.Specification(String, Class[], Class) - Constructor for class orbital.logic.functor.Functor.Specification
Create a non-conform specification with all properties declared.
FuzzyLogic - Class in orbital.moon.logic
Implementation of quantitative fuzzy logics.
FuzzyLogic() - Constructor for class orbital.moon.logic.FuzzyLogic
 
FuzzyLogic(FuzzyLogic.OperatorSet) - Constructor for class orbital.moon.logic.FuzzyLogic
Create a new fuzzy logic implementation with a specific operator set.
FuzzyLogic.OperatorSet - Class in orbital.moon.logic
Specifies the type of fuzzy logic to use.
FuzzyLogic.OperatorSet(String) - Constructor for class orbital.moon.logic.FuzzyLogic.OperatorSet
 

G

ga - Variable in class orbital.moon.evolutionary.BreederControl
The current genetic algorithm.
gaussian(double) - Static method in class orbital.math.MathUtilities
Returns the Gaussian integer part of a double value.
GaussSeidelDynamicProgramming - Class in orbital.algorithm.template
Gauß-Seidel dynamic programming.
GaussSeidelDynamicProgramming(Function, Collection, double) - Constructor for class orbital.algorithm.template.GaussSeidelDynamicProgramming
 
gcd - Static variable in class orbital.math.AlgebraicAlgorithms
Returns greatest common divisor (gcd) of two elements of an (Euclidean) ring.
gcd(Euclidean, Euclidean) - Static method in class orbital.math.AlgebraicAlgorithms
Returns greatest common divisor (gcd) of two elements of an (Euclidean) ring.
gcd(Euclidean[]) - Static method in class orbital.math.AlgebraicAlgorithms
n-ary and extended gcd.
gcd(Euclidean, Euclidean) - Static method in class orbital.math.MathUtilities
Deprecated. Use AlgebraicAlgorithms.gcd(Euclidean,Euclidean) instead.
gcd(Euclidean[]) - Static method in class orbital.math.MathUtilities
Deprecated. Use AlgebraicAlgorithms.gcd(Euclidean[]) instead.
gcd(int, int) - Static method in class orbital.math.MathUtilities
Returns greatest common divisor (GCD) of two integers.
Gene - Interface in orbital.algorithm.evolutionary
Base interface for a gene data model in a genome.
Gene.BitSet - Class in orbital.algorithm.evolutionary
Bit string gene.
Gene.BitSet(int) - Constructor for class orbital.algorithm.evolutionary.Gene.BitSet
Create a Gene of a certain length.
Gene.BoundedFloat - Class in orbital.algorithm.evolutionary
Bounded floating point gene data.
Gene.BoundedFloat(double, double, double) - Constructor for class orbital.algorithm.evolutionary.Gene.BoundedFloat
 
Gene.BoundedFloat(double, double) - Constructor for class orbital.algorithm.evolutionary.Gene.BoundedFloat
Construct a non-initialized BoundedFloat.
Gene.BoundedInteger - Class in orbital.algorithm.evolutionary
Bounded integer gene data.
Gene.BoundedInteger(int, int, int) - Constructor for class orbital.algorithm.evolutionary.Gene.BoundedInteger
 
Gene.BoundedInteger(int, int) - Constructor for class orbital.algorithm.evolutionary.Gene.BoundedInteger
 
Gene.Fixed - Class in orbital.algorithm.evolutionary
Fixed point gene data.
Gene.Fixed(int, int) - Constructor for class orbital.algorithm.evolutionary.Gene.Fixed
 
Gene.Float - Class in orbital.algorithm.evolutionary
Floating point gene data.
Gene.Float(double) - Constructor for class orbital.algorithm.evolutionary.Gene.Float
 
Gene.Float() - Constructor for class orbital.algorithm.evolutionary.Gene.Float
Construct a non-initialized Float.
Gene.Integer - Class in orbital.algorithm.evolutionary
Integer gene data.
Gene.Integer(int) - Constructor for class orbital.algorithm.evolutionary.Gene.Integer
 
Gene.Integer() - Constructor for class orbital.algorithm.evolutionary.Gene.Integer
Construct a non-initialized Integer.
Gene.List - Class in orbital.algorithm.evolutionary
Represents a container gene that contains a list of other genes.
Gene.List(Class, int) - Constructor for class orbital.algorithm.evolutionary.Gene.List
new list of Genes.
Gene.List() - Constructor for class orbital.algorithm.evolutionary.Gene.List
 
Gene.Number - Class in orbital.algorithm.evolutionary
Numeric gene data.
Gene.Number() - Constructor for class orbital.algorithm.evolutionary.Gene.Number
 
GeneralBoundingSearch - Class in orbital.algorithm.template
Abstract general bounding search scheme.
GeneralBoundingSearch() - Constructor for class orbital.algorithm.template.GeneralBoundingSearch
 
GeneralComplexionException - Error in orbital.util
This Error is thrown like an UnknownError whenever really big nonsense happens which cannot be categorized any further.
GeneralComplexionException(String) - Constructor for error orbital.util.GeneralComplexionException
 
GeneralComplexionException() - Constructor for error orbital.util.GeneralComplexionException
 
GeneralSearch - Class in orbital.algorithm.template
Abstract general search algorithm scheme.
GeneralSearch() - Constructor for class orbital.algorithm.template.GeneralSearch
 
GeneralSearch.OptionIterator - Class in orbital.algorithm.template
Abstract implementation base class for iterators determining the traversal order.
GeneralSearch.OptionIterator(GeneralSearchProblem) - Constructor for class orbital.algorithm.template.GeneralSearch.OptionIterator
Create a traversal iterator over the problem's state options.
GeneralSearchProblem - Interface in orbital.algorithm.template
Hook class for GeneralSearch algorithm.
GeneralSearchProblem.Transition - Class in orbital.algorithm.template
Represents an option node during a search problem.
GeneralSearchProblem.Transition(Object, Real) - Constructor for class orbital.algorithm.template.GeneralSearchProblem.Transition
Create a new option ⟨a,c⟩.
GeneralSearchProblem.Transition(Object, double) - Constructor for class orbital.algorithm.template.GeneralSearchProblem.Transition
Deprecated. convenience constructor, prefer to use ValueFactory.valueOf(double)..
generateParseException() - Method in class orbital.moon.logic.LogicParser
 
generatePrime(int, int, Random, boolean) - Static method in class orbital.math.MathUtilities
Generate a probable prime number.
generatePrime(int, Random) - Static method in class orbital.math.MathUtilities
Generate a true prime number.
genericCompose(Function, Object) - Static method in class orbital.logic.functor.Functionals
Deprecated. Use Functionals.compose instead.
genericCompose(BinaryFunction, Object, Object) - Static method in class orbital.logic.functor.Functionals
generic compose calls the compose function appropriate for the type of g and h.
genericCompose(BinaryPredicate, Object, Object) - Static method in class orbital.logic.functor.Functionals
generic compose calls the compose function appropriate for the type of g and h.
genericCompose(Function, Object) - Static method in class orbital.math.functional.Functionals
generic compose calls the compose function appropriate for the type of g.
genericCompose(Object) - Static method in class orbital.math.functional.Functionals
generic compose uses component compose function appropriate for the type of g.
genericCompose(BinaryFunction, Object, Object) - Static method in class orbital.math.functional.Functionals
generic compose calls the compose function appropriate for the type of g and h.
GeneticAlgorithm - Class in orbital.algorithm.evolutionary
A base class for genetic algorithms.
GeneticAlgorithm() - Constructor for class orbital.algorithm.evolutionary.GeneticAlgorithm
Construct a new GeneticAlgorithm.
GeneticAlgorithm.Configuration - Class in orbital.algorithm.evolutionary
Algorithmic configuration objects for genetic algorithms.
GeneticAlgorithm.Configuration(GeneticAlgorithmProblem, Function, int, int, double, double, Class) - Constructor for class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Construct a new configuration.
GeneticAlgorithm.Configuration(GeneticAlgorithmProblem, Function, double, double, Class) - Constructor for class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
 
GeneticAlgorithm.Configuration(GeneticAlgorithmProblem, Function, Class) - Constructor for class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
 
GeneticAlgorithmBeanInfo - Class in orbital.algorithm.evolutionary
 
GeneticAlgorithmBeanInfo() - Constructor for class orbital.algorithm.evolutionary.GeneticAlgorithmBeanInfo
 
GeneticAlgorithmProblem - Interface in orbital.algorithm.evolutionary
Hook class for problems solved by GeneticAlgorithm.
Genome - Class in orbital.algorithm.evolutionary
The Genome data in a population represents a state.
Genome() - Constructor for class orbital.algorithm.evolutionary.Genome
 
Genome(Gene) - Constructor for class orbital.algorithm.evolutionary.Genome
Construct a genome with a single gene.
geometricMean(double[]) - Static method in class orbital.math.Stat
Returns the geometric mean of a set of n values.
get(int) - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Get the boolean value at index.
get() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
 
get() - Method in class orbital.algorithm.evolutionary.Gene.Fixed
 
get() - Method in class orbital.algorithm.evolutionary.Gene.Float
 
get() - Method in interface orbital.algorithm.evolutionary.Gene
Get the gene interpretation value.
get() - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
get() - Method in class orbital.algorithm.evolutionary.Gene.List
 
get(int) - Method in class orbital.algorithm.evolutionary.Genome
Use with care! Will not clear fitness if the return-value is modified.
get() - Method in class orbital.algorithm.evolutionary.Genome
Use with care!! Will not clear fitness if the return-value is modified.
get(int) - Method in class orbital.algorithm.evolutionary.Population
Gets the i-th member-Genome.
get(int, boolean) - Method in class orbital.algorithm.evolutionary.Population
Get the i-th member in the order specified.
get(Object) - Method in interface orbital.logic.imp.Interpretation
Get the referent associated with the given symbol in this interpretation.
get(Object) - Method in class orbital.logic.imp.InterpretationBase
 
get(String, Object[]) - Method in interface orbital.logic.sign.Signature
Returns the symbol with the specified signifier of a functor.
get(String, Type) - Method in interface orbital.logic.sign.Signature
Returns the symbol with the specified signifier.
get(String, Object[]) - Method in class orbital.logic.sign.SignatureBase
 
get(String, Type) - Method in class orbital.logic.sign.SignatureBase
 
get(int, int) - Method in interface orbital.math.Matrix
Returns the component value at a position (i|j).
get(Arithmetic) - Method in interface orbital.math.Polynomial
Get the i-th coefficient.
get(int[]) - Method in interface orbital.math.Tensor
Get the component specified by index.
get(int) - Method in interface orbital.math.UnivariatePolynomial
Get the coefficient of Xi.
get(int) - Method in interface orbital.math.Vector
Returns the value at the component specified by index.
get(int) - Method in class orbital.util.DelegateList
 
get(Object) - Method in class orbital.util.DelegateMap
 
getA() - Method in class orbital.util.Pair
 
getAccumulatedCostFunction() - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
 
getAccumulatedCostFunction() - Method in interface orbital.algorithm.template.GeneralSearchProblem
Get the accumulated cost function.
getAccumulatedCostFunction() - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
 
getAction() - Method in class orbital.algorithm.template.GeneralSearchProblem.Transition
Get the action.
getActionValue(Function) - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Get the action-value cost function of an action and state.
getAdditionalBeanInfo() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithmBeanInfo
 
getAdditionalBeanInfo() - Method in class orbital.algorithm.evolutionary.PopulationImplBeanInfo
 
getAdditionalBeanInfo() - Method in class orbital.awt.ImageCanvasBeanInfo
 
getAlgorithm() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
 
getAlgorithm() - Method in interface orbital.algorithm.template.AlgorithmicConfiguration
Gets the algorithm used for solving the problem.
getAlgorithm() - Method in class orbital.algorithm.template.AlgorithmicTemplate.Configuration
 
getAlgorithm() - Method in class orbital.algorithm.template.HeuristicAlgorithm.Configuration
 
getAlgorithm() - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
Get the algorithm using this (randomized) iterator.
getAllPropertyDescriptors(BeanInfo) - Method in class orbital.moon.awt.DefaultCustomizer
Get all PropertyDescriptors from the BeanInfo including its additonal BeanInfos.
getAssociativity() - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
Get the associativity specification of the sign.
getAsText() - Method in class orbital.awt.TaggedPropertyEditorSupport
 
getAttributes() - Method in class orbital.awt.ChartModel.Entry
 
getB() - Method in class orbital.util.Pair
 
getBeanClass() - Method in class orbital.moon.awt.DefaultCustomizer
get the class of the bean this customizer is responsible for.
getBeanDescriptor() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithmBeanInfo
 
getBeanDescriptor() - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo
 
getBeanDescriptor() - Method in class orbital.algorithm.evolutionary.PopulationImplBeanInfo
 
getBeanDescriptor() - Method in class orbital.awt.NumberInputBeanInfo
 
getBeanDescriptor() - Method in class orbital.awt.Plot2DBeanInfo
 
getBeanInfo(Class) - Method in class orbital.moon.awt.DefaultCustomizer
Get the BeanInfo of a class.
getBeginColumn() - Method in class orbital.moon.logic.SimpleCharStream
 
getBeginLine() - Method in class orbital.moon.logic.SimpleCharStream
 
getBound() - Method in class orbital.algorithm.template.GeneralBoundingSearch
Get the current bound.
getBoundVariables() - Method in interface orbital.logic.imp.Formula
Get the set of the bound variables of this formula.
getBuffer() - Method in class orbital.util.Buffer
Gets the whole underlying byte-buffer containing the data (size like the whole capacity).
getBytes() - Method in class orbital.util.Buffer
Get a copy of the buffer.
getBytes(int) - Method in class orbital.util.Buffer
Get a part of the buffer, beginning at front (index 0).
getBytes(int, int) - Method in class orbital.util.Buffer
Get a part of the buffer.
getBytes(int, byte[], int, int) - Method in class orbital.util.Buffer
Get a part of the buffer into a specified byte-array.
getChildrenCount() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Get the number of children produced with one reproduction involving parentCount parents.
getChildrenCount() - Method in class orbital.algorithm.evolutionary.PopulationImpl
Get the number of children produced with one reproduction involving parentCount parents.
getClausalFactory() - Static method in class orbital.moon.logic.resolution.ClauseImpl
 
getClausalFactory() - Static method in class orbital.moon.logic.resolution.ResolutionBase
 
getCoefficients() - Method in interface orbital.math.UnivariatePolynomial
Returns an array containing all the coefficients of this polynomial.
getCoefficientVector() - Method in interface orbital.math.UnivariatePolynomial
Returns a vector view of all the coefficients of this polynomial.
getCoercer() - Method in interface orbital.math.ValueFactory
Get the transformation function for coercing arithmetic objects.
getCoercer(boolean) - Method in interface orbital.math.ValueFactory
Get the transformation function for coercing arithmetic objects taking into account commutativity.
getColumn(int) - Method in interface orbital.math.Matrix
Returns the column vector view of a column.
getColumn() - Method in class orbital.moon.logic.SimpleCharStream
Deprecated.  
getColumnNumber() - Method in exception orbital.logic.sign.ParseException
The column number of the end of the text where the exception occurred.
getColumns() - Method in interface orbital.math.Matrix
Returns an iterator over the column vectors.
getCombinations(int, int, boolean) - Static method in class orbital.algorithm.Combinatorical
Get all r-combinations of n elements.
getComponent() - Method in interface orbital.logic.Composite
Get the inner component.
getCompositor() - Method in interface orbital.logic.Composite
Get the outer compositor.
getConcurrenceComparisons() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
Returns the number of concurrence comparisons required for current population.
getConcurrenceType() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
getCost() - Method in class orbital.algorithm.template.GeneralSearchProblem.Transition
 
getCost() - Method in class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition
 
getCost() - Method in interface orbital.algorithm.template.MarkovDecisionProblem.Transition
Get the cost of taking the action leading to this transition.
getCustomEditor() - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo.PopulationEditor
 
getDefault() - Static method in class orbital.logic.sign.concrete.Notation
Get the notation used for the synonym DEFAULT.
getDefault() - Static method in class orbital.logic.sign.type.Types
Get the (single) default type system instance.
getDefault() - Static method in class orbital.math.Values
Get the (single) default value factory instance.
getDefaultInstance() - Static method in class orbital.math.ArithmeticFormat
Get the default instance of format that does scientific mathematical formatting.
getDefaultInstance() - Static method in class orbital.math.Values
Get the (single) default instance of this factory.
getDefaultPrecisionDigits() - Static method in class orbital.math.MathUtilities
Get the default number of precision digits (for display etc.).
getDefaultTolerance() - Static method in class orbital.math.MathUtilities
Get the default tolerance for two numbers to be treated equal.
getDelegatee() - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
Get the value of problem.
getDelegatee() - Method in class orbital.util.DelegateCollection
Get the delegatee Collection to which operations are delegated.
getDelegatee() - Method in class orbital.util.DelegateIterator
Get the delegatee Iterator to which operations are delegated.
getDelegatee() - Method in class orbital.util.DelegateMap
Get the delegatee map to which operations are delegated.
getDiagonal() - Method in interface orbital.math.Matrix
Returns the main-diagonal-vector of this square matrix.
getDiscount() - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Get the discount factor γ.
getEndColumn() - Method in class orbital.moon.logic.SimpleCharStream
 
getEndLine() - Method in class orbital.moon.logic.SimpleCharStream
 
getEqualizer() - Static method in class orbital.math.MathUtilities
Deprecated. Since Orbital.1.1 use Values.getDefault().ValueFactory.getCoercer() instead.
getErrorOffset() - Method in exception orbital.logic.sign.ParseException
Returns the position where the error was found.
getEvaluation() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Get the evaluation function.
getEvaluation() - Method in interface orbital.algorithm.evolutionary.GeneticAlgorithmProblem
Get the evaluation objective function.
getEvaluation() - Method in class orbital.algorithm.template.AStar
f(n) = g(n) + h(n).
getEvaluation() - Method in class orbital.algorithm.template.BranchAndBound
f(n) = g(n) + h(n).
getEvaluation() - Method in interface orbital.algorithm.template.EvaluativeAlgorithm
Get the evaluation function used while processing.
getEvaluation() - Method in interface orbital.algorithm.template.HeuristicAlgorithm
Get the evaluation function used while processing..
getEvaluation() - Method in class orbital.algorithm.template.HillClimbing
f(n) = h(n).
getEvaluation() - Method in class orbital.algorithm.template.IterativeBroadening
 
getEvaluation() - Method in class orbital.algorithm.template.IterativeDeepening
f(n) = g(n).
getEvaluation() - Method in class orbital.algorithm.template.IterativeDeepeningAStar
f(n) = g(n) + h(n).
getEvaluation() - Method in class orbital.algorithm.template.IterativeExpansion
f(n) = g(n) + h(n).
getEvaluation() - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
f(s) = h(s).
getEvaluation() - Method in class orbital.algorithm.template.SimulatedAnnealing
f(n) = h(n).
getEvaluation() - Method in class orbital.algorithm.template.ThresholdAccepting
f(n) = h(n).
getEvaluation() - Method in class orbital.algorithm.template.WAStar
f(n) = g(n) + W*h(n).
getEvaluators() - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Get the master thread group for all evaluation threads started to evaluate some fitness values of the members.
getFitness() - Method in class orbital.algorithm.evolutionary.Genome
Get the fitness calculated the least recently.
getFitnessArray() - Method in class orbital.algorithm.evolutionary.Population
Returns an array with the fitness values of all genomes.
getFractionalGranularity() - Method in class orbital.algorithm.evolutionary.Gene.Fixed
Get the number of bits for the fractional part.
getFreeVariables() - Method in interface orbital.logic.imp.Formula
Get the set of the free variables of this formula.
getFreeVariables() - Method in interface orbital.moon.logic.resolution.Clause
Get the free variables of a formula represented as a clause.
getFreeVariables() - Method in class orbital.moon.logic.resolution.ClauseImpl
 
getGeneration() - Method in class orbital.algorithm.evolutionary.Population
Get the current generation count.
getGenerationEvaluators() - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Get the current thread group for all evaluation threads started during this generation to evaluate some fitness values of the members.
getGeneticAlgorithm() - Method in class orbital.moon.evolutionary.BreederControl
Get the current genetic algorithm used for solving.
getGeneticAlgorithmProblem() - Method in class orbital.moon.evolutionary.BreederControl
Get the current genetic algorithm problem to solve.
getGraph() - Method in class orbital.awt.ChartModel.Entry
 
getGraphCount() - Method in class orbital.awt.ChartModel
Get the number of graphs displayed.
getGraphs() - Method in class orbital.awt.ChartModel
Get the List of graphs to be displayed.
getGreedyPolicy(BinaryFunction) - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Get a greedy policy with respect to an action-value cost function Q.
getHeuristic() - Method in class orbital.algorithm.template.AStar
 
getHeuristic() - Method in class orbital.algorithm.template.BranchAndBound
 
getHeuristic() - Method in class orbital.algorithm.template.HeuristicAlgorithm.Configuration
 
getHeuristic() - Method in interface orbital.algorithm.template.HeuristicAlgorithm
Get the heuristic function used.
getHeuristic() - Method in class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
Get the backing heuristic.
getHeuristic() - Method in class orbital.algorithm.template.HillClimbing
 
getHeuristic() - Method in class orbital.algorithm.template.IterativeDeepeningAStar
 
getHeuristic() - Method in class orbital.algorithm.template.IterativeExpansion
 
getHeuristic() - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
 
getIcon(int) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithmBeanInfo
 
getIcon(int) - Method in class orbital.awt.ImageCanvasBeanInfo
 
getIcon(int) - Method in class orbital.awt.NumberInputBeanInfo
 
getIcon(int) - Method in class orbital.awt.Plot2DBeanInfo
 
getImage() - Method in class orbital.awt.ImageCanvas
get the image to be shown on the canvas.
GetImage() - Method in class orbital.moon.logic.SimpleCharStream
 
getIncomparableObjects() - Method in exception orbital.util.IncomparableException
Get the objects which are incomparable, but have been attempted to compare.
getInferenceMechanism() - Method in class orbital.moon.logic.ClassicalLogic
 
getInitialCandidates() - Method in interface orbital.algorithm.template.GreedyProblem
get the initial set of candidates.
getInitialization() - Method in class orbital.logic.functor.MutableFunction.TableFunction
Get the initialization function h.
getInitialPartialSolutions() - Method in interface orbital.algorithm.template.DynamicProgrammingProblem
Get the initial array of partial solutions.
getInitialPopulationSize() - Method in class orbital.moon.evolutionary.BreederControl
Get the desired initial population size from the user.
getInitialState() - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
 
getInitialState() - Method in interface orbital.algorithm.template.GeneralSearchProblem
Get the initial state of the problem.
getInitialState() - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
Get the initial state of the problem.
getInputStream(File) - Method in class orbital.moon.evolutionary.BreederControl
Get an input stream for a file.
getInstance(int, boolean, int, boolean) - Static method in class orbital.algorithm.Combinatorical
Get a combinatorical instance.
getInstance(Collection) - Static method in class orbital.logic.trs.Substitutions
Create a new substitution.
getInstance(Collection, boolean) - Static method in class orbital.logic.trs.Substitutions
Create a new substitution.
getInstance(Locale) - Static method in class orbital.math.ArithmeticFormat
 
getInstance() - Static method in class orbital.math.ArithmeticFormat
Returns the default number format for the current default locale.
getInstance() - Static method in class orbital.math.Values
Returns a new value factory with default settings.
getInstance(Map) - Static method in class orbital.math.Values
Returns a new value factory with specified settings.
getIntegerGranularity() - Method in class orbital.algorithm.evolutionary.Gene.Fixed
Get the number of bits for the integer part.
getJavaInitializationString() - Method in class orbital.awt.TaggedPropertyEditorSupport
 
getKey() - Method in class orbital.util.KeyValuePair
Get/Set-Methods.
getL() - Method in class orbital.math.LUDecomposition
lower triangular matrix L with diagonal 1s.
getLength(int) - Method in class orbital.awt.Range
 
getLine() - Method in class orbital.moon.logic.SimpleCharStream
Deprecated.  
getLineNumber() - Method in exception orbital.logic.sign.ParseException
The line number of the end of the text where the exception occurred.
getMax() - Method in class orbital.algorithm.evolutionary.Gene.BoundedFloat
Get the upper bound for value.
getMax() - Method in class orbital.algorithm.evolutionary.Gene.BoundedInteger
Get the upper bound for value.
getMaxBound() - Method in class orbital.algorithm.template.BranchAndBound
Get the maximum upper bound for a solution.
getMaximumMutation() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Get the maximum probability rating of mutation level for reproduction.
getMaximumMutation() - Method in class orbital.algorithm.evolutionary.PopulationImpl
Get the maximum probability rating of mutation level for reproduction.
getMaximumRecombination() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Get the maximum probability rating of recombining parental genomes per production.
getMaximumRecombination() - Method in class orbital.algorithm.evolutionary.PopulationImpl
Get the maximum probability rating of recombining parental genomes per production.
getMembers() - Method in class orbital.algorithm.evolutionary.Population
 
getMessage() - Method in exception orbital.logic.sign.ParseException
 
getMessage() - Method in exception orbital.moon.logic.ParseException
This method has the standard behavior when this object has been created using the standard constructors.
getMessage() - Method in error orbital.moon.logic.TokenMgrError
You can also modify the body of this method to customize your error messages.
getMethod(Class) - Method in class orbital.logic.functor.Functor.Specification
Get the apply method in a given class that corresponds to this specification.
getMin() - Method in class orbital.algorithm.evolutionary.Gene.BoundedFloat
Get the lower bound for value.
getMin() - Method in class orbital.algorithm.evolutionary.Gene.BoundedInteger
Get the lower bound for value.
getModel() - Method in class orbital.awt.Plot2D
 
getNextException() - Method in exception orbital.util.InnerCheckedException
Deprecated. Use Throwable.getCause() instead.
getNextToken() - Method in class orbital.moon.logic.LogicParser
 
getNextToken() - Method in class orbital.moon.logic.LogicParserTokenManager
 
getNormalizer() - Method in interface orbital.math.ValueFactory
Get the transformation function for normalizing arithmetic objects.
getNotation() - Method in interface orbital.logic.functor.Functor.Composite
Get the notation used.
getNotation(Object) - Static method in class orbital.logic.sign.concrete.Notation
Get the default notation specification registered for a compositor.
getNotation() - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
Get the notation object to use for formatting.
getNotation() - Method in interface orbital.logic.sign.Symbol
Get the notation used when this symbol occurs.
getNotation() - Method in class orbital.logic.sign.SymbolBase
 
getNumberFormat() - Method in class orbital.math.ArithmeticFormat
Get the inner number format used to format pure real numbers.
getNumberOfReplacements() - Method in class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm
Get the number of replacements to do at each generation (≤ population.size()).
getNumberOfVariants(int) - Method in interface orbital.algorithm.template.BacktrackingProblem
Query on the number of solution variants for a single variable.
getNumberOfVars() - Method in interface orbital.algorithm.template.BacktrackingProblem
Get the number of solution variables to find with Backtracking.
getObject() - Method in class orbital.moon.awt.DefaultCustomizer
Get the object currently customized.
getOccurred() - Method in exception orbital.logic.sign.type.TypeException
Get the type that was actually found.
getOptionsFor(int[]) - Method in class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
Get the options available to optimize for the given part.
getOutputStream(File) - Method in class orbital.moon.evolutionary.BreederControl
Get an output stream for a file.
getOverallDistance() - Method in class orbital.algorithm.evolutionary.Population
Calculate an overall difference of all genomes in the population with several difference comparisons.
getP() - Method in class orbital.math.LUDecomposition
permutation matrix.
getParameterTypes() - Method in class orbital.logic.functor.Functor.Specification
Specifies the argument-types of a Functor.
getParent() - Method in class orbital.awt.CustomizerViewController
 
getParentalFrame(Component) - Static method in class orbital.awt.UIUtilities
Deprecated. Use SwingUtilities.getAncestorOfClass(Frame.class, n) instead.
getParentalWindow(Component) - Static method in class orbital.awt.UIUtilities
Deprecated. Use SwingUtilities.getAncestorOfClass(Window.class, n) instead.
getParentCount() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Get the number of abstract parents required to produce children.
getParentCount() - Method in class orbital.algorithm.evolutionary.PopulationImpl
Get the number of abstract parents required to produce children.
getPart(Object[], int[]) - Static method in class orbital.util.Utility
 
getPart(Object, int[]) - Static method in class orbital.util.Utility
Get the element in the (possibly multi-dimensional) array a specified by the part specification.
getPartialWeight(int[]) - Method in class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
Get the partial weight corresponding to the part specification.
getPartialWeights() - Method in class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
Get the partial weights memorized analogue to partialSolutions.
getPatternDatabase() - Method in class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
Get the pattern database.
getPermutations(int, int, boolean) - Static method in class orbital.algorithm.Combinatorical
Get all r-permutations of n elements.
getPermutations(int, boolean) - Static method in class orbital.algorithm.Combinatorical
 
getPermutations(int[]) - Static method in class orbital.algorithm.Combinatorical
Get all (generalized) permutations elements.
getPolynomialVariable() - Method in class orbital.math.ArithmeticFormat
 
getPopulation() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Get the Population for this GeneticAlgorithm.
getPopulation() - Method in interface orbital.algorithm.evolutionary.GeneticAlgorithmProblem
Generate (create) the initial population of genomes.
getPopulationGrowth() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Get the population growth factor.
getPopulationGrowth() - Method in class orbital.algorithm.evolutionary.IncrementalGeneticAlgorithm
 
getPopulationGrowth() - Method in class orbital.algorithm.evolutionary.SimpleGeneticAlgorithm
 
getPopulationGrowth() - Method in class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm
 
getPrecedence() - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
Get the precedence of the sign (with 1 being the highest precedence).
getPrecision() - Method in class orbital.awt.NumberInput
get precision with that mouse operations will change the value.
getPreferredSize() - Method in class orbital.awt.ImageCanvas
Returns the dimension of the Image displayed.
getPreferredSize() - Method in class orbital.awt.Plot2D
 
getProbability() - Method in class orbital.algorithm.template.GeneralSearchProblem.Transition
1 since deterministic transition.
getProbability() - Method in class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition
 
getProbability() - Method in interface orbital.algorithm.template.TransitionModel.Transition
Get the transition probability.
getProbableComplementClauses(Formula) - Method in class orbital.moon.logic.resolution.ClausalIndex
Get an iterator of all clauses that contain literals which could possibly unify with ~L.
getProbableComplementLiterals(Formula) - Method in class orbital.moon.logic.resolution.ClausalIndex
Get an iterator of all literals which could possibly unify with ~L.
getProbableComplements(Formula) - Method in class orbital.moon.logic.resolution.ClausalIndex
Get an iterator of all (clause,literal) pairs which could possibly unify with ~L.
getProbableComplementsOf(Clause) - Method in interface orbital.moon.logic.resolution.ClausalSet
Get (an iterator over) all clauses contained in this set that may possibly form a complement to C for resolution.
getProbableComplementsOf(Clause) - Method in class orbital.moon.logic.resolution.ClausalSetImpl
 
getProbableComplementsOf(Clause) - Method in class orbital.moon.logic.resolution.IndexedClausalSetImpl
 
getProbableUnifiableClauses(Formula) - Method in class orbital.moon.logic.resolution.ClausalIndex
Get an iterator of all clauses that contain literals which could possibly unify with L.
getProbableUnifiableLiterals(Formula) - Method in class orbital.moon.logic.resolution.ClausalIndex
Get an iterator of all literals which could possibly unify with L.
getProbableUnifiables(Formula) - Method in class orbital.moon.logic.resolution.ClausalIndex
Get an iterator of all (clause,literal) pairs which could possibly unify with L.
getProbableUnifiables(Formula) - Method in interface orbital.moon.logic.resolution.Clause
Get (an iterator over) all literals contained in this clause that may possibly unify with L.
getProbableUnifiables(Formula) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
getProbableUnifiables(Formula) - Method in class orbital.moon.logic.resolution.IndexedClausalSetImpl
Get an iterator of all clauses that contain literals which could possibly unify with L.
getProbableUnifiables(Formula) - Method in class orbital.moon.logic.resolution.IndexedClauseImpl
 
getProbableUnifiables(Formula) - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
getProblem() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Get a modified view of the problem.
getProblem() - Method in interface orbital.algorithm.template.AlgorithmicConfiguration
Gets the specific problem to solve.
getProblem() - Method in class orbital.algorithm.template.AlgorithmicTemplate.Configuration
 
getProblem() - Method in class orbital.algorithm.template.GeneralSearch
Get the current problem.
getProblem() - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
Get the current problem.
getProblem() - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
Get the current problem.
getProblem() - Method in class orbital.algorithm.template.MarkovDecisionProcess
Get the current problem.
getProblem() - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
Get the proper (inner) problem to solve which does not yet keep track of closed sets.
getPropertyDescriptors() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithmBeanInfo
 
getPropertyDescriptors() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithmBeanInfo
 
getPropertyDescriptors() - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo
 
getPropertyDescriptors() - Method in class orbital.algorithm.evolutionary.PopulationImplBeanInfo
 
getPropertyDescriptors() - Method in class orbital.awt.ChartModelBeanInfo
 
getPropertyDescriptors() - Method in class orbital.awt.ImageCanvasBeanInfo
 
getPropertyDescriptors() - Method in class orbital.awt.NumberInputBeanInfo
 
getPropertyDescriptors() - Method in class orbital.awt.Plot2DBeanInfo
 
getPropertyEditor(PropertyDescriptor) - Static method in class orbital.moon.awt.DefaultCustomizer
Get a property editor for the property specified.
getQuotientOperator() - Method in interface orbital.math.Quotient
Get the quotient operator π-1∘π:M→M modulo whom we reduce the values to their canonical representative.
getRandom() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
getRandom() - Method in class orbital.algorithm.template.LocalOptimizerSearch
 
getRandom() - Method in interface orbital.algorithm.template.ProbabilisticAlgorithm
Get the random-generator used as probabilistic random source.
getRandom() - Method in class orbital.algorithm.template.TransitionPath
 
getRange() - Method in class orbital.awt.ChartModel
Get the visible range to be displayed.
getReplacements() - Method in interface orbital.logic.trs.Substitution
Get the set of elementary replacements.
getRequired() - Method in exception orbital.logic.sign.type.TypeException
Get the type that would have been required.
getResolvableLiterals() - Method in interface orbital.moon.logic.resolution.Clause
Select some literals of this clause, which are usable for resolution.
getResolvableLiterals() - Method in class orbital.moon.logic.resolution.ClauseImpl
 
getResolvableLiterals() - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
getResources() - Method in class orbital.moon.evolutionary.BreederControl
Get program resources.
getReturnType() - Method in class orbital.logic.functor.Functor.Specification
Specifies the return-type of a functor.
getRow(int) - Method in interface orbital.math.Matrix
Returns the row vector view of a row.
getRows() - Method in interface orbital.math.Matrix
Returns an iterator over the row vectors.
getScale() - Method in class orbital.awt.ChartModel
Get the scale.
getSelected() - Method in class orbital.moon.evolutionary.SelectionStatistics
 
getSelectedAlgorithmType() - Method in class orbital.moon.evolutionary.BreederControl
Get the algorithm type selected.
getSelection() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Get the selection scheme to apply while evolving.
getSelection() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Get the selection scheme to apply while evolving.
getSignature() - Method in interface orbital.logic.imp.Interpretation
Get the signature interpreted.
getSignature() - Method in class orbital.logic.imp.InterpretationBase
Get the signature interpreted.
getSignature() - Method in interface orbital.logic.sign.Expression
Get the subsignature appearing in this expression.
getSignGranularity() - Method in class orbital.algorithm.evolutionary.Gene.Fixed
Get the number of bits for the sign part.
getSignifier() - Method in interface orbital.logic.sign.Symbol
Get the signifier representing this symbol.
getSignifier() - Method in class orbital.logic.sign.SymbolBase
 
getSignifier() - Method in interface orbital.math.Symbol
Get the signifier representing this symbol (the symbol's name).
getSolutionPart(int[], Object[]) - Static method in class orbital.algorithm.template.DynamicProgramming
Get the element in the (possibly multi-dimensional) array partialSolutions specified by the part specification.
getSpecification(Functor) - Static method in class orbital.logic.functor.Functor.Specification
Introspect on a functor and get a specification of his exposed signature.
getState() - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
Get the current state s∈S of this transition path.
getStyle() - Method in class orbital.awt.NumberInput
get the style in which to show.
GetSuffix(int) - Method in class orbital.moon.logic.SimpleCharStream
 
getSymbols() - Method in class orbital.logic.sign.SignatureBase
Get the set of symbols in this signature.
getTabSize(int) - Method in class orbital.moon.logic.SimpleCharStream
 
getTags() - Method in class orbital.awt.TaggedPropertyEditorSupport
 
getTitle() - Method in class orbital.awt.CustomizerViewController
 
getToken(int) - Method in class orbital.moon.logic.LogicParser
 
getTruncation() - Method in class orbital.moon.awt.DefaultCustomizer
 
getType() - Method in class orbital.logic.sign.SymbolBase
 
getType() - Method in interface orbital.logic.sign.type.Typed
Get the propert type of this object.
getU() - Method in class orbital.math.LUDecomposition
upper triangular matrix U.
getUnifiables(Formula) - Method in interface orbital.moon.logic.resolution.Clause
Get all literals contained in this clause that unify with L.
getUnifiables(Formula) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
getValue() - Method in class orbital.awt.NumberInput
get current Number value
getValue() - Method in class orbital.util.KeyValuePair
 
getValueOf(Expression) - Method in class orbital.moon.logic.MathExpressionSyntax
Get the arithmetic object represented by an expression.
getVariables() - Method in interface orbital.logic.imp.Formula
Get the set of all variables of this formula.
getWeight() - Method in class orbital.algorithm.template.WAStar
Get the weighting argument W for the evaluation function.
getWeightingFor(int[]) - Method in class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
Get an objective function.
getWeightingFor(List) - Method in interface orbital.algorithm.template.GreedyProblem
Get an objective function.
GOEDEL - Static variable in class orbital.moon.logic.FuzzyLogic
Gödel and Zadeh operators in fuzzy logic (default).
graphList() - Method in class orbital.awt.ChartModel
Get the List of solely graphs to be displayed.
greater - Static variable in class orbital.logic.functor.Predicates
>.
greater - Static variable in interface orbital.math.functional.Operations
>.
GREATER - Static variable in interface orbital.moon.logic.LogicParserConstants
 
GREATER_EQUAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
greaterEqual - Static variable in class orbital.logic.functor.Predicates
≥.
greaterEqual - Static variable in interface orbital.math.functional.Operations
≥.
Greedy - Class in orbital.algorithm.template
Framework (template class) for Greedy Algorithms.
Greedy() - Constructor for class orbital.algorithm.template.Greedy
 
GreedyProblem - Interface in orbital.algorithm.template
Hook class for Greedy Algorithms.
groebnerBasis(Set, Comparator) - Static method in class orbital.math.AlgebraicAlgorithms
Get the reduced Gröbner basis of g.

H

HAMACHER(double) - Static method in class orbital.moon.logic.FuzzyLogic
Hamacher operators in fuzzy logic.
handle(Object) - Method in class orbital.util.Activation
Initiate normal exception handling in the corresponding catch-clause.
handleEvent(Event) - Method in class orbital.moon.awt.AppletFrame
needed to allow window to close in Java 1.0 style.
harmonicMean(double[]) - Static method in class orbital.math.Stat
Returns the harmonic mean of a set of n values.
hasDuplicates(Iterator) - Static method in class orbital.util.Setops
Check whether the given iterator produces duplicate entries.
hasFitness() - Method in class orbital.algorithm.evolutionary.Genome
Whether genome has a fitness != Double.NaN.
hashCode() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
 
hashCode() - Method in class orbital.algorithm.evolutionary.Gene.BoundedFloat
 
hashCode() - Method in class orbital.algorithm.evolutionary.Gene.BoundedInteger
 
hashCode() - Method in interface orbital.algorithm.evolutionary.Gene
 
hashCode() - Method in class orbital.algorithm.evolutionary.Gene.List
 
hashCode() - Method in class orbital.algorithm.evolutionary.Gene.Number
Calculates a hash code according to the doubleValue.
hashCode() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
hashCode() - Method in class orbital.algorithm.evolutionary.Genome
 
hashCode() - Method in class orbital.algorithm.evolutionary.Population
 
hashCode() - Method in class orbital.algorithm.template.LocalOptimizerSearch.LocalSelection
 
hashCode() - Method in interface orbital.algorithm.template.TransitionModel.Transition
 
hashCode() - Method in class orbital.awt.ChartModel.Entry
 
hashCode() - Method in class orbital.awt.Range
 
hashCode() - Method in class orbital.logic.functor.Functionals.Anamorphism
 
hashCode() - Method in class orbital.logic.functor.Functionals.Catamorphism
 
hashCode() - Method in class orbital.logic.functor.Functionals.Hylomorphism
 
hashCode() - Method in class orbital.logic.functor.Functionals.Paramorphism
 
hashCode() - Method in interface orbital.logic.functor.Functor
 
hashCode() - Method in class orbital.logic.functor.Functor.Specification
 
hashCode() - Method in interface orbital.logic.imp.Formula
 
hashCode() - Method in interface orbital.logic.imp.Interpretation
Get a hash code fitting extensional equality.
hashCode() - Method in class orbital.logic.imp.InterpretationBase
 
hashCode() - Method in class orbital.logic.sign.concrete.Notation
 
hashCode() - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
 
hashCode() - Method in interface orbital.logic.sign.Signature
Get a hash code fitting extensional equality.
hashCode() - Method in class orbital.logic.sign.SignatureBase
 
hashCode() - Method in interface orbital.logic.sign.Symbol
Returns the hash code value for this symbol.
hashCode() - Method in class orbital.logic.sign.SymbolBase
 
hashCode() - Method in interface orbital.logic.sign.type.Type
 
hashCode() - Method in interface orbital.logic.sign.type.TypeSystem
 
hashCode() - Method in interface orbital.logic.trs.Substitution.Matcher
 
hashCode() - Method in interface orbital.math.Complex
Returns a hash code value for the object.
hashCode() - Method in interface orbital.math.Symbol
 
hashCode() - Method in class orbital.moon.logic.ClassicalLogic.InferenceMechanism
 
hashCode() - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
 
hashCode() - Method in class orbital.moon.logic.UniqueSymbol
 
hashCode() - Method in class orbital.util.DelegateCollection
Returns the hash code value for this collection.
hashCode() - Method in class orbital.util.DelegateMap
 
hashCode() - Method in class orbital.util.KeyValuePair
 
hashCode() - Method in class orbital.util.Pair
 
hashCode() - Method in class orbital.util.ReverseComparator
 
hashCode(Object) - Static method in class orbital.util.Utility
Get the hashCode of an object.
hashCodeAll(Object) - Static method in class orbital.util.Utility
Get the hashCode of an object (considering all its array components, as well).
hashCodeArray(Object[]) - Static method in class orbital.util.Utility
Get the hashCode of a one-dimensional array.
hashCodeSet(Object) - Static method in class orbital.util.Utility
Get the hashCode of an object (considering all its array components, as sets, as well).
hasNext() - Method in class orbital.algorithm.Combinatorical
Whether this sequence has a next combinatorical tuple.
hasNext() - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
hasNext() - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
Decides whether to stop further transitions.
hasNext() - Method in class orbital.algorithm.template.TransitionPath
 
hasNext() - Method in class orbital.util.DelegateIterator
 
hasNext() - Method in class orbital.util.QueuedIterator
Checks whether the queued iterator currently has a next element.
hasNext() - Method in class orbital.util.QueuedSequenceIterator
 
hasNext() - Method in class orbital.util.SequenceIterator
 
hasPrevious() - Method in class orbital.algorithm.Combinatorical
Whether this sequence has a previous combinatorical tuple.
hasPrevious() - Method in class orbital.util.DelegateListIterator
 
hasType - Static variable in interface orbital.math.Complex
Checks whether the given number is a proper complex, i.e.
hasType - Static variable in interface orbital.math.Integer
Checks whether the given number is in the set of integers and not a subset.
hasType - Static variable in interface orbital.math.Rational
Checks whether the given number is in the set of rationals and not a subset.
hasType - Static variable in interface orbital.math.Real
Checks whether the given number is in the set of reals and not a subset.
headSet(Object) - Method in class orbital.util.DelegateSortedSet
 
HeuristicAlgorithm - Interface in orbital.algorithm.template
Interface for heuristic (search) algorithms.
HeuristicAlgorithm.Configuration - Class in orbital.algorithm.template
Algorithmic configuration objects for heuristic algorithms.
HeuristicAlgorithm.Configuration(AlgorithmicProblem, Function, Class) - Constructor for class orbital.algorithm.template.HeuristicAlgorithm.Configuration
 
HeuristicAlgorithm.PatternDatabaseHeuristic - Class in orbital.algorithm.template
An heuristic function that uses a pattern database.
HeuristicAlgorithm.PatternDatabaseHeuristic(Function, Map, boolean) - Constructor for class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
Create a new heuristic function supported by a pattern database.
HeuristicAlgorithm.PatternDatabaseHeuristic(Function, Map) - Constructor for class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
 
HeuristicAlgorithm.PatternDatabaseHeuristic(Function) - Constructor for class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
 
HIERARCHY - Static variable in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
HillClimbing - Class in orbital.algorithm.template
Hill-climbing search.
HillClimbing(Function, LocalOptimizerSearch.LocalSelection) - Constructor for class orbital.algorithm.template.HillClimbing
Create a new instance of hill climbing search.
HillClimbing(Function) - Constructor for class orbital.algorithm.template.HillClimbing
Create a new instance of hill climbing search.
history() - Method in class orbital.moon.evolutionary.BreederControl
Store history file sequence.

I

I() - Method in interface orbital.math.ValueFactory
The imaginary unit iC.
i() - Method in interface orbital.math.ValueFactory
The imaginary unit iC.
id - Static variable in class orbital.logic.functor.Functions
id: A→A; x ↦ x .
id - Static variable in class orbital.logic.trs.Substitutions
The identical substitution id=[].
id - Static variable in class orbital.math.functional.Functions
id: R→R; x ↦ x .
IDENTIFIER - Static variable in interface orbital.moon.logic.LogicParserConstants
 
IDENTITY(Dimension) - Method in interface orbital.math.ValueFactory
Gets the identity Matrix, with all elements set to 0, except the leading diagonal mi,i set to 1.
IDENTITY(int, int) - Method in interface orbital.math.ValueFactory
Gets the identity Matrix, with all elements set to 0, except the leading diagonal mi,i set to 1.
im() - Method in interface orbital.math.Complex
Get the imaginar component.
image - Variable in class orbital.awt.ImageCanvas
the image to be shown on the canvas.
image - Variable in class orbital.moon.logic.Token
The string image of the token.
ImageCanvas - Class in orbital.awt
A Canvas displaying an Image.
ImageCanvas(Image) - Constructor for class orbital.awt.ImageCanvas
 
ImageCanvas() - Constructor for class orbital.awt.ImageCanvas
 
ImageCanvasBeanInfo - Class in orbital.awt
 
ImageCanvasBeanInfo() - Constructor for class orbital.awt.ImageCanvasBeanInfo
 
imageUpdate(Image, int, int, int, int, int) - Method in class orbital.awt.ImageCanvas
 
IMAGINARY_FIELD - Static variable in class orbital.math.ArithmeticFormat
 
impl(Formula) - Method in interface orbital.logic.imp.Formula
Implication impl: FG.
impl(Formula) - Method in class orbital.logic.imp.LogicBasis
Implication impl: A → B is calced ¬A ∨ B
impl - Static variable in interface orbital.moon.logic.functor.Operations
 
impl() - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
Defines the implication operator to use in the fuzzy logic.
ImplicationExpression() - Method in class orbital.moon.logic.LogicParser
 
IMPLY - Static variable in interface orbital.moon.logic.LogicParserConstants
 
importGenome(InputStream) - Method in class orbital.moon.evolutionary.BreederControl
Load genome to import.
InapplicableActionException - Exception in orbital.algorithm.template
Thrown to indicate that an action was not applicable in the state.
InapplicableActionException() - Constructor for exception orbital.algorithm.template.InapplicableActionException
 
InapplicableActionException(String) - Constructor for exception orbital.algorithm.template.InapplicableActionException
 
inBuf - Variable in class orbital.moon.logic.SimpleCharStream
 
InclusiveOrExpression() - Method in class orbital.moon.logic.LogicParser
 
IncomparableException - Exception in orbital.util
Thrown to indicate that two particular elements of a partial order are incomparable.
IncomparableException() - Constructor for exception orbital.util.IncomparableException
 
IncomparableException(Object[]) - Constructor for exception orbital.util.IncomparableException
 
IncomparableException(String) - Constructor for exception orbital.util.IncomparableException
 
IncomparableException(String, Object[]) - Constructor for exception orbital.util.IncomparableException
 
IncomparableException(String, Object, Object) - Constructor for exception orbital.util.IncomparableException
 
IncompleteCalculusException - Exception in orbital.logic.imp
A LogicException thrown when an incomplete calculus is used.
IncompleteCalculusException(String) - Constructor for exception orbital.logic.imp.IncompleteCalculusException
 
IncompleteCalculusException() - Constructor for exception orbital.logic.imp.IncompleteCalculusException
 
IncrementalGeneticAlgorithm - Class in orbital.algorithm.evolutionary
An incremental genetic algorithm with overlapping populations and only one reproduction per generation.
IncrementalGeneticAlgorithm() - Constructor for class orbital.algorithm.evolutionary.IncrementalGeneticAlgorithm
Construct a new GeneticAlgorithm.
IndexedClausalSetImpl - Class in orbital.moon.logic.resolution
Implementation of a representation of a set of clauses with clause indexing.
IndexedClausalSetImpl(Set) - Constructor for class orbital.moon.logic.resolution.IndexedClausalSetImpl
Copy constructor.
IndexedClausalSetImpl() - Constructor for class orbital.moon.logic.resolution.IndexedClausalSetImpl
 
IndexedClauseImpl - Class in orbital.moon.logic.resolution
Implementation of a representation of a clauses with clause indexing.
IndexedClauseImpl(Set) - Constructor for class orbital.moon.logic.resolution.IndexedClauseImpl
Copy constructor.
IndexedClauseImpl() - Constructor for class orbital.moon.logic.resolution.IndexedClauseImpl
 
indexOf(Object) - Method in class orbital.util.DelegateList
 
indexSet() - Method in interface orbital.math.Polynomial
Describes the index magma S of our polynomial ring R[S].
indices() - Method in interface orbital.math.Polynomial
Returns an iterator over the (relevant) indices.
indices() - Method in interface orbital.math.Tensor
Returns an iterator over the (relevant) indices.
INDIVIDUAL - Static variable in class orbital.logic.sign.type.Types
The type ι of individuals (objects).
INDUCED(Comparator) - Static method in class orbital.math.AlgebraicAlgorithms
The partial lexicographial order on polynomials induced by an admissible total order on monomials.
INDUCED - Static variable in interface orbital.math.Metric
The metric induced by a norm ||.||.
inf(Type[]) - Method in interface orbital.logic.sign.type.TypeSystem
Get the infimum type iτi = τ1∩…∩τn.
inf() - Method in interface orbital.logic.sign.type.TypeSystem
inf: {*} → *; (τi)iτi = τ1∩…∩τn.
inf - Static variable in interface orbital.math.functional.Operations
inf ⊓: An→A; (xi) ↦ ⊓i {xi} = (|∞,min|) (xi).
infer(Formula[], Formula) - Method in interface orbital.logic.imp.Inference
Apply the inference relation |~ according to the implementation calculus K.
infer(String, String) - Method in class orbital.moon.logic.FuzzyLogic
facade for convenience.
infer(String, String) - Method in class orbital.moon.logic.ModalLogic
facade for convenience.
infer(Formula[], Formula) - Method in class orbital.moon.logic.resolution.ResolutionBase
Apply the inference relation |~ according to the implementation calculus K.
Inference - Interface in orbital.logic.imp
Provides a unified encapsulation for inference relations |~ used for any logic reasoning.
inference() - Method in interface orbital.logic.imp.Logic
Get the inference relation |~K according to the implementation calculus K.
inference() - Method in class orbital.moon.logic.ClassicalLogic
 
inference() - Method in class orbital.moon.logic.FuzzyLogic
 
inference() - Method in class orbital.moon.logic.ModalLogic
 
INFINITY() - Method in interface orbital.math.ValueFactory
complex infinity ∞∈C.
INFIX - Static variable in class orbital.logic.sign.concrete.Notation
Specifies infix notation "a f b".
info(FeatureDescriptor) - Static method in class orbital.awt.UIUtilities
Get Information on a feature descriptor.
info(PropertyDescriptor) - Static method in class orbital.awt.UIUtilities
Get Information on a property descriptor.
info(Applet) - Static method in class orbital.moon.awt.AppletFrame
Get information on an applet.
info() - Method in class orbital.util.Activation
Get this exception's information that is to be handled.
init(Object[]) - Method in class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
Initialize weights as the specified (possibly multidimensional) array of number-objects.
init(Class) - Method in class orbital.moon.awt.DefaultCustomizer
Initializes default customizer view according to the BeanInfo of the given object.
init() - Method in class orbital.moon.evolutionary.BreederControl
 
inner - Variable in class orbital.util.ReverseComparator
Contains the Comparator to be inverted, or null if the objects Comparable implementation should be used, instead.
InnerCheckedException - Exception in orbital.util
This class is a InnerCheckedException which can be thrown if checked exceptions occur which cannot be declared in the throws-clause of a method, and must be wrapped in an unchecked RuntimeException to rethrow, instead.
InnerCheckedException(Throwable) - Constructor for exception orbital.util.InnerCheckedException
 
InnerCheckedException(String, Throwable) - Constructor for exception orbital.util.InnerCheckedException
 
InnerCheckedException(Throwable, String) - Constructor for exception orbital.util.InnerCheckedException
Deprecated. Since JDK1.4 use InnerCheckedException.InnerCheckedException(String, Throwable) instead.
input_stream - Variable in class orbital.moon.logic.LogicParserTokenManager
 
inputStream - Variable in class orbital.moon.logic.SimpleCharStream
 
insert(int, Arithmetic) - Method in interface orbital.math.Vector
Insert a value into this vector at the specified index.
insert(Arithmetic) - Method in interface orbital.math.Vector
Append a value to this vector.
insert(List, Object) - Static method in class orbital.util.Setops
insert object into l such that l is still sorted.
insertAll(int, Vector) - Method in interface orbital.math.Vector
Insert all components of a vector into this vector at the specified index.
insertAll(Vector) - Method in interface orbital.math.Vector
Append all components of a vector to this vector.
insertColumns(int, Matrix) - Method in interface orbital.math.Matrix
Insert columns into this matrix.
insertColumns(Matrix) - Method in interface orbital.math.Matrix
Append columns to this matrix.
insertRows(int, Matrix) - Method in interface orbital.math.Matrix
Insert rows into this matrix.
insertRows(Matrix) - Method in interface orbital.math.Matrix
Append rows to this matrix.
instanceOf - Static variable in class orbital.util.Utility
Predicate for x instanceof y.
Integer - Interface in orbital.math
Representation of an integer number k∈Z.
INTEGER_LITERAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
integrate(int) - Method in interface orbital.math.functional.BinaryFunction
Integrates this function and returns the resulting indefinite integral ∫ f dxi.
integrate() - Method in interface orbital.math.functional.Function
Integrates this function and returns the resulting indefinite integral ∫ f dx.
integrate(Function, Arithmetic, Arithmetic) - Static method in class orbital.math.MathUtilities
Returns ∫ab f dx.
integrate(Function, Arithmetic, Arithmetic) - Static method in class orbital.math.NumericalAlgorithms
Returns ≈ ∫ab f dx.
Interpretation - Interface in orbital.logic.imp
An interpretation associates the symbols in a signature with the entities in the world (for semantics).
InterpretationBase - Class in orbital.logic.imp
A basic interpretation implementation.
InterpretationBase(Signature) - Constructor for class orbital.logic.imp.InterpretationBase
Construct a problem specific interpretation source.
InterpretationBase(Signature, Map) - Constructor for class orbital.logic.imp.InterpretationBase
Construct a new Interpretation with the given map of associations.
InterpretationBase(Signature, SortedMap) - Constructor for class orbital.logic.imp.InterpretationBase
 
INTERRUPT - Static variable in class orbital.moon.awt.SystemRequestor
 
intersection(Signature) - Method in interface orbital.logic.sign.Signature
Returns the intersection of two signatures.
intersection(Signature) - Method in class orbital.logic.sign.SignatureBase
 
intersection - Static variable in class orbital.util.Setops
intersection of two collections.
intersection(Collection, Collection) - Static method in class orbital.util.Setops
Returns the intersection of two collections.
intersection(Set, Set) - Static method in class orbital.util.Setops
 
intersection(SortedSet, SortedSet) - Static method in class orbital.util.Setops
 
intersectionFold - Static variable in class orbital.util.Setops
n-ary intersection of a list of collections.
intValue() - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
intValue() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
intValue() - Method in interface orbital.math.Integer
Returns the value of the specified integer as a int.
inverse() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Get an inverted version of this Gene.
inverse() - Method in interface orbital.algorithm.evolutionary.Gene
Get an inverted version of this Gene.
inverse() - Method in class orbital.algorithm.evolutionary.Gene.List
 
inverse() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
inverse() - Method in class orbital.algorithm.evolutionary.Genome
Get an inverted version of this Genome.
inverse() - Method in interface orbital.math.Arithmetic
Returns the multiplicative inverse of this arithmetic object.
inverse - Static variable in interface orbital.math.functional.Operations
inverse -1: A→A; x ↦ x-1.
inverse() - Method in interface orbital.math.Quotient
Returns (modular) multiplicative inverse of this (mod ~).
invoke(Functor, Object[]) - Static method in class orbital.logic.functor.Functor.Specification
Invokes the corresponding apply method of the Functor specified.
isa - Static variable in interface orbital.math.Complex
Checks whether the given number is in the set of complex numbers.
isa - Static variable in interface orbital.math.Integer
Checks whether the given number is in the set of integers.
isa - Static variable in interface orbital.math.Rational
Checks whether the given number is in the set of rationals.
isa - Static variable in interface orbital.math.Real
Checks whether the given number is in the set of reals.
isa - Static variable in interface orbital.math.Scalar
Checks whether the given arithmetic object is a number.
isa - Static variable in interface orbital.math.Symbol
Checks whether the given arithmetic object is a symbol.
isApplicableTo(Object[]) - Method in class orbital.logic.functor.Functor.Specification
Checks whether the type specification is compatible with the given list of arguments.
isApplicableTo(Type, Expression[]) - Static method in class orbital.logic.sign.type.Types
Checks whether the type specification is compatible with the given list of arguments.
isAutoScaling() - Method in class orbital.awt.Plot2D
 
isCompatible(Functor.Specification) - Method in class orbital.logic.functor.Functor.Specification
Checks whether the given specification is compatible with this.
isComplete() - Method in interface orbital.logic.imp.Inference
Whether the calculus K underlying this object to implement the inference relation is complete.
isComplete() - Method in class orbital.moon.logic.resolution.ResolutionBase
 
isConform(Functor) - Method in class orbital.logic.functor.Functor.Specification
Checks whether the given functor object is conform to this specification.
isConsistent(List, int) - Method in interface orbital.algorithm.template.BacktrackingProblem
Checks whether the current choices are still consistent.
isContinuedWhenFound() - Method in class orbital.algorithm.template.GeneralBoundingSearch
Whether the search is continued after a solution is found.
isCorrect() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
isCorrect() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
isCorrect() - Method in class orbital.algorithm.template.HillClimbing
 
isCorrect() - Method in interface orbital.algorithm.template.ProbabilisticAlgorithm
Whether this algorithm is correct.
isCorrect() - Method in class orbital.algorithm.template.SimulatedAnnealing
 
isCorrect() - Method in class orbital.algorithm.template.ThresholdAccepting
 
isCorrect() - Method in class orbital.algorithm.template.TransitionPath
 
isDefinite() - Method in interface orbital.math.Matrix
Checks how definite this square matrix is.
isElementaryValid() - Method in interface orbital.moon.logic.resolution.Clause
Returns true when this clause obviously is an elementary tautology.
isElementaryValid() - Method in class orbital.moon.logic.resolution.ClauseImpl
 
isElementaryValidUnion(Clause) - Method in interface orbital.moon.logic.resolution.Clause
Returns true when the union F∪G would obviously contain an elementary tautology.
isElementaryValidUnion(Clause) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
isEmpty() - Method in class orbital.algorithm.template.BestFirstSearch.OptionIterator
 
isEmpty() - Method in class orbital.algorithm.template.BreadthFirstSearch.OptionIterator
 
isEmpty() - Method in class orbital.algorithm.template.DepthFirstSearch.OptionIterator
 
isEmpty() - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
Returns true if this iterator's collection of nodes currently does not contain any elements.
isEmpty() - Method in class orbital.moon.logic.resolution.ClausalIndex
Check whether this index is empty.
isEmpty() - Method in class orbital.util.DelegateCollection
Returns true if this collection contains no elements.
isEmpty() - Method in class orbital.util.DelegateMap
 
isFullScaling() - Method in class orbital.awt.Plot2D
 
isin(int, int, int) - Static method in class orbital.math.MathUtilities
Whether a value is in a specified range.
isin(double, double, double) - Static method in class orbital.math.MathUtilities
Whether a value is in a specified range.
isin(Real, Real, Real) - Static method in class orbital.math.MathUtilities
Whether a value is in a specified range.
isInfinite() - Method in interface orbital.math.Complex
Whether this complex number is infinite.
isInlineCustomEditor() - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo.PopulationEditor
 
isInteger(double) - Static method in class orbital.math.MathUtilities
Check whether the given value is an integer, only.
isInvertible() - Method in class orbital.math.LUDecomposition
A is regular if and only if U is which depends upon whether there is a 0 on the diagonal.
isInvertible() - Method in interface orbital.math.Matrix
Checks whether this square matrix is regular.
isIteratable(Object) - Static method in class orbital.util.Utility
Checks whether the given object is generalized iteratable.
isLocalConsequence() - Method in class orbital.moon.logic.ModalLogic
Whether local or global consequence is used.
isNaN() - Method in interface orbital.math.Complex
Whether this complex number is NaN.
isOne() - Method in interface orbital.math.Arithmetic
Checks for identity to 1.
isOptimal() - Method in class orbital.algorithm.template.AStar
Optimal if heuristic is admissible.
isOptimal() - Method in class orbital.algorithm.template.BranchAndBound
 
isOptimal() - Method in class orbital.algorithm.template.BreadthFirstSearch
Optimal only for when costs are uniform.
isOptimal() - Method in class orbital.algorithm.template.DepthFirstSearch
 
isOptimal() - Method in class orbital.algorithm.template.GeneralSearch
Whether this search algorithm is optimal.
isOptimal() - Method in class orbital.algorithm.template.HillClimbing
 
isOptimal() - Method in class orbital.algorithm.template.IterativeBroadening
 
isOptimal() - Method in class orbital.algorithm.template.IterativeDeepening
 
isOptimal() - Method in class orbital.algorithm.template.IterativeDeepeningAStar
Optimal if heuristic is admissible.
isOptimal() - Method in class orbital.algorithm.template.IterativeExpansion
Optimal if heuristic is admissible, and initial bound sufficiently large (usually ∞).
isOptimal() - Method in class orbital.algorithm.template.SimulatedAnnealing
 
isOptimal() - Method in class orbital.algorithm.template.ThresholdAccepting
 
isOptimal() - Method in class orbital.algorithm.template.WAStar
at most W times from optimal if heuristic is admissible.
isOutOfBounds(Object) - Method in class orbital.algorithm.template.GeneralBoundingSearch
Whether a node is out of bounds.
isOutOfBounds(Object) - Method in class orbital.algorithm.template.IterativeBroadening
 
isOutOfBounds(Object) - Method in class orbital.algorithm.template.IterativeDeepening
 
isOutOfBounds(Object) - Method in class orbital.algorithm.template.IterativeDeepeningAStar
Compare f(n) with bound, normally and in case update cheapest pruned bound.
isPaintable() - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo.PopulationEditor
 
isPartialSolution(List) - Method in interface orbital.algorithm.template.GreedyProblem
Test whether the given list of choices still is a valid (partial) solution.
isPrime(BigInteger) - Static method in class orbital.math.MathUtilities
Really check whether a BigInteger is prime.
isPrimitiveWrapper(Class) - Static method in class orbital.math.Values
Determines whether the specified class is an (old JDK1.0) wrapper for a primitive type.
isProbability(double) - Static method in class orbital.math.MathUtilities
Check whether the given value is a probability value.
isRainbow() - Method in class orbital.awt.ChartModel
Whether rainbow colors are used for graphs that have no color setting.
isRegular() - Method in class orbital.math.LUDecomposition
Deprecated. Since Orbital1.1 use LUDecomposition.isInvertible() instead.
isRegular() - Method in interface orbital.math.Matrix
Deprecated. Since Orbital1.1 use Matrix.isInvertible() instead.
isSolution(Population) - Method in interface orbital.algorithm.evolutionary.GeneticAlgorithmProblem
Check whether the given population of choices is a valid solution to the problem.
isSolution(Object) - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
 
isSolution(Object[]) - Method in interface orbital.algorithm.template.DynamicProgrammingProblem
Check whether the given partial solutions are a valid solution to the problem.
isSolution(List) - Method in interface orbital.algorithm.template.GreedyProblem
Check whether the given list of choices is a valid solution to the problem.
isSolution(Object) - Method in interface orbital.algorithm.template.MarkovDecisionProblem
Check whether the given state is a goal state (a valid solution to the problem).
isSolution(Object) - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
 
isSound() - Method in interface orbital.logic.imp.Inference
Whether the calculus K underlying this object to implement the inference relation is sound.
isSound() - Method in class orbital.moon.logic.resolution.ResolutionBase
 
isSquare() - Method in interface orbital.math.Matrix
Checks whether this matrix is a square matrix of size n×n.
isStretched() - Method in class orbital.awt.ImageCanvas
true if the image should be stretched to fit the whole canvas.
isSuspended() - Method in class orbital.util.StreamMethod
Whether this thread is safely suspended
isSymmetric() - Method in interface orbital.math.Matrix
Checks whether this square matrix is symmetric.
isVariable() - Method in interface orbital.logic.sign.Symbol
Whether this symbol is a variable symbol.
isVariable() - Method in class orbital.logic.sign.SymbolBase
 
isVariable(Object) - Static method in class orbital.logic.trs.Substitutions
Checks whether x is a variable.
isVariable() - Method in interface orbital.logic.trs.Variable
Whether this concrete object is variable.
isZero() - Method in interface orbital.math.Arithmetic
Checks for identity to 0.
IterationLimitException - Exception in orbital.logic
Thrown when the limit for the maximum number of iterations is overrun.
IterationLimitException() - Constructor for exception orbital.logic.IterationLimitException
 
IterationLimitException(String) - Constructor for exception orbital.logic.IterationLimitException
 
IterativeBroadening - Class in orbital.algorithm.template
Iterative Broadening (IB).
IterativeBroadening() - Constructor for class orbital.algorithm.template.IterativeBroadening
 
IterativeBroadening.OptionIterator - Class in orbital.algorithm.template
An iterator over a state space in depth-first order respecting the current bounds for the breadth of the search space that is subject to expansion.
IterativeBroadening.OptionIterator(GeneralSearchProblem) - Constructor for class orbital.algorithm.template.IterativeBroadening.OptionIterator
 
IterativeDeepening - Class in orbital.algorithm.template
Iterative Deepening (ID).
IterativeDeepening() - Constructor for class orbital.algorithm.template.IterativeDeepening
 
IterativeDeepeningAStar - Class in orbital.algorithm.template
Iterative Deepening A* (IDA*).
IterativeDeepeningAStar(Function) - Constructor for class orbital.algorithm.template.IterativeDeepeningAStar
Create a new instance of IDA* search.
IterativeExpansion - Class in orbital.algorithm.template
Iterative Expansion (IE).
IterativeExpansion(Function) - Constructor for class orbital.algorithm.template.IterativeExpansion
Create a new instance of IDA* search.
iterator() - Method in class orbital.algorithm.evolutionary.Population
 
iterator() - Method in class orbital.awt.ChartModel
Returns an iterator over the elements in this chart model in proper sequence.
iterator() - Method in interface orbital.math.Matrix
Returns an iterator over all components (row-wise).
iterator() - Method in interface orbital.math.Polynomial
Returns an iterator over all coefficients (up to degree).
iterator() - Method in interface orbital.math.Tensor
Returns an iterator over all components.
iterator() - Method in interface orbital.math.UnivariatePolynomial
Returns an iterator over all coefficients (up to degree).
iterator() - Method in interface orbital.math.Vector
Returns an iterator over all components.
iterator() - Method in class orbital.moon.logic.resolution.IndexedClausalSetImpl
 
iterator() - Method in class orbital.moon.logic.resolution.IndexedClauseImpl
 
iterator() - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
iterator() - Method in class orbital.util.DelegateCollection
Returns an iterator over the elements in this collection.

J

jj_nt - Variable in class orbital.moon.logic.LogicParser
 
jjFillToken() - Method in class orbital.moon.logic.LogicParserTokenManager
 
jjstrLiteralImages - Static variable in class orbital.moon.logic.LogicParserTokenManager
 

K

key - Variable in class orbital.util.KeyValuePair
The key for this pair.
keyPressed(KeyEvent) - Method in class orbital.moon.awt.SystemRequestor
Check for Abort and Interrupt requests.
keySet() - Method in class orbital.util.DelegateMap
 
KeyValuePair - Class in orbital.util
This class is a KeyValuePair that contains a pair ⟨key,value⟩ each of which are objects.
KeyValuePair() - Constructor for class orbital.util.KeyValuePair
 
KeyValuePair(Object, Object) - Constructor for class orbital.util.KeyValuePair
Create a new pair ⟨key, value⟩.
kind - Variable in class orbital.moon.logic.Token
An integer that describes the kind of this token.

L

lambda - Static variable in class orbital.logic.trs.Substitutions
The λ-operator of λ-Calculus.
lambda(Object, Object) - Static method in class orbital.logic.trs.Substitutions
Get the λ-abstraction of f with respect to x.
LAMBDA - Static variable in interface orbital.moon.logic.LogicParserConstants
 
LambdaAbstraction() - Method in class orbital.moon.logic.LogicParser
λ-abstraction term.
LambdaAbstractionPredicate() - Method in class orbital.moon.logic.LogicParser
λ-abstraction predicate.
last() - Method in class orbital.util.DelegateSortedSet
 
last - Static variable in class orbital.util.Filters
Filter for last element.
lastIndexOf(Object) - Method in class orbital.util.DelegateList
 
layouting - Variable in class orbital.awt.ImageCanvas
 
lcm - Static variable in class orbital.math.AlgebraicAlgorithms
Returns least common multiple (lcm) of two elements of an (Euclidean) ring.
lcm(Euclidean, Euclidean) - Static method in class orbital.math.AlgebraicAlgorithms
Returns least common multiple (lcm) of two ring elements.
lcm(Euclidean, Euclidean) - Static method in class orbital.math.MathUtilities
Deprecated. Use AlgebraicAlgorithms.lcm(Euclidean,Euclidean) instead.
lcm(int, int) - Static method in class orbital.math.MathUtilities
Returns least common multiple (LCM) of two integers.
length() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Get the length of the boolean data.
lense(Function, Predicate, Object) - Static method in class orbital.logic.functor.Functionals
lense |(g,p)| b.
less - Static variable in class orbital.logic.functor.Predicates
<.
less - Static variable in interface orbital.math.functional.Operations
<.
LESS - Static variable in interface orbital.moon.logic.LogicParserConstants
 
LESS_EQUAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
lessEqual - Static variable in class orbital.logic.functor.Predicates
≤.
lessEqual - Static variable in interface orbital.math.functional.Operations
≤.
LETTER - Static variable in interface orbital.moon.logic.LogicParserConstants
 
LexicalError(boolean, int, int, int, String, char) - Static method in error orbital.moon.logic.TokenMgrError
Returns a detailed message for the Error when it is thrown by the token manager to indicate a lexical error.
LEXICOGRAPHIC - Static variable in class orbital.math.AlgebraicAlgorithms
Lexicographical order on monoid of monomials.
LEXICOGRAPHIC(int[]) - Static method in class orbital.math.AlgebraicAlgorithms
(Generalised) lexicographical order on monoid of monomials.
lexStateNames - Static variable in class orbital.moon.logic.LogicParserTokenManager
 
likelyBetter() - Static method in class orbital.algorithm.evolutionary.Selectors
Better genomes will more likely be selected.
LimitException - Exception in orbital.logic
Thrown when a limit is exceeded.
LimitException() - Constructor for exception orbital.logic.LimitException
 
LimitException(String) - Constructor for exception orbital.logic.LimitException
 
line - Variable in class orbital.moon.logic.SimpleCharStream
 
linear(Arithmetic) - Static method in class orbital.math.functional.Functions
linear: A→B; x ↦ a*x.
linearRank() - Method in class orbital.math.LUDecomposition
Rank of the matrix.
linearRank() - Method in interface orbital.math.Matrix
(linear) rank of this matrix.
list(Type) - Method in interface orbital.logic.sign.type.TypeSystem
The list type ⟨τ⟩.
list() - Method in interface orbital.logic.sign.type.TypeSystem
list: * → *; τ⟨τ⟩.
listable(Function) - Static method in class orbital.logic.functor.Functionals
Get a listable function automatically mapping itself over lists (recursively).
listable(BinaryFunction) - Static method in class orbital.logic.functor.Functionals
Get a listable function automatically mapping itself over lists (recursively).
listIterator() - Method in class orbital.algorithm.evolutionary.Population
 
listIterator(int) - Method in class orbital.algorithm.evolutionary.Population
 
listIterator() - Method in class orbital.util.DelegateList
 
listIterator(int) - Method in class orbital.util.DelegateList
 
LiteralOrders - Class in orbital.moon.logic.resolution
Provides literal L-orders.
LiteralOrders() - Constructor for class orbital.moon.logic.resolution.LiteralOrders
 
LiteralValue() - Method in class orbital.moon.logic.LogicParser
atomic term literal value (in the sense of constant primitive type), f.ex.
load(InputStream) - Method in class orbital.moon.evolutionary.BreederControl
Load population and genetic algorithm.
LocalOptimizerSearch - Class in orbital.algorithm.template
General search scheme for local optimizing search.
LocalOptimizerSearch(Random, LocalOptimizerSearch.LocalSelection) - Constructor for class orbital.algorithm.template.LocalOptimizerSearch
 
LocalOptimizerSearch(LocalOptimizerSearch.LocalSelection) - Constructor for class orbital.algorithm.template.LocalOptimizerSearch
 
LocalOptimizerSearch.LocalSelection - Class in orbital.algorithm.template
The local selection mechanism used to evaluate states.
LocalOptimizerSearch.OptionIterator - Class in orbital.algorithm.template
An iterator over a state space in "choosy" random order.
LocalOptimizerSearch.OptionIterator(GeneralSearchProblem, LocalOptimizerSearch) - Constructor for class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
 
log - Static variable in class orbital.math.functional.Functions
㏒: C\{0}→C; x ↦ ㏒e x.
Logic - Interface in orbital.logic.imp
Provides a unified encapsulation of logical systems.
LogicBasis - Class in orbital.logic.imp
This abstract LogicBasis class derives the extended logic operations depending upon basic logic operations.
LogicBasis() - Constructor for class orbital.logic.imp.LogicBasis
 
LogicException - Exception in orbital.logic.imp
Thrown whenever an exception related to logic or a calculus occurs.
LogicException(String) - Constructor for exception orbital.logic.imp.LogicException
 
LogicException() - Constructor for exception orbital.logic.imp.LogicException
 
LogicParser - Class in orbital.moon.logic
It parses a concrete syntax (usually respecting the notation of symbols).
LogicParser(InputStream) - Constructor for class orbital.moon.logic.LogicParser
 
LogicParser(InputStream, String) - Constructor for class orbital.moon.logic.LogicParser
 
LogicParser(Reader) - Constructor for class orbital.moon.logic.LogicParser
 
LogicParser(LogicParserTokenManager) - Constructor for class orbital.moon.logic.LogicParser
 
LogicParserConstants - Interface in orbital.moon.logic
 
LogicParserTokenManager - Class in orbital.moon.logic
 
LogicParserTokenManager(SimpleCharStream) - Constructor for class orbital.moon.logic.LogicParserTokenManager
 
LogicParserTokenManager(SimpleCharStream, int) - Constructor for class orbital.moon.logic.LogicParserTokenManager
 
logistic - Static variable in class orbital.math.functional.Functions
logistic: A→(0,1); x ↦ 1 / (1 + e-x).
longValue() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
longValue() - Method in interface orbital.math.Integer
Returns the value of the specified integer as a long.
lookingAhead - Variable in class orbital.moon.logic.LogicParser
 
LUDecomposition - Class in orbital.math
LUDecomposition class, decomposing A into PA = LU.
LUDecomposition(Matrix, Matrix, boolean) - Constructor for class orbital.math.LUDecomposition
Gaussian LU-decomposition implementation.

M

main(String[]) - Static method in class orbital.moon.awt.AppletFrame
When orbital.AppletFrame is called as an Application, then the arguments are:
java orbital.AppletFrame className Title (parameter=value)*
main(String[]) - Static method in class orbital.moon.evolutionary.BreederControl
tool-main
main(String[]) - Static method in class orbital.moon.logic.ClassicalLogic
tool-main
main(String[]) - Static method in class orbital.moon.logic.FuzzyLogic
tool-main
main(String[]) - Static method in class orbital.moon.logic.MathExpressionSyntax
tool-main
main(String[]) - Static method in class orbital.moon.logic.ModalLogic
tool-main
manipulate(Genome) - Method in class orbital.moon.evolutionary.BreederControl
 
map(Function, Collection) - Static method in class orbital.logic.functor.Functionals
Maps a list of arguments with a function.
map(Function, List) - Static method in class orbital.logic.functor.Functionals
 
map(Function, Set) - Static method in class orbital.logic.functor.Functionals
 
map(Function, SortedSet) - Static method in class orbital.logic.functor.Functionals
 
map(Function, Iterator) - Static method in class orbital.logic.functor.Functionals
 
map(Function, ListIterator) - Static method in class orbital.logic.functor.Functionals
 
map(Function, Object[]) - Static method in class orbital.logic.functor.Functionals
Maps a list of arguments with a function.
map(Function, Object) - Static method in class orbital.logic.functor.Functionals
Maps a list-like generalized iteratable list of arguments with a function.
map(BinaryFunction, Collection, Collection) - Static method in class orbital.logic.functor.Functionals
Maps two lists of arguments with a BinaryFunction.
map(BinaryFunction, List, List) - Static method in class orbital.logic.functor.Functionals
 
map(BinaryFunction, Set, Set) - Static method in class orbital.logic.functor.Functionals
 
map(BinaryFunction, SortedSet, SortedSet) - Static method in class orbital.logic.functor.Functionals
 
map(BinaryFunction, Iterator, Iterator) - Static method in class orbital.logic.functor.Functionals
 
map(BinaryFunction, ListIterator, ListIterator) - Static method in class orbital.logic.functor.Functionals
 
map(BinaryFunction, Object[], Object[]) - Static method in class orbital.logic.functor.Functionals
Maps two lists of arguments with a BinaryFunction.
map(Type, Type) - Method in interface orbital.logic.sign.type.TypeSystem
Get the map type σ→τ.
map() - Method in interface orbital.logic.sign.type.TypeSystem
map: *×* → *; (σ,τ) ↦ σ→τ.
map(Function, Tensor) - Static method in class orbital.math.functional.Functionals
Maps a list of arguments with a function.
map(Function, Vector) - Static method in class orbital.math.functional.Functionals
 
map(Function, Matrix) - Static method in class orbital.math.functional.Functionals
 
map(BinaryFunction, Tensor, Tensor) - Static method in class orbital.math.functional.Functionals
Maps two lists of arguments with a binary function.
map(BinaryFunction, Vector, Vector) - Static method in class orbital.math.functional.Functionals
 
map(BinaryFunction, Matrix, Matrix) - Static method in class orbital.math.functional.Functionals
 
map(Function, double[]) - Static method in class orbital.math.functional.Functionals
 
map(Function, int[]) - Static method in class orbital.math.functional.Functionals
 
map(Function, long[]) - Static method in class orbital.math.functional.Functionals
 
map(Function, float[]) - Static method in class orbital.math.functional.Functionals
 
map(BinaryFunction, double[], double[]) - Static method in class orbital.math.functional.Functionals
 
map(BinaryFunction, int[], int[]) - Static method in class orbital.math.functional.Functionals
 
map(BinaryFunction, long[], long[]) - Static method in class orbital.math.functional.Functionals
 
map(BinaryFunction, float[], float[]) - Static method in class orbital.math.functional.Functionals
 
mapInto(Function, Iterator, ListIterator) - Static method in class orbital.logic.functor.Functionals
map implementation writing values into the target iterator t.
mapInto(BinaryFunction, Iterator, Iterator, ListIterator) - Static method in class orbital.logic.functor.Functionals
map implementation writing values into the target iterator t.
MapType() - Method in class orbital.moon.logic.LogicParser
 
MarkovDecisionProblem - Interface in orbital.algorithm.template
Hook class for MarkovDecisionProcess algorithm.
MarkovDecisionProblem.DefaultTransition - Class in orbital.algorithm.template
Default implementation of transition options for Markov decision processes.
MarkovDecisionProblem.DefaultTransition(Scalar, Real) - Constructor for class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition
Create a new option ⟨p,c⟩.
MarkovDecisionProblem.DefaultTransition(double, double) - Constructor for class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition
Deprecated. convenience constructor, prefer to use ValueFactory.valueOf(double)..
MarkovDecisionProblem.Transition - Interface in orbital.algorithm.template
Represents a transition option during a Markov decision process.
MarkovDecisionProcess - Class in orbital.algorithm.template
Markov decision process (MDP).
MarkovDecisionProcess() - Constructor for class orbital.algorithm.template.MarkovDecisionProcess
 
MarkovDecisionProcess.DynamicProgramming - Class in orbital.algorithm.template
Abstract base class for Markov decision processes solved per dynamic programming.
MarkovDecisionProcess.DynamicProgramming(Function, Real) - Constructor for class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
 
MarkovDecisionProcess.DynamicProgramming(Function, double) - Constructor for class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Deprecated. convenience constructor, prefer to use ValueFactory.valueOf(double)..
MarkovDecisionProcess.DynamicProgramming(Function) - Constructor for class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
 
matches(Object) - Method in interface orbital.logic.trs.Substitution.Matcher
Attempts to match t against this.
matchingBrace(String, int) - Static method in class orbital.util.Utility
Utility returning the index of the brace matching the brace at pos in text.
MATH_EXPORT_FORMAT - Static variable in class orbital.math.ArithmeticFormat
A formatter producing parsable output as exportable to systems like Mathematica.
MathExpressionSyntax - Class in orbital.moon.logic
This class implements an expression syntax for mathematical expressions.
MathExpressionSyntax() - Constructor for class orbital.moon.logic.MathExpressionSyntax
 
MathFunctor - Interface in orbital.math.functional
MathFunctor interface tags all mathematical functors.
MathFunctor.Composite - Interface in orbital.math.functional
A composed mathematical functors.
MathUtilities - Class in orbital.math
This class contains basic mathematical utilities.
Matrix - Interface in orbital.math
Represents a matrix of any dimension n×m.
max - Variable in class orbital.awt.Range
 
max(Vector) - Static method in class orbital.math.Evaluations
Deprecated. Returns the maximum value of all elements in this Vector.
max(double[]) - Static method in class orbital.math.Evaluations
Deprecated. Returns the maximum value of an array of doubles.
max(int[]) - Static method in class orbital.math.Evaluations
Deprecated. Return maximum of an array of integers.
max(Matrix) - Static method in class orbital.math.Evaluations
Deprecated. Returns the maximum value of all elements in this Matrix.
max - Static variable in interface orbital.math.functional.Operations
max: A×A→A; (x,y) ↦ max {x,y} = ⊔{x,y}.
maximumExpectedUtility(BinaryFunction, Object) - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Calculate the maximum expected utility (MEU) action.
MaxIterations - Static variable in exception orbital.logic.IterationLimitException
The limit for the maximum number of iterations for mathematical operations such as fixed point iterations.
maxNextCharInd - Variable in class orbital.moon.logic.SimpleCharStream
 
MaxRecursions - Static variable in exception orbital.logic.RecursionLimitException
The limit for the maximum number of recursions for mathematical operations such as fixed point recursions.
mean(double[]) - Static method in class orbital.math.Stat
Normal arithmetic mean of a set of values.
meanDeviation(double[]) - Static method in class orbital.math.Stat
Returns the mean absolute deviation of a set of n values.
median(double[]) - Static method in class orbital.math.Stat
Returns the median of a set of n values sorted in ascending numerical order.
merge(Object[]) - Method in interface orbital.algorithm.template.DivideAndConquerProblem
Merge several partial solutions to a complete solution.
merge(Object[]) - Method in interface orbital.algorithm.template.DynamicProgrammingProblem
Merge several partial solutions to a complete solution.
merge(List, List, Comparator) - Static method in class orbital.util.Setops
Merge two collections according to the order induced by a comparator.
merge(Iterator, Iterator, Comparator) - Static method in class orbital.util.Setops
Merge two iterator-views according to the order induced by a comparator.
Metric - Interface in orbital.math
This interface imposes a metric on the objects supported by it.
min - Variable in class orbital.awt.Range
 
min(Vector) - Static method in class orbital.math.Evaluations
Deprecated. Returns the minimum value of all elements in this Vector.
min(double[]) - Static method in class orbital.math.Evaluations
Deprecated. Returns the minimum value of an array of doubles.
min(int[]) - Static method in class orbital.math.Evaluations
Deprecated. Return minimum of an array of integers.
min(Matrix) - Static method in class orbital.math.Evaluations
Deprecated. Returns the minimum value of all elements in this Matrix.
min - Static variable in interface orbital.math.functional.Operations
min: A×A→A; (x,y) ↦ min {x,y} = ⊓{x,y}.
minus() - Method in interface orbital.math.Arithmetic
Returns the additive inverse of this arithmetic object.
minus - Static variable in interface orbital.math.functional.Operations
minus −: A→A; x ↦ −x.
MINUS - Static variable in interface orbital.moon.logic.LogicParserConstants
 
MINUS_ONE() - Method in interface orbital.math.ValueFactory
-1∈Z.
ModalExpression() - Method in class orbital.moon.logic.LogicParser
 
ModalLogic - Class in orbital.moon.logic
Implementation of modal logic with local or global consequence.
ModalLogic() - Constructor for class orbital.moon.logic.ModalLogic
 
modulo(Euclidean) - Method in interface orbital.math.Euclidean
Get the Euclidean remainder, modulo g.
modulo(UnivariatePolynomial) - Method in interface orbital.math.UnivariatePolynomial
 
MONOMIAL(Arithmetic, Arithmetic) - Method in interface orbital.math.ValueFactory
The monomial c·Xi.
MONOMIAL(Arithmetic, int[]) - Method in interface orbital.math.ValueFactory
The monomial c·X0i[0]...Xn-1i[n-1].
MONOMIAL(Arithmetic) - Method in interface orbital.math.ValueFactory
The monomial 1·Xi.
MONOMIAL(int[]) - Method in interface orbital.math.ValueFactory
The monomial 1·X0i[0]...Xn-1i[n-1].
MONOMIAL(Arithmetic, int) - Method in interface orbital.math.ValueFactory
The univariate monomial c·Xe.
MONOMIAL(int) - Method in interface orbital.math.ValueFactory
The univariate monomial 1·Xe.
monomials() - Method in interface orbital.math.Polynomial
Returns an iterator over our (relevant) monomials, i.e., pairs of (exponent, coefficient).
mouseClicked(MouseEvent) - Method in class orbital.awt.CustomizerViewController
 
MULTI_LINE_COMMENT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
multinomial(int[]) - Static method in class orbital.math.MathUtilities
Multinomial coefficient which is a generalized binomial coefficient.
multiply(Arithmetic) - Method in interface orbital.math.Arithmetic
Multiplies an arithmetic object to this returning the result.
multiply(Complex) - Method in interface orbital.math.Complex
multiplies two Complexes returning a third as a result
multiply(Fraction) - Method in interface orbital.math.Fraction
Multiplies two fractions returning a third as a result.
multiply(Integer) - Method in interface orbital.math.Integer
 
multiply(Matrix) - Method in interface orbital.math.Matrix
Multiplies two matrices returning a matrix.
multiply(Scalar) - Method in interface orbital.math.Matrix
Multiplies a matrix with a scalar returning a matrix.
multiply(Vector) - Method in interface orbital.math.Matrix
Multiplies a matrix with a vector returning a vector.
multiply(Polynomial) - Method in interface orbital.math.Polynomial
Multiplies two polynomials.
multiply(Quotient) - Method in interface orbital.math.Quotient
 
multiply(Rational) - Method in interface orbital.math.Rational
multiplies two rationals returning a third as a result
multiply(Real) - Method in interface orbital.math.Real
 
multiply(Tensor) - Method in interface orbital.math.Tensor
Inner product of a tensor with a tensor returning a tensor.
multiply(UnivariatePolynomial) - Method in interface orbital.math.UnivariatePolynomial
 
multiply(Vector) - Method in interface orbital.math.Vector
Scalar-dot-product ⟨·,·⟩:V×V→F of two vectors.
multiply(Scalar) - Method in interface orbital.math.Vector
Multiplies a vector with a scalar returning a vector.
multiply(Matrix) - Method in interface orbital.math.Vector
Multiplies a vector with a matrix returning a vector.
MutableFunction - Interface in orbital.logic.functor
A mutable function that can change its values.
MutableFunction.TableFunction - Class in orbital.logic.functor
A mutable function implemented as a tabular HashMap.
MutableFunction.TableFunction(Map, Function, boolean) - Constructor for class orbital.logic.functor.MutableFunction.TableFunction
Create a preinitialized table-based mutable function.
MutableFunction.TableFunction(Function, boolean) - Constructor for class orbital.logic.functor.MutableFunction.TableFunction
Create a table-based mutable function.
MutableFunction.TableFunction(Function) - Constructor for class orbital.logic.functor.MutableFunction.TableFunction
 
MutableFunction.TableFunction() - Constructor for class orbital.logic.functor.MutableFunction.TableFunction
Create a table-based mutable function without lazy initialization.
mutate(double) - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Get a mutated version of this Gene.
mutate(double) - Method in class orbital.algorithm.evolutionary.Gene.List
Get a mutated version of this Gene.
mutate(double) - Method in interface orbital.algorithm.evolutionary.Gene
Get a mutated version of this Gene.
mutate(double) - Method in class orbital.algorithm.evolutionary.Gene.Number
 
mutate(double) - Method in class orbital.algorithm.evolutionary.Genome
 

N

NaN() - Method in interface orbital.math.ValueFactory
not a number ⊥∈R∪{⊥}.
narrow(Scalar) - Method in interface orbital.math.ValueFactory
Returns a minimized Scalar whose value is equal to that of the specified scalar.
NATURAL_SPLINE_INTERPOLATION - Static variable in class orbital.math.NumericalAlgorithms
natural spline interpolation with natural decay conditions s''(a)=0 and s''(b)=0.
nCr(int, int) - Static method in class orbital.math.MathUtilities
binomial coefficient (nr) = nCr number of combinations without repetition.
negation(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Get the negation of F without introducing duplex negatios.
negationForm(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Get the negation normal form of a formula.
NEGATIVE_INFINITY() - Method in interface orbital.math.ValueFactory
-∞∈R.
nest(Function, int) - Static method in class orbital.logic.functor.Functionals
Nests a function n times within itself.
nest(Function, int) - Static method in class orbital.math.functional.Functionals
Nests a function n times within itself.
nested - Variable in exception orbital.util.InnerCheckedException
nested inner exception that is checked and therefore cannot be thrown directly.
newClausalSet() - Method in interface orbital.moon.logic.resolution.ClausalFactory
Instantiates a new clausal set.
newClausalSet() - Method in class orbital.moon.logic.resolution.DefaultClausalFactory
 
newClause() - Method in interface orbital.moon.logic.resolution.ClausalFactory
Instantiates a new clause.
newClause() - Method in class orbital.moon.logic.resolution.DefaultClausalFactory
 
newCollectionLike(Collection) - Static method in class orbital.util.Setops
Get a new instance of an empty collection of the same type as the one specified.
newInstance(int) - Method in interface orbital.math.ValueFactory
Creates a new instance of vector with the specified dimension.
newInstance(Dimension) - Method in interface orbital.math.ValueFactory
Creates a new instance of matrix with the specified dimension.
newInstance(int, int) - Method in interface orbital.math.ValueFactory
 
newInstance(int[]) - Method in interface orbital.math.ValueFactory
Creates a new instance of tensor with the specified dimensions.
newIteratableLike(Object) - Static method in class orbital.util.Utility
Get a new instance of generalized iteratable object of the same type as the one specified.
newToken(int) - Static method in class orbital.moon.logic.Token
Returns a new Token object, by default.
next() - Method in class orbital.algorithm.Combinatorical
Get the next combinatorical tuple.
next() - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
next() - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
 
next() - Method in class orbital.algorithm.template.TransitionPath
Advance to the next state of the path.
next - Variable in class orbital.moon.logic.Token
A reference to the next regular (non-special) token from the input stream.
next() - Method in class orbital.util.DelegateIterator
 
next() - Method in class orbital.util.QueuedIterator
Returns the elements added to this queued iterator in FIFO order.
next() - Method in class orbital.util.QueuedSequenceIterator
 
next() - Method in class orbital.util.SequenceIterator
 
nextCandidates(List) - Method in interface orbital.algorithm.template.GreedyProblem
Get the next set of candidates.
nextIndex() - Method in class orbital.util.DelegateListIterator
 
nextPart() - Method in interface orbital.algorithm.template.DynamicProgrammingProblem
Divide this problem into several (dependant) problem parts and return the index description for the next part to solve.
nextPartialSolution(List, Object) - Method in interface orbital.algorithm.template.GreedyProblem
Extends the choices with a new_choice if that is feasible, otherwise nothing is changed.
nondet - Static variable in class orbital.math.functional.Functions
Represents a nondeterministic function.
norm() - Method in interface orbital.math.Complex
Returns the absolute |z|.
norm - Static variable in class orbital.math.functional.Functions
norm: A→[0,∞); x ↦ ||x||.
norm(double) - Method in interface orbital.math.Matrix
Returns the norm || ||p of this matrix.
norm() - Method in interface orbital.math.Matrix
Returns a norm ||.|| of this arithmetic object. Returns the sub-multiplicative Frobenius norm of this matrix.
norm() - Method in interface orbital.math.Normed
Returns a norm ||.|| of this arithmetic object.
norm(double) - Method in interface orbital.math.Vector
Returns the norm || ||p of this vector.
Normed - Interface in orbital.math
This interface imposes a norm on the objects of each class that implements it.
not() - Method in interface orbital.logic.imp.Formula
Negation not: ¬F.
not(Predicate) - Static method in class orbital.math.functional.Functionals
Negates predicates
not - Static variable in interface orbital.moon.logic.functor.Operations
Negation not ¬:DtDt; x ↦ ¬x.
not() - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
Defines the NOT operator to use in the fuzzy logic.
NOT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
Notation - Class in orbital.logic.sign.concrete
Represents notational variants of compositor applications.
Notation(String) - Constructor for class orbital.logic.sign.concrete.Notation
 
Notation.NotationSpecification - Class in orbital.logic.sign.concrete
Contains the specification of the default notation for a compositor.
Notation.NotationSpecification(int, String, Notation) - Constructor for class orbital.logic.sign.concrete.Notation.NotationSpecification
Create a specification of a compositor's notation.
Notation.NotationSpecification(int, String, Notation, int) - Constructor for class orbital.logic.sign.concrete.Notation.NotationSpecification
Create a specification of a compositor's notation.
Notation.NotationSpecification(int, Notation, int) - Constructor for class orbital.logic.sign.concrete.Notation.NotationSpecification
Create a specification of a compositor's notation.
Notation.NotationSpecification(int, String) - Constructor for class orbital.logic.sign.concrete.Notation.NotationSpecification
Create a specification of a compositor's notation with automatic notation resolution.
Notation.NotationSpecification(int) - Constructor for class orbital.logic.sign.concrete.Notation.NotationSpecification
Create a very basic default notation specification of a compositor's notation.
NotIteratableException - Exception in orbital.util
Thrown if an object expected to be generalized iteratable is not.
NotIteratableException() - Constructor for exception orbital.util.NotIteratableException
 
NotIteratableException(String) - Constructor for exception orbital.util.NotIteratableException
 
NotIteratableException(String, Class, Object) - Constructor for exception orbital.util.NotIteratableException
 
NotIteratableException(Class, Object) - Constructor for exception orbital.util.NotIteratableException
 
NOTYPE() - Method in interface orbital.logic.sign.type.TypeSystem
Not a type.
nPr(int, int) - Static method in class orbital.math.MathUtilities
nPr number of permutations without repetition.
NumberInput - Class in orbital.awt
An InputField for Numbers which can be adjusted by +- buttons.
NumberInput(Number) - Constructor for class orbital.awt.NumberInput
 
NumberInput() - Constructor for class orbital.awt.NumberInput
 
NumberInputBeanInfo - Class in orbital.awt
 
NumberInputBeanInfo() - Constructor for class orbital.awt.NumberInputBeanInfo
 
NumberInputBeanInfo.StylePropertyEditor - Class in orbital.awt
 
NumberInputBeanInfo.StylePropertyEditor() - Constructor for class orbital.awt.NumberInputBeanInfo.StylePropertyEditor
 
NumberLiteralValue() - Method in class orbital.moon.logic.LogicParser
purely numeric atomic term literal value (in the sense of constant primitive type).
numerator() - Method in interface orbital.math.Fraction
Returns the numerator component.
numerator() - Method in interface orbital.math.Rational
Returns the numerator component.
NUMERATOR_FIELD - Static variable in class orbital.math.ArithmeticFormat
 
numerical - Static variable in interface orbital.math.Arithmetic
Checks recursively whether the given arithmetic object is a numerical quantity, i.e., involves Real numerical approximations somewhere.
NumericalAlgorithms - Class in orbital.math
This class contains numerical algorithms.
NUMPAD - Static variable in class orbital.awt.NumberInput
 
nvalue - Variable in class orbital.awt.NumberInput
Number value

O

objectType(Class) - Method in interface orbital.logic.sign.type.TypeSystem
Get the object type described by a class.
objectType(Class, String) - Method in interface orbital.logic.sign.type.TypeSystem
Get the object type described by a class.
occurringMonomials(Polynomial) - Static method in class orbital.math.AlgebraicAlgorithms
Get a collection of those (exponents of) monomials that occur in f (i.e.
odd(int) - Static method in class orbital.math.MathUtilities
This function is true only when the value is an odd number.
on(Type) - Method in interface orbital.logic.sign.type.Type
Applies this type on sigma returning the resulting type.
one() - Method in interface orbital.math.Arithmetic
1.
one - Static variable in class orbital.math.functional.Functions
one: R→R; x ↦ 1 .
ONE() - Method in interface orbital.math.ValueFactory
1∈Z.
onFirst(Function) - Static method in class orbital.logic.functor.Functionals
Applies a function on the first argument, ignoring the second.
onFirst(Predicate) - Static method in class orbital.logic.functor.Functionals
Applies a predicate on the first argument, ignoring the second.
onFirst(Function) - Static method in class orbital.math.functional.Functionals
Applies a function on the first argument, ignoring the second.
onSecond(Function) - Static method in class orbital.logic.functor.Functionals
Applies a function on the second argument, ignoring the first.
onSecond(Predicate) - Static method in class orbital.logic.functor.Functionals
Applies a predicate on the second argument, ignoring the first.
onSecond(Function) - Static method in class orbital.math.functional.Functionals
Applies a function on the second argument, ignoring the first.
onVoid(VoidFunction) - Static method in class orbital.logic.functor.Functionals
Applies a function on the void argument, ignoring all arguments.
onVoid(VoidPredicate) - Static method in class orbital.logic.functor.Functionals
Applies a predicate on the void argument, ignoring all arguments.
Oops - Error in orbital.util
Oops is another funny error that should not be thrown.
Oops(String) - Constructor for error orbital.util.Oops
 
Oops() - Constructor for error orbital.util.Oops
 
OpenClosedGeneralSearchProblem - Class in orbital.algorithm.template
GeneralSearchProblem wrapper keeping track of open and closed sets.
OpenClosedGeneralSearchProblem(GeneralSearchProblem) - Constructor for class orbital.algorithm.template.OpenClosedGeneralSearchProblem
Create a GeneralSearchProblem keeping track of closed sets.
Operations - Interface in orbital.math.functional
Provides central arithmetic operations for algebraic types.
operations - Static variable in interface orbital.math.functional.Operations
Class alias object.
Operations - Interface in orbital.moon.logic.functor
Provides central logical operations for truth-value types.
operations - Static variable in interface orbital.moon.logic.functor.Operations
Class alias object.
or(Formula) - Method in interface orbital.logic.imp.Formula
Disjunction or: FG.
or - Static variable in interface orbital.moon.logic.functor.Operations
 
or() - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
Defines the fuzzy OR operator to use in the fuzzy logic.
OR - Static variable in interface orbital.moon.logic.LogicParserConstants
 
orbital.algorithm - package orbital.algorithm
This package and its sub packages contain important algorithms and algorithmic schemes.
orbital.algorithm.evolutionary - package orbital.algorithm.evolutionary
Genetic algorithms simulate nature on a very abstract level to get solutions for sophisticated problems.
orbital.algorithm.template - package orbital.algorithm.template
A framework for general algorithmic evaluation schemes including search and planning algorithms.
orbital.awt - package orbital.awt
Extends the core Java AWT Package and includes some Beans and GUI add-ons as well as generic customizers.
orbital.logic - package orbital.logic
The logic package and its sub packages contain classes for logical operations and frameworks.
orbital.logic.functor - package orbital.logic.functor
Contains template interfaces for logic functors like Predicates and Functions that can be used for generalized call-back, and functional operations based upon them.
orbital.logic.imp - package orbital.logic.imp
Defines a generic interface to (symbolic) logic systems.
orbital.logic.sign - package orbital.logic.sign
Defines generic interfaces for formal languages.
orbital.logic.sign.concrete - package orbital.logic.sign.concrete
Defines the concrete syntax of formal languages.
orbital.logic.sign.type - package orbital.logic.sign.type
Defines interfaces for general type systems.
orbital.logic.trs - package orbital.logic.trs
Provides a term rewrite system (TRS) mechanism with substitution and unification.
orbital.math - package orbital.math
Defines arithmetic objects and provides mathematical algorithms.
orbital.math.functional - package orbital.math.functional
Contains mathematical functors and extended functional operations.
orbital.moon.awt - package orbital.moon.awt
Implementation of extended Bean, AWT and GUI Add-ons along with useful applet to application converters.
orbital.moon.evolutionary - package orbital.moon.evolutionary
Contains implementation utilities and a front-end for evolutionary algorithms.
orbital.moon.logic - package orbital.moon.logic
Contains implementations of some logics as well as a logic and mathematical expression parser.
orbital.moon.logic.functor - package orbital.moon.logic.functor
Experimental additional classes related to orbital.logic.functors.
orbital.moon.logic.resolution - package orbital.moon.logic.resolution
Provides resolution inference theorem prover implementation and clause management.
orbital.util - package orbital.util
Provides basic utility classes useful to ease several programming tasks.
OrderedClauseImpl - Class in orbital.moon.logic.resolution
Implementation of a representation of a clause performing ordered resolution.
OrderedClauseImpl(Set) - Constructor for class orbital.moon.logic.resolution.OrderedClauseImpl
Copy constructor.
OrderedClauseImpl() - Constructor for class orbital.moon.logic.resolution.OrderedClauseImpl
 
orFold - Static variable in interface orbital.moon.logic.functor.Operations
 
OutOfCheeseError - Error in orbital.util
This class is a OutOfCheeseError thrown like an UnknownError whenever really dull garbage happens which cannot be categorized further.
OutOfCheeseError(String) - Constructor for error orbital.util.OutOfCheeseError
 
OutOfCheeseError() - Constructor for error orbital.util.OutOfCheeseError
 

P

paint(Graphics) - Method in class orbital.awt.ImageCanvas
 
paint(Graphics) - Method in class orbital.awt.Plot2D
 
Pair - Class in orbital.util
Pair class combines two objects in one.
Pair(Object, Object) - Constructor for class orbital.util.Pair
Create a new pair ⟨a, b⟩.
Pair() - Constructor for class orbital.util.Pair
 
ParallelBranchAndBound - Class in orbital.algorithm.template
Parallel branch-and-bound algorithm.
ParallelBranchAndBound(Function, double) - Constructor for class orbital.algorithm.template.ParallelBranchAndBound
 
ParallelEvaluationPopulation - Class in orbital.algorithm.evolutionary
A Population that evaluates its members fitness-weights in parallel.
ParallelEvaluationPopulation() - Constructor for class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
 
ParallelEvaluationPopulation(Population) - Constructor for class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Convert a population into a parallel evaluating population using its members list per reference.
paramorphism(int, BinaryFunction) - Static method in class orbital.logic.functor.Functionals
Paramorphism recursion functional operator (barbed wire).
parent - Variable in class orbital.moon.awt.Closer
parental frame.
parse(String, ParsePosition) - Method in class orbital.math.ArithmeticFormat
Parse an arithmetic object string representation.
parse(String) - Method in class orbital.math.ArithmeticFormat
Parse an arithmetic object string representation.
parse(String) - Method in interface orbital.math.ValueFactory
Returns an arithmetic object whose value is equal to that of the representation in the specified string.
ParseException - Exception in orbital.logic.sign
An exception thrown if an expression could not be parsed as desired.
ParseException(String, int, int, int, Throwable) - Constructor for exception orbital.logic.sign.ParseException
 
ParseException(String, int, int, Throwable) - Constructor for exception orbital.logic.sign.ParseException
 
ParseException(String, int, Throwable) - Constructor for exception orbital.logic.sign.ParseException
 
ParseException(String, int, int, int) - Constructor for exception orbital.logic.sign.ParseException
 
ParseException(String, int, int) - Constructor for exception orbital.logic.sign.ParseException
 
ParseException(String, int) - Constructor for exception orbital.logic.sign.ParseException
 
ParseException - Exception in orbital.moon.logic
This exception is thrown when parse errors are encountered.
ParseException(Token, int[][], String[]) - Constructor for exception orbital.moon.logic.ParseException
This constructor is used by the method "generateParseException" in the generated parser.
ParseException() - Constructor for exception orbital.moon.logic.ParseException
The following constructors are for use by you for whatever purpose you can think of.
ParseException(String) - Constructor for exception orbital.moon.logic.ParseException
 
parseFormula() - Method in class orbital.moon.logic.LogicParser
Start production parsing a logic formula with the current syntax.
parseFormulas() - Method in class orbital.moon.logic.LogicParser
Start production parsing a set of logic formulas with the current syntax.
parseObject(String, ParsePosition) - Method in class orbital.math.ArithmeticFormat
 
parseTerm() - Method in class orbital.moon.logic.LogicParser
Start production parsing an arithmetic formula expression.
parseType() - Method in class orbital.moon.logic.LogicParser
Start production parsing a type expression with the current syntax.
pattern() - Method in interface orbital.logic.trs.Substitution.Matcher
Get the pattern descriptor.
PERIODICAL_SPLINE_INTERPOLATION - Static variable in class orbital.math.NumericalAlgorithms
periodical spline interpolation with periodicity conditions s'(a)=s'(b) and s''(a)=s''(b).
PI() - Method in interface orbital.math.ValueFactory
π = 3.14159265...
PI - Static variable in interface orbital.moon.logic.LogicParserConstants
 
PiAbstractionType() - Method in class orbital.moon.logic.LogicParser
 
piecewise(Predicate[], Function[]) - Static method in class orbital.math.functional.Functions
Get a function defined piecewise.
plan() - Method in class orbital.algorithm.template.GaussSeidelDynamicProgramming
 
plan() - Method in class orbital.algorithm.template.MarkovDecisionProcess
Run the planning.
plan() - Method in class orbital.algorithm.template.RealTimeDynamicProgramming
 
Plot2D - Class in orbital.awt
This class is a View-Bean for a ChartModel, it displays 2-dimensional graphs.
Plot2D(ChartModel) - Constructor for class orbital.awt.Plot2D
 
Plot2D() - Constructor for class orbital.awt.Plot2D
 
Plot2DBeanInfo - Class in orbital.awt
 
Plot2DBeanInfo() - Constructor for class orbital.awt.Plot2DBeanInfo
 
Plot2DCustomizer - Class in orbital.awt
 
Plot2DCustomizer() - Constructor for class orbital.awt.Plot2DCustomizer
 
plus - Static variable in interface orbital.math.functional.Operations
plus +: A×A→A; (x,y) ↦ x+y.
PLUS - Static variable in interface orbital.moon.logic.LogicParserConstants
 
pointwise(Function) - Static method in class orbital.math.functional.Functionals
A function that performs an operation pointwise.
pointwise(BinaryFunction) - Static method in class orbital.math.functional.Functionals
A BinaryFunction that performs an operation pointwise.
polar(Real, Real) - Method in interface orbital.math.ValueFactory
Creates a new complex from polar coordinates with r*eiφ.
polar(double, double) - Method in interface orbital.math.ValueFactory
 
polynom(int) - Static method in class orbital.math.functional.Functions
polynom: R'→R'; X↦i=0d Xi.
polynom(Vector) - Static method in class orbital.math.functional.Functions
polynom: R'→R'; X↦i=0d aiXi.
Polynomial - Interface in orbital.math
Polynomial p∈R[S] := R(S).
polynomial(Object) - Method in interface orbital.math.ValueFactory
Returns a polynomial with the specified coefficients.
polynomial(Map) - Method in interface orbital.math.ValueFactory
Returns a polynomial with the specified (partial) coefficient map.
polynomial(Arithmetic[]) - Method in interface orbital.math.ValueFactory
Returns a (univariate) polynomial with the specified coefficients.
polynomial(double[]) - Method in interface orbital.math.ValueFactory
 
polynomial(int[]) - Method in interface orbital.math.ValueFactory
 
polynomialInterpolation(Matrix) - Static method in class orbital.math.NumericalAlgorithms
Polynomial interpolation.
popEnable(boolean) - Method in class orbital.moon.evolutionary.BreederControl
Enable menu options etc.
Population - Class in orbital.algorithm.evolutionary
This class represents a population of genomes as a data structure.
Population() - Constructor for class orbital.algorithm.evolutionary.Population
Create an empty population.
PopulationBeanInfo - Class in orbital.algorithm.evolutionary
 
PopulationBeanInfo() - Constructor for class orbital.algorithm.evolutionary.PopulationBeanInfo
 
PopulationBeanInfo.PopulationEditor - Class in orbital.algorithm.evolutionary
 
PopulationBeanInfo.PopulationEditor() - Constructor for class orbital.algorithm.evolutionary.PopulationBeanInfo.PopulationEditor
 
PopulationImpl - Class in orbital.algorithm.evolutionary
This class implements a population of genomes and provides methods for genetic algorithms.
PopulationImpl() - Constructor for class orbital.algorithm.evolutionary.PopulationImpl
Construct a new population with no properties set.
PopulationImpl(int, int, double, double) - Constructor for class orbital.algorithm.evolutionary.PopulationImpl
Construct a new population.
PopulationImpl(double, double) - Constructor for class orbital.algorithm.evolutionary.PopulationImpl
Construct a new population.
PopulationImplBeanInfo - Class in orbital.algorithm.evolutionary
 
PopulationImplBeanInfo() - Constructor for class orbital.algorithm.evolutionary.PopulationImplBeanInfo
 
POSITIVE_INFINITY() - Method in interface orbital.math.ValueFactory
+∞∈R.
POSTFIX - Static variable in class orbital.logic.sign.concrete.Notation
Specifies postfix notation "(a,b) f".
pow(Arithmetic) - Static method in class orbital.math.functional.Functions
powp: R→R; x ↦ xp .
pow(double) - Static method in class orbital.math.functional.Functions
 
power(Arithmetic) - Method in interface orbital.math.Arithmetic
Returns the power of an arithmetic object to this base.
power(Complex) - Method in interface orbital.math.Complex
power of complex numbers.
power - Static variable in interface orbital.math.functional.Operations
power ^: A×A→A; (x,y) ↦ xy.
power(Integer) - Method in interface orbital.math.Integer
Return ab.
power(Quotient) - Method in interface orbital.math.Quotient
 
power(Integer) - Method in interface orbital.math.Rational
Return ab.
power(Rational) - Method in interface orbital.math.Rational
Return ab.
power(Real) - Method in interface orbital.math.Real
Return ab.
powerset(Set) - Static method in class orbital.util.Setops
Returns the powerset of a set, i.e.
PowerTerm() - Method in class orbital.moon.logic.LogicParser
 
pre(boolean, String) - Static method in class orbital.util.Utility
Call to make a precondition assertion.
precision - Variable in class orbital.awt.NumberInput
with what precision mouse operations will change the value.
precisionFor(double, double) - Static method in class orbital.math.MathUtilities
Get the precision for a given a specified tolerance relative to the magnitude of a.
precisionFor(double) - Static method in class orbital.math.MathUtilities
Get the precision for a default tolerance relative to the magnitude of a.
Predicate - Interface in orbital.logic.functor
A functor that encapsulates a unary predicate P/1.
predicate(Type) - Method in interface orbital.logic.sign.type.TypeSystem
Get the predicate type (σ) = σ→ο.
predicate() - Method in interface orbital.logic.sign.type.TypeSystem
predicate: * → *; σ(σ).
Predicate.Composite - Interface in orbital.logic.functor
A composed Predicate.
Predicates - Class in orbital.logic.functor
Predicate Implementations.
predicates - Static variable in class orbital.logic.functor.Predicates
Class alias object.
PREFIX - Static variable in class orbital.logic.sign.concrete.Notation
Specifies prefix notation "f(a,b)".
prevCharIsCR - Variable in class orbital.moon.logic.SimpleCharStream
 
prevCharIsLF - Variable in class orbital.moon.logic.SimpleCharStream
 
previous() - Method in class orbital.algorithm.Combinatorical
Get the previous combinatorical tuple.
previous() - Method in class orbital.util.DelegateListIterator
 
previousIndex() - Method in class orbital.util.DelegateListIterator
 
PrimaryExpression() - Method in class orbital.moon.logic.LogicParser
Final expression parsing production (in addition to LogicParser.Atom()).
PrimaryTerm() - Method in class orbital.moon.logic.LogicParser
Final term parsing production (in addition to LogicParser.AtomicTerm()).
PrimaryType() - Method in class orbital.moon.logic.LogicParser
A primary type.
print(Graphics, PageFormat, int) - Method in class orbital.awt.Plot2D
 
printBean(Class) - Static method in class orbital.awt.UIUtilities
 
printBean(Class, PrintStream) - Static method in class orbital.awt.UIUtilities
Print Information on a bean.
printStackTrace() - Method in exception orbital.util.InnerCheckedException
Prints the stack trace of the thrown nested exception to the specified print stream.
printStackTrace(PrintStream) - Method in exception orbital.util.InnerCheckedException
Prints the stack trace of the thrown nested exception to the specified print stream.
printStackTrace(PrintWriter) - Method in exception orbital.util.InnerCheckedException
Prints the stack trace of the thrown nested exception to the specified print writer.
ProbabilisticAlgorithm - Interface in orbital.algorithm.template
Tags probabilistic algorithms leading to approximative solutions.
problem - Variable in class orbital.moon.evolutionary.BreederControl
The current genetic algorithm problem to solve.
processActionEvent(ActionEvent) - Method in class orbital.moon.awt.Closer
Processes action events occurring on this object by dispatching them to any registered ActionListener objects.
processSolution(Object) - Method in class orbital.algorithm.template.BranchAndBound
Updates bound to solution cost.
processSolution(Object) - Method in class orbital.algorithm.template.GeneralBoundingSearch
Process a solution.
product(Type[]) - Method in interface orbital.logic.sign.type.TypeSystem
Get the product type iτi = τ1×…×τn.
product() - Method in interface orbital.logic.sign.type.TypeSystem
product: ⟨*⟩ → *; (τi)iτi = τ1×…×τn.
product - Static variable in interface orbital.math.functional.Operations
product ∏: An→A; (xi) ↦ ∏i xi = (|1,⋅|) (xi).
PRODUCT - Static variable in class orbital.moon.logic.FuzzyLogic
Product operators in fuzzy logic.
PRODUCT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
ProductTerm() - Method in class orbital.moon.logic.LogicParser
 
ProductType() - Method in class orbital.moon.logic.LogicParser
 
projectFirst - Static variable in class orbital.logic.functor.Functions
Projects to the first argument, ignoring the second.
projectFirst - Static variable in class orbital.math.functional.Functions
Projects to the first argument, ignoring the second.
projection(int) - Static method in class orbital.math.functional.Functions
projection πc: An→A; (x1,...xn)T ↦ xc.
projection(int, int) - Static method in class orbital.math.functional.Functions
projection πi,j: An×m→A; (xi,j) ↦ xi,j.
projectSecond - Static variable in class orbital.logic.functor.Functions
Projects to the second argument, ignoring the first.
projectSecond - Static variable in class orbital.math.functional.Functions
Projects to the second argument, ignoring the first.
properties(GeneticAlgorithm) - Method in class orbital.moon.evolutionary.BreederControl
 
propertyEditorComponents - Variable in class orbital.moon.awt.DefaultCustomizer
list of visual editor components for bean properties.
propertyEditors - Variable in class orbital.moon.awt.DefaultCustomizer
list of property editors for bean properties.
PROPOSITIONAL_INFERENCE - Static variable in class orbital.moon.logic.ClassicalLogic
Propositional inference.
protocol - Variable in class orbital.moon.evolutionary.BreederControl
Protocol written for current population.
protocol(String) - Method in class orbital.moon.evolutionary.BreederControl
Protocolize a text.
prove(ClausalSet, ClausalSet) - Method in class orbital.moon.logic.resolution.ResolutionBase
Try to prove or disprove the conjecture.
prove(ClausalSet, ClausalSet) - Method in class orbital.moon.logic.resolution.SaturationResolution
 
prove(ClausalSet, ClausalSet) - Method in class orbital.moon.logic.resolution.SearchResolution
 
prove(ClausalSet, ClausalSet) - Method in class orbital.moon.logic.resolution.SetOfSupportResolution
 
pseudoInverse() - Method in interface orbital.math.Matrix
Returns the pseudo inverse matrix A+.
put(Object, Object) - Method in interface orbital.logic.imp.Interpretation
Set the referent associated with the given symbol in this interpretation.
put(Object, Object) - Method in class orbital.logic.imp.InterpretationBase
 
put(Object, Object) - Method in class orbital.util.DelegateMap
 
putAll(Map) - Method in interface orbital.logic.imp.Interpretation
Copies all of the associations from the specified map to this interpretation.
putAll(Map) - Method in class orbital.logic.imp.InterpretationBase
 
putAll(Map) - Method in class orbital.util.DelegateMap
 

Q

QuantifiedExpression() - Method in class orbital.moon.logic.LogicParser
 
quantile(double[], double) - Static method in class orbital.math.Stat
Returns the a-quantile of a set of n values sorted in ascending numerical order.
QueuedIterator - Class in orbital.util
QueuedIterator is an iterator that queues elements added to it and provides an iterator view to them.
QueuedIterator(boolean) - Constructor for class orbital.util.QueuedIterator
Create a new queued iterator.
QueuedIterator() - Constructor for class orbital.util.QueuedIterator
Create a new non-synchronized queued iterator.
QueuedSequenceIterator - Class in orbital.util
A queued SequenceIterator represents the (mutable) logical concatenation of other iterators.
QueuedSequenceIterator(Iterator) - Constructor for class orbital.util.QueuedSequenceIterator
Create a new sequence iterator over an iterator of iterators.
QueuedSequenceIterator(List) - Constructor for class orbital.util.QueuedSequenceIterator
Create a new sequence iterator over a list of iterators.
QueuedSequenceIterator(Iterator[]) - Constructor for class orbital.util.QueuedSequenceIterator
Create a new sequence iterator over an array of iterators.
quotient(Euclidean) - Method in interface orbital.math.Euclidean
Get the Euclidean "quotient" by g.
Quotient - Interface in orbital.math
Quotient represents an (algebraic) equivalence class ā=ã=[a]∈M/~.
quotient(UnivariatePolynomial) - Method in interface orbital.math.UnivariatePolynomial
 
quotient(Arithmetic, Function) - Method in interface orbital.math.ValueFactory
Returns a new quotient ā=[a]∈M/mod of the given value reduced with the quotient operator.
quotient(Euclidean, Euclidean) - Method in interface orbital.math.ValueFactory
Returns a new quotient ā=[a]∈M/(m) of the given value reduced modulo m.
quotient(Polynomial, Set, Comparator) - Method in interface orbital.math.ValueFactory
Returns a new quotient ā=[a]∈M/(m) of the given value reduced modulo (m).
quotient(Euclidean, UnivariatePolynomial) - Method in interface orbital.math.ValueFactory
(disambiguates type unification).
quotient(Euclidean, Function) - Method in interface orbital.math.ValueFactory
(disambiguates type unification).
quotient(Arithmetic, Polynomial) - Method in interface orbital.math.ValueFactory
(traps type unification error).
quotient(int, int) - Method in interface orbital.math.ValueFactory
(Convenience) Returns a new quotient ā=[a]∈M/(m) of the given value reduced modulo m.

R

raise(Object) - Method in class orbital.util.Activation
Raises this conditional exception with additional information.
Range - Class in orbital.awt
Graphical range holder.
Range(Vector, Vector) - Constructor for class orbital.awt.Range
 
Range(double, double, double, double) - Constructor for class orbital.awt.Range
 
ranged(int, int) - Static method in class orbital.util.Filters
Filtering range from min to max.
rank() - Static method in class orbital.algorithm.evolutionary.Selectors
One of the best genomes will be selected, randomly.
rank() - Method in interface orbital.math.Polynomial
Get the rank of this polynomial, i.e., the number of distinct variables.
rank() - Method in interface orbital.math.Tensor
Get the rank of the tensor.
rank(Object[]) - Static method in class orbital.util.Utility
 
rank(Object) - Static method in class orbital.util.Utility
Get the number of indices required to reach the component type.
Rational - Interface in orbital.math
Representation of a rational number a⁄s ∈ Q.
rational(Integer, Integer) - Method in interface orbital.math.ValueFactory
Returns a new rational whose value is equal to p/q.
rational(int, int) - Method in interface orbital.math.ValueFactory
 
rational(Integer) - Method in interface orbital.math.ValueFactory
Returns a new (integer) rational whose value is equal to p/1.
rational(int) - Method in interface orbital.math.ValueFactory
 
re() - Method in interface orbital.math.Complex
Get the real component.
readChar() - Method in class orbital.moon.logic.SimpleCharStream
 
readLine(InputStream) - Static method in class orbital.util.Utility
Read a line from an InputStream in human-readable-form as a String.
readLine(Reader) - Static method in class orbital.util.Utility
Read a line from an InputStream in human-readable-form as a String.
readTRS(Reader, ExpressionSyntax, Function) - Static method in class orbital.moon.logic.LogicParser
Reads a term-rewrite system from a stream.
readTRS(Reader, ExpressionSyntax) - Static method in class orbital.moon.logic.LogicParser
Reads a term-rewrite system from a stream.
ready() - Method in class orbital.moon.evolutionary.BreederControl
Called when the breeder control is ready again.
Real - Interface in orbital.math
Representation of a real number a∈R.
REAL_FIELD - Static variable in class orbital.math.ArithmeticFormat
 
RealTimeDynamicProgramming - Class in orbital.algorithm.template
Real-Time Dynamic Programming (RTDP).
RealTimeDynamicProgramming(Function) - Constructor for class orbital.algorithm.template.RealTimeDynamicProgramming
 
reciprocal - Static variable in class orbital.math.functional.Functions
reciprocal: C\{0}→C; x ↦ x-1 = 1 / x.
recombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Genetically recombine gene data of parents to their children via reproduction..
recombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Gene.Float
 
recombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
recombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Gene.List
Genetically recombine gene data of parents to their children via reproduction..
recombine(Gene[], int, double) - Method in interface orbital.algorithm.evolutionary.Gene
Genetically recombine gene data of parents to their children via reproduction.
recombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Genome
 
RecursionLimitException - Exception in orbital.logic
Thrown when the limit for the maximum number of recursions is overrun.
RecursionLimitException() - Constructor for exception orbital.logic.RecursionLimitException
 
RecursionLimitException(String) - Constructor for exception orbital.logic.RecursionLimitException
 
RecursionStoppedException - Exception in orbital.logic
An Exception thrown if a recursive algorithm is explicitly stopped during recursion.
RecursionStoppedException() - Constructor for exception orbital.logic.RecursionStoppedException
 
RecursionStoppedException(String) - Constructor for exception orbital.logic.RecursionStoppedException
 
reduce(Polynomial, Collection, Comparator) - Static method in class orbital.math.AlgebraicAlgorithms
Reduce f with respect to g.
reduce(Collection, Comparator) - Static method in class orbital.math.AlgebraicAlgorithms
Reduceg:K[X0,...,Xn-1]→K[X0,...,Xn-1]; f ↦ "f reduced with respect to g".
registerPropertyChangeUpdater(PropertyDescriptor, PropertyEditor, Component) - Method in class orbital.moon.awt.DefaultCustomizer
Register to property change events of the property editor.
regression(Function[], Matrix) - Static method in class orbital.math.Stat
Performs linear regression to estimate the statistical mean according to least squares.
regression(Vector, Matrix, Matrix) - Static method in class orbital.math.Stat
Performs elemental linear regression to estimate the statistical mean according to the method of least squares.
ReInit(InputStream) - Method in class orbital.moon.logic.LogicParser
 
ReInit(InputStream, String) - Method in class orbital.moon.logic.LogicParser
 
ReInit(Reader) - Method in class orbital.moon.logic.LogicParser
 
ReInit(LogicParserTokenManager) - Method in class orbital.moon.logic.LogicParser
 
ReInit(SimpleCharStream) - Method in class orbital.moon.logic.LogicParserTokenManager
 
ReInit(SimpleCharStream, int) - Method in class orbital.moon.logic.LogicParserTokenManager
 
ReInit(Reader, int, int, int) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(Reader, int, int) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(Reader) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(InputStream, String, int, int, int) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(InputStream, int, int, int) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(InputStream, String) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(InputStream) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(InputStream, String, int, int) - Method in class orbital.moon.logic.SimpleCharStream
 
ReInit(InputStream, int, int) - Method in class orbital.moon.logic.SimpleCharStream
 
Relation - Interface in orbital.logic
This basic Relation interface tags interfaces and classes that describe relations (or predicates) between objects.
remove(Object) - Method in class orbital.algorithm.evolutionary.Population
 
remove(int) - Method in class orbital.algorithm.evolutionary.Population
 
remove() - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
Removes from the list of exandable nodes the last element returned by the iterator.
remove() - Method in class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator
 
remove() - Method in class orbital.algorithm.template.TransitionPath
 
remove(int) - Method in class orbital.awt.ChartModel
Remove a graph.
remove(Object) - Method in class orbital.logic.imp.InterpretationBase
 
remove(int) - Method in interface orbital.math.Vector
Remove the component at an index from this vector.
remove(Clause) - Method in class orbital.moon.logic.resolution.ClausalIndex
Remove clause C from our index.
remove(Object) - Method in class orbital.moon.logic.resolution.IndexedClausalSetImpl
 
remove(Object) - Method in class orbital.moon.logic.resolution.IndexedClauseImpl
 
remove(Object) - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
remove(int) - Method in class orbital.util.Buffer
Remove len beginning at front (index 0).
remove(int, int) - Method in class orbital.util.Buffer
Remove len bytes starting at off from this Buffer, decreasing its size by the len.
remove(Object) - Method in class orbital.util.DelegateCollection
Removes a single instance of the specified element from this collection, if it is present (optional operation).
remove() - Method in class orbital.util.DelegateIterator
 
remove(int) - Method in class orbital.util.DelegateList
 
remove(Object) - Method in class orbital.util.DelegateMap
 
remove() - Method in class orbital.util.QueuedIterator
Not supported.
remove() - Method in class orbital.util.QueuedSequenceIterator
 
remove() - Method in class orbital.util.SequenceIterator
 
removeActionListener(ActionListener) - Method in class orbital.moon.awt.Closer
Removes the specified action listener so that it no longer receives action events from this object.
removeAll() - Method in class orbital.awt.ChartModel
Remove all graphs.
removeAll(Collection) - Method in class orbital.util.DelegateCollection
Removes all this collection's elements that are also contained in the specified collection (optional operation).
removeAllSubsumedBy(ClausalSet) - Method in interface orbital.moon.logic.resolution.ClausalSet
Remove all clauses from this set which are subsumed by any of the clauses of T.
removeAllSubsumedBy(ClausalSet) - Method in class orbital.moon.logic.resolution.ClausalSetImpl
 
removeColumn(int) - Method in interface orbital.math.Matrix
Remove a column from this matrix.
removeFocusListener(FocusListener) - Method in class orbital.awt.NumberInput
 
removeNotation(Object) - Static method in class orbital.logic.sign.concrete.Notation
Remove any default notation specifications for a compositor.
removePropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.ChartModel
 
removePropertyChangeListener(String, PropertyChangeListener) - Method in class orbital.awt.ChartModel
 
removePropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.ImageCanvas
 
removePropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.NumberInput
 
removePropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.Plot2D
 
removePropertyChangeListener(PropertyChangeListener) - Method in class orbital.awt.Plot2DCustomizer
 
removePropertyChangeListener(PropertyChangeListener) - Method in class orbital.moon.awt.DefaultCustomizer
 
removeRow(int) - Method in interface orbital.math.Matrix
Remove a row from this matrix.
replace(Object) - Method in interface orbital.logic.trs.Substitution.Matcher
Replace a matched term.
replaceGenomes(Genome[]) - Method in class orbital.algorithm.evolutionary.IncrementalGeneticAlgorithm
Replaces a list of Genomes by removing one and merging the new ones.
representative() - Method in interface orbital.math.Quotient
Get the "canonical" representative of this equivalence class.
representative() - Method in interface orbital.math.Rational
Get the "canonical" representative (cancelled out and normalized) of the equivalence class of rationals equal to this.
request - Variable in class orbital.moon.awt.SystemRequestor
 
request() - Method in class orbital.util.StreamMethod
Request next data forcing resume and wait if necessary.
requestClose() - Method in class orbital.moon.awt.Closer
Request to close, but (if parent is specified) only after confirmation.
RESOLUTION_HEURISTIC_INFERENCE - Static variable in class orbital.moon.logic.ClassicalLogic
 
RESOLUTION_INFERENCE - Static variable in class orbital.moon.logic.ClassicalLogic
Resolution inference.
RESOLUTION_SATURATION_INFERENCE - Static variable in class orbital.moon.logic.ClassicalLogic
 
ResolutionBase - Class in orbital.moon.logic.resolution
Basic skeleton for resolution theorem provers.
ResolutionBase() - Constructor for class orbital.moon.logic.resolution.ResolutionBase
 
resolventWith(Clause, Formula, Formula) - Method in class orbital.moon.logic.resolution.ClauseImpl
Resolve clause F with G by the complementary resolution literals L∈F and K∈G.
resolventWith(Clause, Formula, Formula) - Method in class orbital.moon.logic.resolution.OrderedClauseImpl
 
resolventWith2(Clause, Formula, Formula) - Method in class orbital.moon.logic.resolution.ClauseImpl
Workaround for returning 2 arguments.
resolveWith(Clause) - Method in interface orbital.moon.logic.resolution.Clause
Get all resolvents of F and G, if any.
resolveWith(Clause) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
resolveWithFactors(Clause) - Method in interface orbital.moon.logic.resolution.Clause
Get all resolvents of factors of F and G, if any.
resolveWithFactors(Clause) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
resolveWithVariant(Clause) - Method in interface orbital.moon.logic.resolution.Clause
Get all resolvents of variants of F and G, if any.
resolveWithVariant(Clause) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
resolveWithVariantFactors(Clause) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
resources - Static variable in class orbital.moon.evolutionary.BreederControl
Program resources.
resumedReturn(Object) - Method in class orbital.util.StreamMethod
Call this method to return a value from the stream coroutine.
retainAll(Collection) - Method in class orbital.util.DelegateCollection
Retains only the elements in this collection that are contained in the specified collection (optional operation).
REVERSE_LEXICOGRAPHIC - Static variable in class orbital.math.AlgebraicAlgorithms
Reverse lexicographical order on monoid of monomials.
ReverseComparator - Class in orbital.util
This class is a ReverseComparator which imposes the reverse order on a collection of objects.
ReverseComparator(Comparator) - Constructor for class orbital.util.ReverseComparator
Create a Comparator that is the opposite to an ordering induced by a given one.
ReverseComparator() - Constructor for class orbital.util.ReverseComparator
Create a Comparator that is the opposite to the natural ordering induced by the Comparable implementation of the objects compared.
reverseImpl - Static variable in interface orbital.moon.logic.functor.Operations
 
root - Variable in class orbital.moon.logic.LogicParser
The root scope, containing only the core signature.
rouletteWheel() - Static method in class orbital.algorithm.evolutionary.Selectors
Better genomes will more likely be selected.
round(double, int) - Static method in class orbital.math.MathUtilities
Returns the mathematically rounded part of a double value.
ROUND_ROBIN - Static variable in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
Implemented as round robin comparison.
roundy(double, double) - Static method in class orbital.math.MathUtilities
Returns the closest double to the argument that is equal for at least a precision value.
roundy(double) - Static method in class orbital.math.MathUtilities
 
run() - Method in class orbital.moon.evolutionary.BreederControl
Runnable-start entry point.
run() - Method in class orbital.util.StreamMethod
Do not call, directly.
runStream() - Method in class orbital.util.StreamMethod
StreamMethod implementation method.

S

safeResume() - Method in class orbital.util.StreamMethod
Safely resumes this thread.
safeSuspend() - Method in class orbital.util.StreamMethod
Safely suspends this thread.
satisfy(Interpretation, Formula) - Method in interface orbital.logic.imp.Logic
Defines the semantic satisfaction relation ⊧.
satisfy(Interpretation, Formula) - Method in class orbital.moon.logic.ClassicalLogic
 
satisfy(Interpretation, Formula) - Method in class orbital.moon.logic.FuzzyLogic
 
satisfy(Interpretation, Formula) - Method in class orbital.moon.logic.ModalLogic
 
SaturationResolution - Class in orbital.moon.logic.resolution
Naïve saturation.
SaturationResolution() - Constructor for class orbital.moon.logic.resolution.SaturationResolution
 
save(GeneticAlgorithm, OutputStream) - Method in class orbital.moon.evolutionary.BreederControl
Save population and genetic algorithm.
Scalar - Interface in orbital.math
Abstraction of all scalar arithmetic number objects.
scale(Arithmetic) - Method in interface orbital.math.Arithmetic
Multiplies a scalar with this arithmetic object returning the result.
scale(Arithmetic) - Method in interface orbital.math.Fraction
Multiplies a scalar with this arithmetic object returning the result.
scale(Scalar) - Method in interface orbital.math.Matrix
Multiplies a matrix with a scalar returning a matrix.
scale(Arithmetic) - Method in interface orbital.math.Quotient
R/I is an R-algebra, if R is a ring.
scale(Scalar) - Method in interface orbital.math.Vector
Multiplies a vector with a scalar returning a vector.
scanSignature(String) - Method in interface orbital.logic.sign.ExpressionSyntax
Scan for the signature Σ of all syntactic symbols in an expression.
scanSignature(String) - Method in class orbital.moon.logic.MathExpressionSyntax
 
scope - Variable in class orbital.moon.logic.LogicParser
The current scope.
search(Iterator) - Method in class orbital.algorithm.template.GeneralBoundingSearch
Run the general search algorithm scheme.
search(Iterator) - Method in class orbital.algorithm.template.GeneralSearch
Run the general search algorithm scheme.
search(Iterator) - Method in class orbital.algorithm.template.LocalOptimizerSearch
A slight modification of GeneralSearch.search(Iterator).
search(Iterator) - Method in class orbital.algorithm.template.ParallelBranchAndBound
 
SearchResolution - Class in orbital.moon.logic.resolution
Set of support resolution based on search.
SearchResolution() - Constructor for class orbital.moon.logic.resolution.SearchResolution
 
sec - Static variable in class orbital.math.functional.Functions
sec: R→R; x ↦ sec x = 1 / cos(x).
sech - Static variable in class orbital.math.functional.Functions
sech: R→R; x ↦ sech x = 1/cosh(x).
select() - Method in class orbital.algorithm.template.BestFirstSearch.OptionIterator
Select the node with min f(n).
select() - Method in class orbital.algorithm.template.BreadthFirstSearch.OptionIterator
 
select() - Method in class orbital.algorithm.template.DepthFirstSearch.OptionIterator
 
select() - Method in class orbital.algorithm.template.GeneralSearch.OptionIterator
Selects an option to visit from nodes.
select(Function, Collection, Predicate, Comparator, boolean) - Static method in class orbital.util.Setops
Select filter operation.
select(Function, Collection, Predicate) - Static method in class orbital.util.Setops
 
select(Function, Collection) - Static method in class orbital.util.Setops
 
select(Function, Collection, Collection) - Static method in class orbital.util.Setops
 
selectClause(ClausalSet) - Method in class orbital.moon.logic.resolution.SaturationResolution
Perform a fair selection of one clause out of S.
selectClause(ClausalSet) - Method in class orbital.moon.logic.resolution.SetOfSupportResolution
Perform a fair selection of one clause out of S.
selected - Variable in class orbital.moon.evolutionary.SelectionStatistics
 
SelectionStatistics - Class in orbital.moon.evolutionary
SelectionStatistics class is an internal statistics class.
SelectionStatistics() - Constructor for class orbital.moon.evolutionary.SelectionStatistics
 
selectionStatistics - Static variable in class orbital.moon.evolutionary.SelectionStatistics
 
Selectors - Class in orbital.algorithm.evolutionary
Selection schemes for evolutionary genetic algorithms.
SEMANTIC_INFERENCE - Static variable in class orbital.moon.logic.ClassicalLogic
Semantic inference with truth-tables.
SequenceIterator - Class in orbital.util
A SequenceIterator represents the logical concatenation of other iterators.
SequenceIterator(Iterator) - Constructor for class orbital.util.SequenceIterator
Create a new sequence iterator over an iterator of iterators.
SequenceIterator(List) - Constructor for class orbital.util.SequenceIterator
Create a new sequence iterator over a list of iterators.
SequenceIterator(Iterator[]) - Constructor for class orbital.util.SequenceIterator
Create a new sequence iterator over an array of iterators.
set(int, boolean) - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Set the boolean value at index.
set(Object) - Method in class orbital.algorithm.evolutionary.Gene.BitSet
 
set(double) - Method in class orbital.algorithm.evolutionary.Gene.BoundedFloat
 
set(int) - Method in class orbital.algorithm.evolutionary.Gene.BoundedInteger
 
set(Object) - Method in class orbital.algorithm.evolutionary.Gene.Fixed
 
set(Object) - Method in class orbital.algorithm.evolutionary.Gene.Float
 
set(double) - Method in class orbital.algorithm.evolutionary.Gene.Float
 
set(Object) - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
set(int) - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
set(Object) - Method in class orbital.algorithm.evolutionary.Gene.List
 
set(Object) - Method in interface orbital.algorithm.evolutionary.Gene
Set the gene value.
set(int, Object) - Method in class orbital.algorithm.evolutionary.Genome
Set one gene.
set(Object) - Method in class orbital.algorithm.evolutionary.Genome
Set the Genome data.
set(Object, Object) - Method in interface orbital.logic.functor.MutableFunction
Set f(arg) := value.
set(Object, Object) - Method in class orbital.logic.functor.MutableFunction.TableFunction
Update the value at an argument.
set(Type) - Method in interface orbital.logic.sign.type.TypeSystem
The set type {τ}.
set() - Method in interface orbital.logic.sign.type.TypeSystem
set: * → *; τ{τ}.
set(int, int, Arithmetic) - Method in interface orbital.math.Matrix
Sets a component value at a position (i|j).
set(int[], Arithmetic) - Method in interface orbital.math.Tensor
Sets the component specified by index.
set(int, Arithmetic) - Method in interface orbital.math.Vector
Sets a value at the component specified by index.
set(int, Object) - Method in class orbital.util.DelegateList
 
set(Object) - Method in class orbital.util.DelegateListIterator
 
setA(Object) - Method in class orbital.util.Pair
 
setAction(Object) - Method in class orbital.algorithm.template.GeneralSearchProblem.Transition
 
setAllNotations(Object[][]) - Static method in class orbital.logic.sign.concrete.Notation
Sets/registers all notations contained in an array.
setAsText(String) - Method in class orbital.awt.TaggedPropertyEditorSupport
 
setAttributes(Map) - Method in class orbital.awt.ChartModel.Entry
 
setAutoScaling() - Method in class orbital.awt.ChartModel
Sets the scale and range parameters automatically, according to the graphs displayed.
setAutoScaling(boolean) - Method in class orbital.awt.Plot2D
 
setB(Object) - Method in class orbital.util.Pair
 
setBound(Real) - Method in class orbital.algorithm.template.GeneralBoundingSearch
Set the current bound.
setBound(double) - Method in class orbital.algorithm.template.GeneralBoundingSearch
Deprecated. Since Orbital1.1 use GeneralBoundingSearch.setBound(Real) instead.
setBuffer(byte[]) - Method in class orbital.util.Buffer
Sets the underlying byte-buffer containing the data (without setting the byte-count).
setBytes(byte[], int, int, int) - Method in class orbital.util.Buffer
Set a part of the buffer.
setBytes(byte[], int) - Method in class orbital.util.Buffer
 
setCenter(Component, Component) - Static method in class orbital.awt.UIUtilities
Center a component within a parental component.
setCenter(Component) - Static method in class orbital.awt.UIUtilities
Center a component on the screen.
setChildrenCount(int) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Set the number of children produced with one reproduction involving parentCount parents.
setChildrenCount(int) - Method in class orbital.algorithm.evolutionary.PopulationImpl
Set the number of children produced with one reproduction involving parentCount parents.
setCoercer(Function) - Method in interface orbital.math.ValueFactory
Set the transformation function for coercion.
setCoercer(boolean, Function) - Method in interface orbital.math.ValueFactory
Set the transformation function for coercion.
setColumn(int, Vector) - Method in interface orbital.math.Matrix
Sets the column vector at a column.
setComponent(Object) - Method in interface orbital.logic.Composite
Set the inner component.
setCompositor(Object) - Method in interface orbital.logic.Composite
Set the outer compositor.
setConcurrenceType(int) - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
Set the type of concurrence comparison used.
setContinuedWhenFound(boolean) - Method in class orbital.algorithm.template.GeneralBoundingSearch
Set whether the search should continue after a solution is found.
setDebugStream(PrintStream) - Method in class orbital.moon.logic.LogicParserTokenManager
 
setDefault(Notation) - Static method in class orbital.logic.sign.concrete.Notation
Set which notation to use for DEFAULT.
setDefault(TypeSystem) - Static method in class orbital.logic.sign.type.Types
Set the (single) default type system instance.
setDefault(ValueFactory) - Static method in class orbital.math.Values
Set the (single) default value factory instance.
setDefaultCustomizerFactory(Function) - Static method in class orbital.awt.CustomizerViewController
Set the factory for default customizers.
setDefaultInstance(Values) - Static method in class orbital.math.Values
Set the (single) default instance of this factory.
setDefaultLookAndFeel() - Static method in class orbital.awt.UIUtilities
Set the system default look and feel.
setDefaultPrecisionDigits(int) - Static method in class orbital.math.MathUtilities
Set the default number of precision digits (for display etc.).
setDefaultTolerance(double) - Static method in class orbital.math.MathUtilities
Set the default tolerance for two numbers to be treated equal.
setDelegatee(GeneralSearchProblem) - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
Set the value of problem.
setDelegatee(Collection) - Method in class orbital.util.DelegateCollection
Set the delegatee Collection to which operations are delegated.
setDelegatee(Iterator) - Method in class orbital.util.DelegateIterator
Set the delegatee Iterator to which operations are delegated.
setDelegatee(List) - Method in class orbital.util.DelegateList
 
setDelegatee(Collection) - Method in class orbital.util.DelegateList
 
setDelegatee(ListIterator) - Method in class orbital.util.DelegateListIterator
 
setDelegatee(Iterator) - Method in class orbital.util.DelegateListIterator
 
setDelegatee(Map) - Method in class orbital.util.DelegateMap
Set the delegatee map to which operations are delegated.
setDelegatee(Set) - Method in class orbital.util.DelegateSet
 
setDelegatee(Collection) - Method in class orbital.util.DelegateSet
 
setDelegatee(SortedSet) - Method in class orbital.util.DelegateSortedSet
 
setDelegatee(Collection) - Method in class orbital.util.DelegateSortedSet
 
setDiscount(Real) - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Set the discount factor γ.
setEditable(boolean) - Method in class orbital.moon.awt.DefaultCustomizer
write-through editable to all content property editor components.
setEnabled(boolean) - Method in class orbital.awt.NumberInput
set whether the value can be changed by the user.
setEnabled(boolean) - Method in class orbital.moon.awt.DefaultCustomizer
write-through to enable or disable all content property editor components.
setEqualizer(Function) - Static method in class orbital.math.MathUtilities
Deprecated. Since Orbital.1.1 use Values.getDefault().ValueFactory.setCoercer(orbital.logic.functor.Function) instead.
setEvaluation(Function) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Set the evaluation function.
setFitness(double) - Method in class orbital.algorithm.evolutionary.Genome
Set the fitness calculated.
setFitness(Number) - Method in class orbital.algorithm.evolutionary.Genome
 
setFullScaling(boolean) - Method in class orbital.awt.Plot2D
 
setGeneration(int) - Method in class orbital.algorithm.evolutionary.Population
 
setGeneticAlgorithmProblem(GeneticAlgorithmProblem) - Method in class orbital.moon.evolutionary.BreederControl
 
setGraph(Object) - Method in class orbital.awt.ChartModel.Entry
 
setHeuristic(Function) - Method in class orbital.algorithm.template.AStar
 
setHeuristic(Function) - Method in class orbital.algorithm.template.BranchAndBound
 
setHeuristic(Function) - Method in interface orbital.algorithm.template.HeuristicAlgorithm
Set the heuristic function to use.
setHeuristic(Function) - Method in class orbital.algorithm.template.HillClimbing
 
setHeuristic(Function) - Method in class orbital.algorithm.template.IterativeDeepeningAStar
 
setHeuristic(Function) - Method in class orbital.algorithm.template.IterativeExpansion
 
setHeuristic(Function) - Method in class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming
Set the heuristic function to use.
setImage(Image) - Method in class orbital.awt.ImageCanvas
set the image to be shown on the canvas.
setInferenceMechanism(ClassicalLogic.InferenceMechanism) - Method in class orbital.moon.logic.ClassicalLogic
Set the inference mechanism applied for the inference relation.
setInitialization(Function) - Method in class orbital.logic.functor.MutableFunction.TableFunction
Set the initialization function h to use.
setKey(Object) - Method in class orbital.util.KeyValuePair
 
setLocalConsequence(boolean) - Method in class orbital.moon.logic.ModalLogic
Whether to use local or global consequence.
setMaxBound(Real) - Method in class orbital.algorithm.template.BranchAndBound
Set the maximum upper bound for a solution.
setMaxBound(double) - Method in class orbital.algorithm.template.BranchAndBound
Deprecated. Since Orbital1.1 use BranchAndBound.setMaxBound(Real) instead.
setMaximumMutation(double) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Set the maximum probability rating of mutation level for reproduction.
setMaximumMutation(double) - Method in class orbital.algorithm.evolutionary.PopulationImpl
Set the maximum probability rating of mutation level for reproduction.
setMaximumRecombination(double) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Set the maximum probability rating of recombining parental genomes per production.
setMaximumRecombination(double) - Method in class orbital.algorithm.evolutionary.PopulationImpl
Set the maximum probability rating of recombining parental genomes per production.
setModel(ChartModel) - Method in class orbital.awt.Plot2D
 
setNormalizer(Function) - Method in interface orbital.math.ValueFactory
Set the transformation function for normalizing arithmetic objects.
setNotation(Notation) - Method in interface orbital.logic.functor.Functor.Composite
Set the notation to use.
setNotation(Object, Notation.NotationSpecification) - Static method in class orbital.logic.sign.concrete.Notation
Sets/registers the default notation specification for a compositor.
setNotation(Notation.NotationSpecification) - Method in interface orbital.logic.sign.Symbol
Set the notation used when this symbol occurs.
setNotation(Notation.NotationSpecification) - Method in class orbital.logic.sign.SymbolBase
 
setNotation(Notation.NotationSpecification) - Method in class orbital.moon.logic.UniqueSymbol
 
setNumberFormat(NumberFormat) - Method in class orbital.math.ArithmeticFormat
Set the inner number format used to format pure real numbers.
setNumberOfReplacements(int) - Method in class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm
 
setObject(Object) - Method in class orbital.awt.Plot2DCustomizer
 
setObject(Object) - Method in class orbital.moon.awt.DefaultCustomizer
Set the object to be customized now.
SetOfSupportResolution - Class in orbital.moon.logic.resolution
Direct set of support resolution.
SetOfSupportResolution() - Constructor for class orbital.moon.logic.resolution.SetOfSupportResolution
 
Setops - Class in orbital.util
Contains utility methods for common set operations and more general collection operations.
setParameterTypes(Class[]) - Method in class orbital.logic.functor.Functor.Specification
 
setParent(Frame) - Method in class orbital.awt.CustomizerViewController
 
setParentCount(int) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
Set the number of abstract parents required to produce children.
setParentCount(int) - Method in class orbital.algorithm.evolutionary.PopulationImpl
Set the number of abstract parents required to produce children.
setPart(Object[], int[], Object) - Static method in class orbital.util.Utility
 
setPart(Object, int[], Object) - Static method in class orbital.util.Utility
Set the element in the (possibly multi-dimensional) array a specified by the part specification.
setPatternDatabase(Map) - Method in class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic
Set the pattern database.
setPolynomialVariable(String) - Method in class orbital.math.ArithmeticFormat
Set the denotation of the formal parameter of polynomials.
setPopulation(Population) - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
setPopulation(Population) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Set the Population for this GeneticAlgorithm.
setPrecision(double) - Method in class orbital.awt.NumberInput
set precision with that mouse operations will change the value.
setRainbow(boolean) - Method in class orbital.awt.ChartModel
Set rainbow colors for all graphs added to display.
setRandom(Random) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
setRandom(Random) - Method in class orbital.algorithm.template.LocalOptimizerSearch
 
setRandom(Random) - Method in interface orbital.algorithm.template.ProbabilisticAlgorithm
Set the random-generator to use as probabilistic random source.
setRandom(Random) - Method in class orbital.algorithm.template.TransitionPath
 
setRange(Range) - Method in class orbital.awt.ChartModel
Set the visible range to be displayed.
setReturnType(Class) - Method in class orbital.logic.functor.Functor.Specification
 
setRow(int, Vector) - Method in interface orbital.math.Matrix
Sets the row vector at a row.
setScale(Vector) - Method in class orbital.awt.ChartModel
Set the scale.
setScaleMarks(double) - Method in class orbital.awt.ChartModel
Set the scale such that at least a specified number of marks is visible on each axis.
setSelected(Population, Genome[]) - Method in class orbital.moon.evolutionary.SelectionStatistics
 
setSelection(Function) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Set the selection scheme to apply while evolving.
setSignature(Signature) - Method in interface orbital.logic.imp.Interpretation
Set the signature interpreted.
setSignature(Signature) - Method in class orbital.logic.imp.InterpretationBase
Set the signature interpreted.
setSignifier(String) - Method in interface orbital.logic.sign.Symbol
Set the signifier representing this symbol.
setSignifier(String) - Method in class orbital.logic.sign.SymbolBase
 
setSignifier(String) - Method in class orbital.moon.logic.UniqueSymbol
 
setSize(int) - Method in class orbital.util.Buffer
Sets the size of this vector.
setSolutionPart(int[], Object[], Object) - Static method in class orbital.algorithm.template.DynamicProgramming
 
setSpacing(boolean) - Method in class orbital.moon.awt.DefaultCustomizer
Whether or not to put spacing (additional insets) between property fields.
setSpecification(Functor.Specification) - Method in class orbital.moon.logic.UniqueSymbol
 
setStretched(boolean) - Method in class orbital.awt.ImageCanvas
set whether the image should be stretched to fit the whole canvas.
setStyle(int) - Method in class orbital.awt.NumberInput
set the style in which to show.
setSubTensor(int, int, Tensor) - Method in interface orbital.math.Tensor
Sets a part of lesser rank in this tensor.
setSymbols(SortedSet) - Method in class orbital.logic.sign.SignatureBase
Set the set of symbols in this signature.
setSyntax(ExpressionSyntax) - Method in class orbital.moon.logic.LogicParser
Set the current syntax for parsing.
setTabSize(int) - Method in class orbital.moon.logic.SimpleCharStream
 
setTitle(String) - Method in class orbital.awt.CustomizerViewController
 
setTruncation(int) - Method in class orbital.moon.awt.DefaultCustomizer
 
setType(Type) - Method in interface orbital.logic.sign.Symbol
Set the type specification of this symbol.
setType(Type) - Method in class orbital.logic.sign.SymbolBase
 
setValue(Object) - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo.PopulationEditor
 
setValue(Number) - Method in class orbital.awt.NumberInput
set Number to value.
setValue(Object) - Method in class orbital.awt.TaggedPropertyEditorSupport
 
setValue(Object) - Method in class orbital.util.KeyValuePair
 
setVerbose(boolean) - Method in class orbital.moon.logic.resolution.DefaultClausalFactory
Add verbosity, i.e.
setVerbose(boolean) - Method in class orbital.moon.logic.resolution.ResolutionBase
Add verbosity, i.e.
setWeight(Real) - Method in class orbital.algorithm.template.WAStar
Get the weighting argument W for the evaluation function.
setWindow(Arithmetic, Arithmetic, Arithmetic, Arithmetic) - Method in class orbital.awt.Plot2D
 
shortValue() - Method in interface orbital.math.Integer
Returns the value of the specified integer as a short.
showAboutDialog(Component, String, String) - Static method in class orbital.moon.awt.AboutDialog
 
showAboutDialog(Frame, String, String) - Static method in class orbital.moon.awt.AboutDialog
 
showApplet(String, String) - Static method in class orbital.moon.awt.AppletFrame
 
showApplet(String, String, String[]) - Static method in class orbital.moon.awt.AppletFrame
Show an instance of the applet with the given class.
showApplet(Applet, String) - Static method in class orbital.moon.awt.AppletFrame
Show an Applet in a new AppletFrame.
showApplet(Applet, String, String[]) - Static method in class orbital.moon.awt.AppletFrame
Show an Applet in a new AppletFrame.
showCustomizer(Object, String) - Method in class orbital.awt.CustomizerViewController
Call to show a dialog containing the customizer for a specific bean.
showCustomizer(Object) - Method in class orbital.awt.CustomizerViewController
 
showCustomizer(Component, String) - Method in class orbital.awt.CustomizerViewController
Called to show a customization dialog containing the specified component with the specified display name.
sign - Static variable in class orbital.math.functional.Functions
sign: A→{-1,0,1}; x ↦ -1 if x<0, x ↦ 0 if x=0, x ↦ 1 if x>0.
sign(double) - Static method in class orbital.math.MathUtilities
The signum of a number.
sign(int) - Static method in class orbital.math.MathUtilities
 
Signature - Interface in orbital.logic.sign
A signature Σ is the set of names of all entities in a certain context.
SignatureBase - Class in orbital.logic.sign
A basic signature implementation.
SignatureBase(Collection) - Constructor for class orbital.logic.sign.SignatureBase
Construct a new signature with the given set of symbols.
SignatureBase(SortedSet) - Constructor for class orbital.logic.sign.SignatureBase
 
SignatureBase() - Constructor for class orbital.logic.sign.SignatureBase
Construct an empty signature ∅.
SimpleCharStream - Class in orbital.moon.logic
An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleCharStream(Reader, int, int, int) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(Reader, int, int) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(Reader) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(InputStream, String, int, int, int) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(InputStream, int, int, int) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(InputStream, String, int, int) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(InputStream, int, int) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(InputStream, String) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleCharStream(InputStream) - Constructor for class orbital.moon.logic.SimpleCharStream
 
SimpleGeneticAlgorithm - Class in orbital.algorithm.evolutionary
A simple genetic algorithm with non-overlapping populations.
SimpleGeneticAlgorithm() - Constructor for class orbital.algorithm.evolutionary.SimpleGeneticAlgorithm
Construct a new GeneticAlgorithm.
SimulatedAnnealing - Class in orbital.algorithm.template
Simulated Annealing (SA) search.
SimulatedAnnealing(Function, Function) - Constructor for class orbital.algorithm.template.SimulatedAnnealing
Create a new instance of simulated annealing search.
sin - Static variable in class orbital.math.functional.Functions
sin: CC; x ↦ sin x = ∑n=0 (-1)n * x2n+1 / (2n+1)!.
SINGLE_LINE_COMMENT - Static variable in interface orbital.moon.logic.LogicParserConstants
 
sinh - Static variable in class orbital.math.functional.Functions
sinh: CC; x ↦ sinh x = (ex-e-x) / 2 = ∑n=0 x2n+1 / (2n+1)!.
size() - Method in class orbital.algorithm.evolutionary.Population
Get the size of population i.e.
size() - Method in class orbital.util.Buffer
Returns the number of bytes in this buffer.
size() - Method in class orbital.util.DelegateCollection
Returns the number of elements in this collection.
size() - Method in class orbital.util.DelegateMap
 
skolemForm(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Get the Skolem normal form of a formula.
SLIDER - Static variable in class orbital.awt.NumberInput
 
smallEnough() - Method in interface orbital.algorithm.template.DivideAndConquerProblem
Whether this problem is small enough to be solved as the base case using DivideAndConquerProblem.basicSolve().
solve() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration
 
solve(AlgorithmicProblem) - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
Solve a genetic algorithm problem.
solve() - Method in interface orbital.algorithm.template.AlgorithmicConfiguration
Solves the problem with the algorithm with regard to the additional parameters managed by this algorithmic configuration.
solve() - Method in class orbital.algorithm.template.AlgorithmicTemplate.Configuration
 
solve(AlgorithmicProblem) - Method in interface orbital.algorithm.template.AlgorithmicTemplate
Generic solve method for a given algorithmic problem.
solve(AlgorithmicProblem) - Method in class orbital.algorithm.template.Backtracking
 
solve(BacktrackingProblem) - Method in class orbital.algorithm.template.Backtracking
solves by backtracking.
solve(AlgorithmicProblem) - Method in class orbital.algorithm.template.DivideAndConquer
 
solve(DivideAndConquerProblem) - Method in class orbital.algorithm.template.DivideAndConquer
solves by divide and conquer.
solve(AlgorithmicProblem) - Method in class orbital.algorithm.template.DynamicProgramming
 
solve(DynamicProgrammingProblem) - Method in class orbital.algorithm.template.DynamicProgramming
solves by dynamic programming.
solve(int[], Object[]) - Method in class orbital.algorithm.template.DynamicProgrammingOptimizingProblem
 
solve(int[], Object[]) - Method in interface orbital.algorithm.template.DynamicProgrammingProblem
Solve the problem part using the partial solutions we already now.
solve(AlgorithmicProblem) - Method in class orbital.algorithm.template.GeneralSearch
Solves a general search problem.
solve(AlgorithmicProblem) - Method in class orbital.algorithm.template.Greedy
solves by greedy.
solve(AlgorithmicProblem) - Method in class orbital.algorithm.template.MarkovDecisionProcess
Solves an MDP problem.
solve(Vector) - Method in class orbital.math.LUDecomposition
Solve linear equation system Ab.
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.BranchAndBound
 
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.GeneralSearch
Implements the solution policy.
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeBroadening
Solve with bounds 1, 3, 4, 5, ...
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeDeepening
Solve with bounds 0, 1, 2, ...
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeDeepeningAStar
Solve with bounds f(n0), f(n1), f(n2), ...
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.IterativeExpansion
 
solveImpl(GeneralSearchProblem) - Method in class orbital.algorithm.template.ParallelBranchAndBound
 
some(Collection, Predicate) - Static method in class orbital.util.Setops
Checks whether some objects (at least one) in a collection satisfy the specified predicate.
some(Iterator, Predicate) - Static method in class orbital.util.Setops
 
some(Collection, Collection, BinaryPredicate) - Static method in class orbital.util.Setops
 
some(Iterator, Iterator, BinaryPredicate) - Static method in class orbital.util.Setops
 
sorted(double[], boolean) - Static method in class orbital.util.Utility
Checks whether an array is sorted.
sorted(List, Comparator) - Static method in class orbital.util.Utility
Checks whether a list is sorted.
spaceComplexity() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
spaceComplexity() - Method in interface orbital.algorithm.template.AlgorithmicTemplate
Measure for the asymptotic space complexity of the central solution operation in O-notation.
spaceComplexity() - Method in class orbital.algorithm.template.AStar
O(bd) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.Backtracking
 
spaceComplexity() - Method in class orbital.algorithm.template.BreadthFirstSearch
O(bd) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.DepthFirstSearch
O(b*d) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.DivideAndConquer
 
spaceComplexity() - Method in class orbital.algorithm.template.DynamicProgramming
 
spaceComplexity() - Method in class orbital.algorithm.template.GaussSeidelDynamicProgramming
 
spaceComplexity() - Method in class orbital.algorithm.template.Greedy
 
spaceComplexity() - Method in class orbital.algorithm.template.HillClimbing
O(b) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.IterativeExpansion
O(b*d) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.ParallelBranchAndBound
O(bd) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.RealTimeDynamicProgramming
 
spaceComplexity() - Method in class orbital.algorithm.template.SimulatedAnnealing
O(b) where b is the branching factor and d the solution depth.
spaceComplexity() - Method in class orbital.algorithm.template.ThresholdAccepting
O(b) where b is the branching factor and d the solution depth.
specialConstructor - Variable in exception orbital.moon.logic.ParseException
This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).
specialToken - Variable in class orbital.moon.logic.Token
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token.
splineInterpolation(int, Matrix, int) - Static method in class orbital.math.NumericalAlgorithms
Spline interpolation.
splineInterpolation(int, Matrix, int, Real, Real) - Static method in class orbital.math.NumericalAlgorithms
Spline interpolation.
splineInterpolation(int, Matrix, int, Object[]) - Static method in class orbital.math.NumericalAlgorithms
Deprecated. Use NumericalAlgorithms.splineInterpolation(int,Matrix,int,Real,Real), or NumericalAlgorithms.splineInterpolation(int,Matrix,int) instead since they have a more reasonable argument list.
sqrt - Static variable in class orbital.math.functional.Functions
sqrt √ : CC; x ↦ √x = x1/2.
square - Static variable in class orbital.math.functional.Functions
square: R→R; x ↦ x2 .
standardDeviation(double[]) - Static method in class orbital.math.Stat
Returns the standard deviation of a set of n values.
start() - Method in class orbital.moon.evolutionary.BreederControl
 
startGeneration - Variable in class orbital.moon.evolutionary.BreederControl
 
startTime - Variable in class orbital.moon.evolutionary.BreederControl
 
Stat - Class in orbital.math
This class contains algorithms and utilities for stochastics and statistical mathematics.
states(Object, Object) - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
 
states(Object, Object) - Method in interface orbital.algorithm.template.GeneralSearchProblem
Get all states reachable with any transitions from the state under a given action. Deterministic case (will only return one single transition per action).
states(Object, Object) - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
 
states(Object, Object) - Method in interface orbital.algorithm.template.TransitionModel
Get all states reachable with any transitions from the state under a given action.
staticFlag - Static variable in class orbital.moon.logic.SimpleCharStream
 
statistics(double[]) - Static method in class orbital.math.Stat
Returns a string with the usual descriptive statistics for an array of double values.
statistics(GeneticAlgorithm) - Method in class orbital.moon.evolutionary.BreederControl
 
SteadyStateGeneticAlgorithm - Class in orbital.algorithm.evolutionary
A steady state genetic algorithm with overlapping populations.
SteadyStateGeneticAlgorithm(int) - Constructor for class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm
Construct a new GeneticAlgorithm.
SteadyStateGeneticAlgorithm() - Constructor for class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm
 
step(Real) - Static method in class orbital.math.functional.Functions
step ht: A→{0,1}; x ↦ 1 if x≥t, x ↦ 0 if x<t.
stop() - Method in class orbital.moon.evolutionary.BreederControl
 
stopTime - Variable in class orbital.moon.evolutionary.BreederControl
 
StreamMethod - Class in orbital.util
Base class for stream method coroutines that are concurrent and streamed architectural connectors.
StreamMethod() - Constructor for class orbital.util.StreamMethod
Construct this StreamMethod as a synchronous coroutine stream connector.
StreamMethod(boolean) - Constructor for class orbital.util.StreamMethod
Construct this StreamMethod as a coroutine stream connector.
stretched - Variable in class orbital.awt.ImageCanvas
true if the image should be stretched to fit the whole canvas.
STRING_LITERAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
style - Variable in class orbital.awt.NumberInput
the style in which to show.
subList(int, int) - Method in class orbital.util.DelegateList
 
subMatrix(int, int, int, int) - Method in interface orbital.math.Matrix
Get a sub-matrix view ranging (i1:i2,j1:j2) inclusive.
subSet(Object, Object) - Method in class orbital.util.DelegateSortedSet
 
Substitution - Interface in orbital.logic.trs
Term substitution function.
Substitution.Matcher - Interface in orbital.logic.trs
Interface for matching and replacing elementary terms within a substitution.
Substitutions - Class in orbital.logic.trs
Provides term substitution, unification methods and the λ-operator.
subsumes(Clause) - Method in interface orbital.moon.logic.resolution.Clause
Returns true when this clause subsumes D.
subsumes(Clause) - Method in class orbital.moon.logic.resolution.ClauseImpl
Implements subsumption based on unit input semi-ground resolution.
subTensor(int[], int[]) - Method in interface orbital.math.Tensor
Get a sub-tensor view ranging (i1:i2) inclusive.
subTensor(int, int) - Method in interface orbital.math.Tensor
Get a view on a part of the tensor of a lesser rank.
subTensorTransposed(int[]) - Method in interface orbital.math.Tensor
Returns a view on this tensor transposed.
subtract(Arithmetic) - Method in interface orbital.math.Arithmetic
Subtracts an arithmetic object from this returning the result.
subtract(Complex) - Method in interface orbital.math.Complex
subtracts two Complexes returning a third as a result
subtract(Fraction) - Method in interface orbital.math.Fraction
Subtracts two fractions returning a third as a result.
subtract - Static variable in interface orbital.math.functional.Operations
subtract -: A×A→A; (x,y) ↦ x-y.
subtract(Integer) - Method in interface orbital.math.Integer
 
subtract(Matrix) - Method in interface orbital.math.Matrix
Subtracts two matrices returning a matrix.
subtract(Polynomial) - Method in interface orbital.math.Polynomial
 
subtract(Quotient) - Method in interface orbital.math.Quotient
 
subtract(Rational) - Method in interface orbital.math.Rational
subtracts two rationals returning a third as a result
subtract(Real) - Method in interface orbital.math.Real
 
subtract(Tensor) - Method in interface orbital.math.Tensor
Subtracts two tensors returning a tensor.
subtract(UnivariatePolynomial) - Method in interface orbital.math.UnivariatePolynomial
 
subtract(Vector) - Method in interface orbital.math.Vector
Subtracts two vectors returning a vector.
subtypeOf(Type) - Method in interface orbital.logic.sign.type.Type
Checks whether this type is a subtype of tau.
subVector(int, int) - Method in interface orbital.math.Vector
Get a sub-vector view ranging (i1:i2) inclusive.
sum(Vector) - Static method in class orbital.math.Evaluations
Deprecated. Returns the total sum of all elements in this Vector.
sum(double[]) - Static method in class orbital.math.Evaluations
Deprecated.  
sum(Matrix) - Static method in class orbital.math.Evaluations
Deprecated. Returns the total sum of all elements in this Matrix.
sum - Static variable in interface orbital.math.functional.Operations
sum ∑: An→A; (xi) ↦ ∑i xi = (|0,+|) (xi).
SumTerm() - Method in class orbital.moon.logic.LogicParser
 
sup(Type[]) - Method in interface orbital.logic.sign.type.TypeSystem
Get the supremum type iτi = τ1∪…∪τn.
sup() - Method in interface orbital.logic.sign.type.TypeSystem
sup: {*} → *; (τi)iτi = τ1∪…∪τn.
sup - Static variable in interface orbital.math.functional.Operations
sup ⊔: An→A; (xi) ↦ ⊔i {xi} = (|-∞,max|) (xi).
supportsCustomEditor() - Method in class orbital.algorithm.evolutionary.PopulationBeanInfo.PopulationEditor
 
SuspiciousError - Error in orbital.util
This class is a SuspiciousError thrown like an InternalError whenever logical errors raise which should not normally occur for correct semantics.
SuspiciousError(String) - Constructor for error orbital.util.SuspiciousError
 
SuspiciousError() - Constructor for error orbital.util.SuspiciousError
 
swap(BinaryFunction) - Static method in class orbital.logic.functor.Functionals
Swaps the two arguments of a BinaryFunction.
swap(BinaryPredicate) - Static method in class orbital.logic.functor.Functionals
Swaps the two arguments of a BinaryPredicate (inverse).
swap(BinaryFunction) - Static method in class orbital.math.functional.Functionals
Swaps the two arguments of a BinaryFunction.
SwitchTo(int) - Method in class orbital.moon.logic.LogicParserTokenManager
 
Symbol - Interface in orbital.logic.sign
Represents a symbol of a signature.
Symbol - Interface in orbital.math
Represents an algebraic or transcendental symbol.
symbol(String) - Method in interface orbital.math.ValueFactory
Returns a new algebraic symbol.
SYMBOL_FIELD - Static variable in class orbital.math.ArithmeticFormat
 
SymbolBase - Class in orbital.logic.sign
Default representation of a syntactic symbol in a signature.
SymbolBase(String, Type, Notation.NotationSpecification, boolean) - Constructor for class orbital.logic.sign.SymbolBase
Construct a symbol with a signifier, type specification, and notation.
SymbolBase(String, Type, Notation.NotationSpecification) - Constructor for class orbital.logic.sign.SymbolBase
Construct a constant symbol with a signifier, type specification, and notation.
SymbolBase(String, Type) - Constructor for class orbital.logic.sign.SymbolBase
Construct a constant symbol with a signifier, and type specification.
symbolic(String) - Static method in class orbital.math.functional.Functions
symbolic f:R→R; x ↦ f(x).
symmetricDifference(Signature) - Method in interface orbital.logic.sign.Signature
Returns the difference to another signature.
symmetricDifference(Signature) - Method in class orbital.logic.sign.SignatureBase
 
symmetricDifference(Collection, Collection) - Static method in class orbital.util.Setops
Returns the symmetric difference of two collections.
a Δ b := (a∖b) ∪ (b∖a)
symmetricDifference(Set, Set) - Static method in class orbital.util.Setops
 
symmetricDifference(SortedSet, SortedSet) - Static method in class orbital.util.Setops
 
syntax - Variable in class orbital.moon.logic.LogicParser
Delegate to the current syntax implementation that is used for building expressions.
SystemRequestor - Class in orbital.moon.awt
This class is a SystemRequestor that will call a predicate on interrupt or abort requests when registered as a key listener.
SystemRequestor(Predicate) - Constructor for class orbital.moon.awt.SystemRequestor
Construct a SystemRequestor calling the given predicate on interrupt and abort requests.
SystemRequestor(Predicate, Component) - Constructor for class orbital.moon.awt.SystemRequestor
Construct a SystemRequestor calling the given predicate on interrupt and abort requests.

T

tabSize - Variable in class orbital.moon.logic.SimpleCharStream
 
TaggedPropertyEditorSupport - Class in orbital.awt
A PropertyEditor base for tagged properties.
TaggedPropertyEditorSupport(String[], Object[], String[]) - Constructor for class orbital.awt.TaggedPropertyEditorSupport
Create a TaggedPropertyEditor for the given tags representing the specified values.
TaggedPropertyEditorSupport(String[], Object[]) - Constructor for class orbital.awt.TaggedPropertyEditorSupport
 
tailSet(Object) - Method in class orbital.util.DelegateSortedSet
 
tan - Static variable in class orbital.math.functional.Functions
tan: C\(π/2+πZ)→C; x ↦ tan x = sin x / cos x.
tanh - Static variable in class orbital.math.functional.Functions
tanh: C\(πi/2*Z)→C; x ↦ tanh x = sinh x / cosh x.
TAUTOLOGY_SINGLETON_SET - Static variable in interface orbital.moon.logic.resolution.ClausalSet
The tautological singleton set of clauses {}.
Tensor - Interface in orbital.math
Represents a tensor t∈Rn0×n1×…×nr-1 of dimensions n0×n1×…×nr-1 and rank r.
tensor(Tensor) - Method in interface orbital.math.Tensor
Tensor product of a tensor with a tensor returning a tensor.
tensor(Arithmetic[]) - Method in interface orbital.math.ValueFactory
Returns a vector containing the specified arithmetic objects.
tensor(Arithmetic[][]) - Method in interface orbital.math.ValueFactory
Returns a matrix containing the specified arithmetic objects.
tensor(Arithmetic[][][]) - Method in interface orbital.math.ValueFactory
 
tensor(Object) - Method in interface orbital.math.ValueFactory
Returns a tensor of rank k containing the specified arithmetic objects.
tensor(Map) - Method in interface orbital.math.ValueFactory
Returns a tensor of rank k containing the specified (partial) map from index to arithmetic object.
term() - Method in class orbital.moon.logic.LogicParser
Central term parsing production.
text - Variable in class orbital.awt.NumberInput
 
ThresholdAccepting - Class in orbital.algorithm.template
Threshold Accepting (TA) search.
ThresholdAccepting(Function, Function) - Constructor for class orbital.algorithm.template.ThresholdAccepting
Create a new instance of threshold accepting search.
times - Static variable in interface orbital.math.functional.Operations
times ⋅: A×A→A; (x,y) ↦ x⋅y.
TIMES - Static variable in interface orbital.moon.logic.LogicParserConstants
 
toArray() - Method in interface orbital.math.Matrix
Returns an array containing all the elements in this matrix.
toArray() - Method in interface orbital.math.Vector
Returns an array containing all the elements in this vector.
toArray() - Method in class orbital.util.DelegateCollection
Returns an array containing all of the elements in this collection.
toArray(Object[]) - Method in class orbital.util.DelegateCollection
Returns an array containing all of the elements in this collection whose runtime type is that of the specified array.
toFormula() - Method in interface orbital.moon.logic.resolution.ClausalSet
Convert this set of clauses to a formula representation.
toFormula() - Method in class orbital.moon.logic.resolution.ClausalSetImpl
 
toFormula() - Method in interface orbital.moon.logic.resolution.Clause
Convert this clause to a formula representation.
toFormula() - Method in class orbital.moon.logic.resolution.ClauseImpl
 
token - Variable in class orbital.moon.logic.LogicParser
 
Token - Class in orbital.moon.logic
Describes the input token stream.
Token() - Constructor for class orbital.moon.logic.Token
 
token_source - Variable in class orbital.moon.logic.LogicParser
 
tokenImage - Static variable in interface orbital.moon.logic.LogicParserConstants
 
tokenImage - Variable in exception orbital.moon.logic.ParseException
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
TokenMgrError - Error in orbital.moon.logic
 
TokenMgrError() - Constructor for error orbital.moon.logic.TokenMgrError
 
TokenMgrError(String, int) - Constructor for error orbital.moon.logic.TokenMgrError
 
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error orbital.moon.logic.TokenMgrError
 
top(int) - Static method in class orbital.util.Filters
Filter for the first number elements.
top(double, boolean) - Static method in class orbital.util.Filters
Filter for the first number percent elements.
toPrimitiveWrapper(Scalar) - Static method in class orbital.math.Values
Returns a primitive type wrapper for the specified scalar.
toRoman(short) - Static method in class orbital.math.MathUtilities
Converts arabic numbers to roman numbers.
toString() - Method in class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm
 
toString() - Method in class orbital.algorithm.evolutionary.Gene.BitSet
Returns a string representation of this object.
toString() - Method in class orbital.algorithm.evolutionary.Gene.Integer
 
toString() - Method in class orbital.algorithm.evolutionary.Gene.List
 
toString() - Method in class orbital.algorithm.evolutionary.Gene.Number
 
toString() - Method in class orbital.algorithm.evolutionary.GeneticAlgorithm
 
toString() - Method in class orbital.algorithm.evolutionary.Population
Returns a string representation of the object.
toString() - Method in class orbital.algorithm.evolutionary.PopulationImpl
 
toString() - Method in class orbital.algorithm.template.GeneralSearchProblem.Transition
 
toString() - Method in class orbital.algorithm.template.LocalOptimizerSearch.LocalSelection
 
toString() - Method in class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition
 
toString() - Method in class orbital.awt.Range
 
toString() - Method in class orbital.logic.functor.Functionals.Anamorphism
 
toString() - Method in class orbital.logic.functor.Functionals.Catamorphism
 
toString() - Method in class orbital.logic.functor.Functionals.Hylomorphism
 
toString() - Method in class orbital.logic.functor.Functionals.Paramorphism
 
toString() - Method in class orbital.logic.functor.Functor.Specification
Get a human readable string representation of this specification of a functor.
toString() - Method in interface orbital.logic.functor.Functor
Returns a string representation of the Functor.
toString() - Method in class orbital.logic.imp.InterpretationBase
 
toString() - Method in class orbital.logic.sign.concrete.Notation.NotationSpecification
 
toString() - Method in class orbital.logic.sign.concrete.Notation
 
toString() - Method in class orbital.logic.sign.SignatureBase
Returns a string representation of the object.
toString() - Method in class orbital.logic.sign.SymbolBase
 
toString() - Method in interface orbital.logic.sign.type.Type
Returns a string representation of this type.
toString() - Method in interface orbital.math.Arithmetic
Returns a string representation of the Arithmetic object.
toString() - Method in class orbital.moon.logic.ClassicalLogic.InferenceMechanism
 
toString() - Method in class orbital.moon.logic.ClassicalLogic
 
toString() - Method in class orbital.moon.logic.FuzzyLogic.OperatorSet
 
toString() - Method in class orbital.moon.logic.FuzzyLogic
 
toString() - Method in class orbital.moon.logic.resolution.ClausalIndex
 
toString() - Method in class orbital.moon.logic.Token
Returns the image.
toString() - Method in exception orbital.util.InnerCheckedException
 
toString() - Method in class orbital.util.KeyValuePair
 
toString() - Method in class orbital.util.Pair
 
toTypedString(Typed) - Static method in class orbital.logic.sign.type.Types
Get a string describing a typed object and its type.
toTypedString(Typed[]) - Static method in class orbital.logic.sign.type.Types
 
tournament() - Static method in class orbital.algorithm.evolutionary.Selectors
Pick the better one of two genomes selected with roulette wheel.
trace() - Method in interface orbital.math.Matrix
Returns the trace of the matrix representation.
transition(Object, Object, Object) - Method in class orbital.algorithm.template.DelegateGeneralSearchProblem
 
transition(Object, Object, Object) - Method in interface orbital.algorithm.template.GeneralSearchProblem
Get (information about) the transition from a state to another state under a given action. Deterministic case.
transition(Object, Object, Object) - Method in class orbital.algorithm.template.OpenClosedGeneralSearchProblem
 
transition(Object, Object, Object) - Method in interface orbital.algorithm.template.TransitionModel
Get (information about) the transition from a state to another state under a given action.
TransitionModel - Interface in orbital.algorithm.template
Represents a transition model.
TransitionModel.Transition - Interface in orbital.algorithm.template
Represents (information about) a transition option during a transition model.
TransitionPath - Class in orbital.algorithm.template
A (randomized) path through state space S by transition τ of a TransitionModel.
TransitionPath(TransitionModel, Iterator, Object) - Constructor for class orbital.algorithm.template.TransitionPath
Create a new (randomized) path through a transition model.
transpose() - Method in interface orbital.math.Matrix
Returns this matrix transposed.
transpose() - Method in interface orbital.math.Vector
Returns this vector transposed.
trimmedMean(double[], double) - Static method in class orbital.math.Stat
Returns the mean of a set of n values, sorted in ascending numerical order, with a fraction a of entries at each end dropped.
trimToSize() - Method in class orbital.util.Buffer
Trims the capacity of this buffer to be the buffer's current size.
TRUE - Static variable in class orbital.logic.functor.Predicates
true = ⊤.
TRUTH - Static variable in class orbital.logic.sign.type.Types
The type ο = () of truth-values.
Type - Interface in orbital.logic.sign.type
Representation of a type.
TYPE() - Method in interface orbital.logic.sign.type.TypeSystem
The meta-type (kind) of types *:□.
type() - Method in class orbital.moon.logic.LogicParser
Central type parsing production.
Type.Composite - Interface in orbital.logic.sign.type
The base interface for all composite types that are composed of other types.
Type_list() - Method in class orbital.moon.logic.LogicParser
 
Typed - Interface in orbital.logic.sign.type
An interface for typed objects.
TypeException - Exception in orbital.logic.sign.type
Thrown whenever an exception due to invalid typing occurs.
TypeException() - Constructor for exception orbital.logic.sign.type.TypeException
 
TypeException(String) - Constructor for exception orbital.logic.sign.type.TypeException
 
TypeException(String, Type, Type) - Constructor for exception orbital.logic.sign.type.TypeException
 
typeOf(Typed[]) - Static method in class orbital.logic.sign.type.Types
Returns the type of a list of arguments.
typeOf(Object) - Static method in class orbital.logic.sign.type.Types
Guesses the type of an object.
Types - Class in orbital.logic.sign.type
Manager for type system and factories.
Types() - Method in class orbital.moon.logic.LogicParser
 
typeSystem() - Method in interface orbital.logic.sign.type.Type
Get the type system that this type stems from.
TypeSystem - Interface in orbital.logic.sign.type
Provides type constructors, and factories for types of a type system.
typeSystem - Static variable in interface orbital.moon.logic.functor.Operations
 
typeUse() - Method in class orbital.moon.logic.LogicParser
A type use.
TYPING - Static variable in class orbital.awt.NumberInput
 

U

UIUtilities - Class in orbital.awt
Utilities for User-Interface.
UNARY_LOGICAL_JUNCTOR - Static variable in interface orbital.moon.logic.functor.Operations
 
UnaryExpression() - Method in class orbital.moon.logic.LogicParser
 
UnaryTerm() - Method in class orbital.moon.logic.LogicParser
 
uncurry(Function) - Static method in class orbital.logic.functor.Functionals
Uncurrys a curried function to a binary function.
unequal - Static variable in class orbital.logic.functor.Predicates
≠.
unequal - Static variable in interface orbital.math.functional.Operations
≠.
UNEQUAL - Static variable in interface orbital.moon.logic.LogicParserConstants
 
uniform() - Static method in class orbital.algorithm.evolutionary.Selectors
All genomes will be selected with uniform probability 1/n.
uniformRecombine(Gene[], int, double) - Method in class orbital.algorithm.evolutionary.Gene.List
Implemented as uniform recombination, uniformly distributes genes to the children.
unify(Collection) - Static method in class orbital.logic.trs.Substitutions
Unifies terms and returns "the" most general unifier mgU.
union(Interpretation) - Method in interface orbital.logic.imp.Interpretation
Returns the union of two interpretations.
union(Interpretation) - Method in class orbital.logic.imp.InterpretationBase
 
union(Signature) - Method in interface orbital.logic.sign.Signature
Returns the union of two signatures.
union(Signature) - Method in class orbital.logic.sign.SignatureBase
 
union - Static variable in class orbital.util.Setops
union of two collections.
union(Collection, Collection) - Static method in class orbital.util.Setops
Returns the union of two collections.
union(Set, Set) - Static method in class orbital.util.Setops
 
union(SortedSet, SortedSet) - Static method in class orbital.util.Setops
 
union(Iterator, Iterator) - Static method in class orbital.util.Setops
 
unionFold - Static variable in class orbital.util.Setops
n-ary union of a list of collections.
UniqueSymbol - Class in orbital.moon.logic
A new unique symbol that is distinct from all others.
UniqueSymbol(String, Type, Notation.NotationSpecification, boolean) - Constructor for class orbital.moon.logic.UniqueSymbol
Create a new unique symbol of (display) signifier starting with signifierPrefix.
UniqueSymbol(Type, Notation.NotationSpecification, boolean) - Constructor for class orbital.moon.logic.UniqueSymbol
 
UnivariatePolynomial - Interface in orbital.math
(Univariate) polynomial p∈R[X].
UNIVERSAL() - Method in interface orbital.logic.sign.type.TypeSystem
The universal type = .
UNIVERSAL_ATOM - Static variable in class orbital.logic.sign.SymbolBase
Deprecated. Since Orbital1.1 use Types.INDIVIDUAL instead.
universalClosure(Formula) - Static method in class orbital.moon.logic.ClassicalLogic.Utilities
Get the ∀-closure of a formula.
unmodifiableCollectionLike(Collection) - Static method in class orbital.util.Setops
Returns an unmodifiable view of the same type as the collection specified.
unmodifiableInterpretation(Interpretation) - Static method in class orbital.logic.imp.InterpretationBase
Returns an unmodifiable view of the specified interpretation.
unmodifiableIterator(Iterator) - Static method in class orbital.util.Setops
Returns an unmodifiable view of the specified iterator.
unmodifiableListIterator(ListIterator) - Static method in class orbital.util.Setops
 
unmodifiableSignature(Signature) - Static method in class orbital.logic.sign.SignatureBase
Returns an unmodifiable view of the specified signature.
update(Graphics) - Method in class orbital.awt.ImageCanvas
 
update(Graphics) - Method in class orbital.awt.Plot2D
 
update(Object) - Method in class orbital.moon.awt.DefaultCustomizer
Update all values displayed for the given bean.
UpdateLineColumn(char) - Method in class orbital.moon.logic.SimpleCharStream
 
usage - Static variable in class orbital.moon.awt.AppletFrame
 
usage - Static variable in class orbital.moon.evolutionary.BreederControl
 
usage - Static variable in class orbital.moon.logic.ClassicalLogic
 
usage - Static variable in class orbital.moon.logic.FuzzyLogic
 
usage - Static variable in class orbital.moon.logic.MathExpressionSyntax
 
usage - Static variable in class orbital.moon.logic.ModalLogic
 
Utility - Class in orbital.util
A general Utility class containing static methods for common tasks like assertion checking etc.

V

value - Variable in class orbital.util.KeyValuePair
The value of this pair.
valueFactory() - Method in interface orbital.math.Arithmetic
Get the value factory producing this object
ValueFactory - Interface in orbital.math
Scalar value and arithmetic object value constructor factory.
valueOf(int) - Method in interface orbital.math.ValueFactory
Returns a scalar whose value is equal to that of the specified primitive type.
valueOf(Integer) - Method in interface orbital.math.ValueFactory
 
valueOf(long) - Method in interface orbital.math.ValueFactory
Returns a scalar whose value is equal to that of the specified primitive type.
valueOf(Long) - Method in interface orbital.math.ValueFactory
 
valueOf(byte) - Method in interface orbital.math.ValueFactory
 
valueOf(Byte) - Method in interface orbital.math.ValueFactory
 
valueOf(short) - Method in interface orbital.math.ValueFactory
 
valueOf(Short) - Method in interface orbital.math.ValueFactory
 
valueOf(BigInteger) - Method in interface orbital.math.ValueFactory
Returns a scalar whose value is equal to that of the specified big number.
valueOf(double) - Method in interface orbital.math.ValueFactory
Returns a scalar whose value is equal to that of the specified primitive type.
valueOf(Double) - Method in interface orbital.math.ValueFactory
 
valueOf(float) - Method in interface orbital.math.ValueFactory
Returns a scalar whose value is equal to that of the specified primitive type.
valueOf(Float) - Method in interface orbital.math.ValueFactory
 
valueOf(BigDecimal) - Method in interface orbital.math.ValueFactory
Returns a scalar whose value is equal to that of the specified big number.
valueOf(Number) - Method in interface orbital.math.ValueFactory
Returns a Scalar whose value is equal to that of the specified number.
valueOf(Arithmetic[]) - Method in interface orbital.math.ValueFactory
Returns a Vector containing the specified arithmetic objects.
valueOf(double[]) - Method in interface orbital.math.ValueFactory
 
valueOf(int[]) - Method in interface orbital.math.ValueFactory
 
valueOf(Arithmetic[][]) - Method in interface orbital.math.ValueFactory
Returns a Matrix containing the specified arithmetic objects.
valueOf(double[][]) - Method in interface orbital.math.ValueFactory
 
valueOf(int[][]) - Method in interface orbital.math.ValueFactory
 
valueOf(String) - Method in interface orbital.math.ValueFactory
Returns an arithmetic object whose value is equal to that of the representation in the specified string.
Values - Class in orbital.math
Manager for scalar value and arithmetic object value constructor factories.
Values() - Constructor for class orbital.math.Values
 
values() - Method in class orbital.util.DelegateMap
 
Variable - Interface in orbital.logic.trs
Variable tagging interface.
Variable() - Method in class orbital.moon.logic.LogicParser
an atomic variable term.
VariableDeclaration() - Method in class orbital.moon.logic.LogicParser
an atomic variable term with a type declaration.
variance(double[]) - Static method in class orbital.math.Stat
Returns the variance of a set of n values.
variant(Signature) - Method in interface orbital.moon.logic.resolution.Clause
Get a variant of this clause with the given variables renamed.
variant(Signature) - Method in class orbital.moon.logic.resolution.ClauseImpl
 
Vector - Interface in orbital.math
Represents a mathematical vector of any dimension n.
vectorialPolynomial(UnivariatePolynomial[]) - Static method in class orbital.math.AlgebraicAlgorithms
Converts an array of coordinate polynomials to a polynomial with R-vectorial coefficients.
VoidFunction - Interface in orbital.logic.functor
A functor that encapsulates the void function f/0 which is constant if consistent.
VoidFunction.Composite - Interface in orbital.logic.functor
A composed VoidFunction.
VoidPredicate - Interface in orbital.logic.functor
A functor that encapsulates the void predicate P/0 which is constant if consistent.
VoidPredicate.Composite - Interface in orbital.logic.functor
A composed VoidPredicate.

W

waitForEvaluators() - Method in class orbital.algorithm.evolutionary.ParallelEvaluationPopulation
Waits for all current evaluator threads to stop.
WAStar - Class in orbital.algorithm.template
WA* search class.
WAStar(Real, Function) - Constructor for class orbital.algorithm.template.WAStar
Create a new instance of WA* search.
WAStar(double, Function) - Constructor for class orbital.algorithm.template.WAStar
 
WAStar(Function) - Constructor for class orbital.algorithm.template.WAStar
 
window(Graphics2D, double, double, double, double) - Method in class orbital.awt.Plot2D
 
windowClosing(WindowEvent) - Method in class orbital.moon.awt.Closer
 

X

xor(Formula) - Method in interface orbital.logic.imp.Formula
Exclusion xor: F ∨̇ G = F xor G.
xor(Formula) - Method in class orbital.logic.imp.LogicBasis
Exclusion xor: A xor B is calced (A∧¬B) ∨ (¬A∧B)
xor - Static variable in interface orbital.moon.logic.functor.Operations
 
XOR - Static variable in interface orbital.moon.logic.LogicParserConstants
 

Y

YAGER(double) - Static method in class orbital.moon.logic.FuzzyLogic
Yager operators in fuzzy logic.

Z

zero() - Method in interface orbital.math.Arithmetic
0.
zero - Static variable in class orbital.math.functional.Functions
zero: R→R; x ↦ 0 .
ZERO() - Method in interface orbital.math.ValueFactory
0∈Z.
ZERO(int) - Method in interface orbital.math.ValueFactory
Gets zero Vector, with all elements set to 0.
ZERO(Dimension) - Method in interface orbital.math.ValueFactory
Gets zero Matrix, with all elements set to 0.
ZERO(int, int) - Method in interface orbital.math.ValueFactory
 
ZERO(int[]) - Method in interface orbital.math.ValueFactory
Gets zero tensor, with all elements set to 0.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.