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: *×* → *; (σ,τ) ↦ σ→τ.