Overview  Package  Class  Use  Tree  Deprecated   Index  Help 
Orbital library
 PREV   NEXT FRAMES    NO FRAMES    
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 bottom = UnionØ.
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: F and G.
and - Static variable in interface orbital.moon.logic.functor.Operations
Conjunction and and :Dt×Dt->Dt; (x,y) |-> x and 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 ⋀: Dtn->Dt; (xi) |-> ⋀i xi = (|true, and |) (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, inf )->[0, inf ); x |-> arcosh x = (cosh|[0, inf ))-1 x = log(x ± sqrt x2-1).
arcoth - Static variable in class orbital.math.functional.Functions
arcoth: R\[-1,1]->R\{0}; x |-> arcoth x = coth-1 x = log((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 = log(x + sqrt x2+1).
artanh - Static variable in class orbital.math.functional.Functions
artanh: (-1,1)->R; x |-> artanh x = tanh-1 x = log((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 in 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( inf ).
complexity() - Method in class orbital.algorithm.template.DivideAndConquer
≈O(n*log 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( inf ).
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( inf ).
complexity() - Method in class orbital.algorithm.template.ThresholdAccepting
O( inf ).
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: 2^(B)×Map(A,B)->2^(A); (P,g) |-> P º g := P(g).
compose(BinaryPredicate, BinaryFunction, BinaryFunction) - Static method in class orbital.logic.functor.Functionals
compose: 2^(B1×B2)×(Map(A1×A2,B1)×Map(A1×A2,B2))->2^(A1×A2); (P,g,h) |-> P º (g × h) := P(g,h) .
compose(BinaryPredicate, Function, Function) - Static method in class orbital.logic.functor.Functionals
compose: 2^(B1×B2)×(Map(A,B1)×Map(A,B2))->2^(A); (P,g,h) |-> P º (g × h) := P(g,h) .
compose(Predicate, VoidFunction) - Static method in class orbital.logic.functor.Functionals
compose: 2^(B)×Map({()},B)->2^({()}); (P,g) |-> P º g := P(g).
compose(BinaryPredicate, VoidFunction, VoidFunction) - Static method in class orbital.logic.functor.Functionals
compose: 2^(B1×B2)×(Map({()},B1)×Map({()},B2))->2^({()}); (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; M|->M*:=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.