Serialized Form

Package orbital.algorithm

Class orbital.algorithm.Combinatorical extends java.lang.Object implements Serializable

serialVersionUID: 8581671329920186455L

Package orbital.algorithm.evolutionary

Class orbital.algorithm.evolutionary.ConcurrenceGeneticAlgorithm extends IncrementalGeneticAlgorithm implements Serializable

serialVersionUID: 6996937771442542793L

Serialized Fields

concurrenceType

int concurrenceType

The type of concurrence comparison used.

See Also:

ConcurrenceGeneticAlgorithm.FLAT_HIERARCHY, ConcurrenceGeneticAlgorithm.HIERARCHY, ConcurrenceGeneticAlgorithm.ROUND_ROBIN

Class orbital.algorithm.evolutionary.Gene.BitSet extends java.lang.Object implements Serializable

serialVersionUID: -2845226398297436088L

Serialized Fields

data

boolean[] data

The set of Gene data represented as booleans. binary string implementation.

Class orbital.algorithm.evolutionary.Gene.BoundedFloat extends Gene.Float implements Serializable

serialVersionUID: -7547201720957271215L

Serialized Fields

min

double min

lower bound for value.

max

double max

upper bound for value.

Class orbital.algorithm.evolutionary.Gene.BoundedInteger extends Gene.Integer implements Serializable

serialVersionUID: -8621283398816731542L

Serialized Fields

min

int min

lower bound for value.

max

int max

upper bound for value.

Class orbital.algorithm.evolutionary.Gene.Fixed extends Gene.BitSet implements Serializable

serialVersionUID: 7829878649179715782L

Serialized Fields

integerGranularity

int integerGranularity

The number of bits for the integer part.

fractionalGranularity

int fractionalGranularity

The number of bits for the fractional part.

Class orbital.algorithm.evolutionary.Gene.Float extends Gene.Number implements Serializable

serialVersionUID: -2522837867138188120L

Serialized Fields

data

double data

The Gene data represented as a number.

Class orbital.algorithm.evolutionary.Gene.Integer extends Gene.Number implements Serializable

serialVersionUID: 7710737617378991898L

Serialized Fields

data

int data

The Gene data represented as a number.

Class orbital.algorithm.evolutionary.Gene.List extends DelegateList implements Serializable

serialVersionUID: 1450216289981749502L

Class orbital.algorithm.evolutionary.Gene.Number extends java.lang.Number implements Serializable

serialVersionUID: 373388107171340893L

Class orbital.algorithm.evolutionary.GeneticAlgorithm extends java.lang.Object implements Serializable

serialVersionUID: -5214141290856811039L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain singleton when deserializing since that seems to shirk constructor calls.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

See Also:

GeneticAlgorithm.GeneticAlgorithm()

Serialized Fields

selection

Function selection

The selection scheme to apply while evolving.

population

Population population

The Population for this GeneticAlgorithm.

fitnessEvaluation

Function fitnessEvaluation

Specifies the algorithm for evaluation of a Genome's fitness. It must be set before use and is concrete problem-specific.

random

java.util.Random random

The central Random-generator for the genetic algorithm.

the random source is serialized to let the seed persist.

Class orbital.algorithm.evolutionary.GeneticAlgorithm.Configuration extends AlgorithmicTemplate.Configuration implements Serializable

serialVersionUID: 5516965797776057474L

Serialized Fields

selection

Function selection

The selection scheme to apply while evolving.

parentCount

int parentCount

The number of abstract parents required to produce children.

childrenCount

int childrenCount

The number of children produced with one reproduction involving parentCount parents.

maximumRecombination

double maximumRecombination

Maximum probability rating of recombining parental genomes per production.

maximumMutation

double maximumMutation

Maximum probability rating of mutation level for reproduction.

Class orbital.algorithm.evolutionary.Genome extends Gene.List implements Serializable

serialVersionUID: -6225184727917632864L

Serialized Fields

fitness

double fitness

The fitness this Genome is about to have according to the Algorithm in evaluate(). Will be Double.NaN if it has not yet been calculated or some Genome data has changed.

See Also:

Genome.evaluate(Population, boolean)

Class orbital.algorithm.evolutionary.IncrementalGeneticAlgorithm extends GeneticAlgorithm implements Serializable

serialVersionUID: -8865758770147605049L

Class orbital.algorithm.evolutionary.ParallelEvaluationPopulation extends Population implements Serializable

serialVersionUID: -2229283476470476347L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream s)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Serial Data:

serialization should only occur once all evaluation has finished because neither evaluators, nor generationEvaluators and its threads are serializable. Exchanges evaluators.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream s)
                  throws java.io.IOException

Serial Data:

serialization should only occur once all evaluation has finished because neither evaluators, nor generationEvaluators and its threads are serializable.

Throws:

java.io.IOException

Class orbital.algorithm.evolutionary.Population extends java.lang.Object implements Serializable

serialVersionUID: 3858632627875948854L

Serialized Fields

geneticAlgorithm

GeneticAlgorithm geneticAlgorithm

The genetic algorithm evolving this population.

generation

int generation

The current generation count.

members

java.util.List members

The Genomes that are members of this population. This sorted list is kept sorted according to the fitness.

Class orbital.algorithm.evolutionary.PopulationImpl extends Population implements Serializable

serialVersionUID: 5580906634238304628L

Serialized Fields

parentCount

int parentCount

The number of abstract parents required to produce children.

childrenCount

int childrenCount

The number of children produced with one reproduction involving parentCount parents.

maximumRecombination

double maximumRecombination

Maximum probability rating of recombining parental genomes per production.

maximumMutation

double maximumMutation

Maximum probability rating of mutation level for reproduction.

Class orbital.algorithm.evolutionary.SimpleGeneticAlgorithm extends GeneticAlgorithm implements Serializable

serialVersionUID: 7501114603877978617L

Class orbital.algorithm.evolutionary.SteadyStateGeneticAlgorithm extends GeneticAlgorithm implements Serializable

serialVersionUID: -7588440717264226789L

Serialized Fields

numberOfReplacements

int numberOfReplacements

The number of replacements to do at each generation (≤ population.size()). We will perform as many reproductions such that at least replacement replacements have occured.

Package orbital.algorithm.template

Class orbital.algorithm.template.AlgorithmicTemplate.Configuration extends java.lang.Object implements Serializable

serialVersionUID: -3040364728746853685L

Serialized Fields

problem

AlgorithmicProblem problem

algorithm

java.lang.Class algorithm

Class orbital.algorithm.template.AStar extends BestFirstSearch implements Serializable

serialVersionUID: 4507556265837848039L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain transient variable initialization when deserializing.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

heuristic

Function heuristic

The applied heuristic cost function h:S→R embedded in the evaluation function f.

Class orbital.algorithm.template.BestFirstSearch extends GeneralSearch implements Serializable

serialVersionUID: -7753264910951203557L

Class orbital.algorithm.template.BestFirstSearch.OptionIterator extends GeneralSearch.OptionIterator implements Serializable

serialVersionUID: 1955160705943645903L

Serialized Fields

nodes

java.util.List nodes

the sorted list of nodes.

comparator

java.util.Comparator comparator

the comparator used for sorting nodes.

Class orbital.algorithm.template.BranchAndBound extends orbital.algorithm.template.DepthFirstBoundingSearch implements Serializable

serialVersionUID: -1698181871423830937L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain transient variable initialization when deserializing.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

heuristic

Function heuristic

The applied heuristic cost function h:S→R embedded in the evaluation function f.

maxBound

Real maxBound

A sufficiently high upper bound for a solution beyond which search will not continue.

Class orbital.algorithm.template.BreadthFirstSearch extends GeneralSearch implements Serializable

serialVersionUID: -3246910930824688923L

Class orbital.algorithm.template.BreadthFirstSearch.OptionIterator extends GeneralSearch.OptionIterator implements Serializable

serialVersionUID: -6989557875498264664L

Serialized Fields

nodes

QueuedSequenceIterator nodes

effectively, nodes is a queue of iterators.

Class orbital.algorithm.template.DelegateGeneralSearchProblem extends java.lang.Object implements Serializable

serialVersionUID: 759071020836279592L

Serialized Fields

problem

GeneralSearchProblem problem

Class orbital.algorithm.template.DepthFirstSearch extends GeneralSearch implements Serializable

serialVersionUID: -9123082892783190173L

Class orbital.algorithm.template.DepthFirstSearch.OptionIterator extends GeneralSearch.OptionIterator implements Serializable

serialVersionUID: 4198888198183455112L

Serialized Fields

nodes

QueuedSequenceIterator nodes

effectively, nodes is a stack of iterators.

Class orbital.algorithm.template.DynamicProgrammingOptimizingProblem extends java.lang.Object implements Serializable

serialVersionUID: 3764567935798828319L

Serialized Fields

partialWeights

java.lang.Object[] partialWeights

memorize weights analogue to partialSolutions

Class orbital.algorithm.template.EvaluativeAlgorithm.EvaluationComparator extends java.lang.Object implements Serializable

serialVersionUID: -2014366202163451019L

Serialized Fields

evaluationFunction

Function evaluationFunction

the evaluation function used in order to compare two states.

Class orbital.algorithm.template.GaussSeidelDynamicProgramming extends MarkovDecisionProcess.DynamicProgramming implements Serializable

serialVersionUID: -5923519196510123671L

Serialized Fields

tolerance

double tolerance

the tolerance value below which the evaluation function is considered to have converged.

states

java.util.Collection states

the full set S of all states of the problem.

Class orbital.algorithm.template.GeneralBoundingSearch extends GeneralSearch implements Serializable

serialVersionUID: -1094428950720102400L

Serialized Fields

continuedWhenFound

boolean continuedWhenFound

Whether the search is continued after a solution is found.

bound

Real bound

The current bound beyond which search will not continue.

Class orbital.algorithm.template.GeneralSearch extends java.lang.Object implements Serializable

serialVersionUID: -2839281671298699169L

Serialized Fields

problem

GeneralSearchProblem problem

The search problem to solve.

Class orbital.algorithm.template.GeneralSearch.OptionIterator extends java.lang.Object implements Serializable

serialVersionUID: 6410799454884265654L

Serialized Fields

problem

GeneralSearchProblem problem

The search problem to solve.

lastRet

java.lang.Object lastRet

The last node selected by GeneralSearch.OptionIterator.next().

hasExpanded

boolean hasExpanded

Whether lastRet has already been expanded by GeneralSearch.OptionIterator.hasNext().

Class orbital.algorithm.template.GeneralSearchProblem.Transition extends java.lang.Object implements Serializable

serialVersionUID: 257664629450534598L

Serialized Fields

action

java.lang.Object action

the applicable action a∈A performed to reach this state.

cost

Real cost

the immediate action cost c=c(s,a) of the action performed to reach the state sʹ.

Class orbital.algorithm.template.HeuristicAlgorithm.Configuration extends AlgorithmicTemplate.Configuration implements Serializable

serialVersionUID: 8651734898965188478L

Serialized Fields

heuristic

Function heuristic

Class orbital.algorithm.template.HeuristicAlgorithm.PatternDatabaseHeuristic extends java.lang.Object implements Serializable

serialVersionUID: -4488685150678833742L

Serialized Fields

heuristic

Function heuristic

the heuristic function used for states not contained in the pattern database.

patternDatabase

java.util.Map patternDatabase

the pattern database to use for looking up cost.

autoUpdatePatternDatabase

boolean autoUpdatePatternDatabase

whether to enter heuristic estimate cost into the pattern database for states not yet contained. This is almost only useful for very expensive backing heuristic functions.

Class orbital.algorithm.template.HillClimbing extends LocalOptimizerSearch implements Serializable

serialVersionUID: -3281919447532950063L

Serialized Fields

heuristic

Function heuristic

The applied heuristic cost function h:S→R embedded in the evaluation function f(n) = h(n).

Class orbital.algorithm.template.InapplicableActionException extends java.lang.IllegalArgumentException implements Serializable

serialVersionUID: 4275365251635332886L

Class orbital.algorithm.template.IterativeBroadening extends orbital.algorithm.template.DepthFirstBoundingSearch implements Serializable

serialVersionUID: 7810245539762321618L

Serialized Fields

havePruned

boolean havePruned

Whether we have pruned a node during the last call to super.search.

See Also:

IterativeDeepeningAStar.nextBound

Class orbital.algorithm.template.IterativeBroadening.OptionIterator extends DepthFirstSearch.OptionIterator implements Serializable

serialVersionUID: 3559635773974511101L

Class orbital.algorithm.template.IterativeDeepening extends orbital.algorithm.template.DepthFirstBoundingSearch implements Serializable

serialVersionUID: 2543606559760442885L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain transient variable initialization when deserializing.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

havePruned

boolean havePruned

Whether we have pruned a node during the last call to super.search.

See Also:

IterativeDeepeningAStar.nextBound

Class orbital.algorithm.template.IterativeDeepeningAStar extends orbital.algorithm.template.DepthFirstBoundingSearch implements Serializable

serialVersionUID: 5814132461076107994L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain transient variable initialization when deserializing.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

nextBound

Real nextBound

Cost of cheapest node pruned, or null if we did not prune a node yet.

heuristic

Function heuristic

The applied heuristic cost function h:S→R embedded in the evaluation function f.

Class orbital.algorithm.template.IterativeExpansion extends GeneralSearch implements Serializable

serialVersionUID: 4225973116092481279L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain transient variable initialization when deserializing.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

heuristic

Function heuristic

The applied heuristic cost function h:S→R embedded in the evaluation function f.

Class orbital.algorithm.template.LocalOptimizerSearch extends GeneralSearch implements Serializable

serialVersionUID: 465553782601369843L

Serialized Fields

random

java.util.Random random

The random generator source.

the random source is serialized to let the seed persist.

localSelection

LocalOptimizerSearch.LocalSelection localSelection

The local selection variant used.

Class orbital.algorithm.template.LocalOptimizerSearch.LocalSelection extends java.lang.Object implements Serializable

serialVersionUID: 1471057172168155681L

Serialization Methods

readResolve

private java.lang.Object readResolve()
                              throws java.io.ObjectStreamException

Maintains the guarantee that there is only a single object representing each enum constant.

Serial Data:

canonicalized deserialization

Throws:

java.io.ObjectStreamException

Serialized Fields

name

java.lang.String name

the name to display for this enum value

ordinal

int ordinal

Assign an ordinal to this enum value

Class orbital.algorithm.template.LocalOptimizerSearch.OptionIterator extends java.lang.Object implements Serializable

serialVersionUID: -658271440377589506L

Serialized Fields

problem

GeneralSearchProblem problem

The search problem to solve.

g

MutableFunction g

Caching the accumulated cost function of problem.

See Also:

LocalOptimizerSearch.OptionIterator.problem

Invariants:

g == problem.getAccumulatedCostFunction()

algorithm

LocalOptimizerSearch algorithm

The algorithm using this (randomized) iterator.

state

java.lang.Object state

The current state s∈S of this transition path.

accumulatedCost

Real accumulatedCost

Caching the accumulatedCost g(state).

See Also:

LocalOptimizerSearch.OptionIterator.state

Class orbital.algorithm.template.MarkovDecisionProblem.DefaultTransition extends java.lang.Object implements Serializable

serialVersionUID: -5421585936741224969L

Serialized Fields

probability

Scalar probability

the probability of reaching a state (in the corresponding context).

cost

Real cost

the immediate action cost c=c(s,a) of the action performed to reach the state.

Class orbital.algorithm.template.MarkovDecisionProcess extends java.lang.Object implements Serializable

serialVersionUID: 2351017747303613618L

Serialized Fields

problem

MarkovDecisionProblem problem

The MDP problem to solve.

Class orbital.algorithm.template.MarkovDecisionProcess.DynamicProgramming extends MarkovDecisionProcess implements Serializable

serialVersionUID: 6262421425846708636L

Serialized Fields

discount

Real discount

the current discount factor γ.

heuristic

Function heuristic

the heuristic function h, used for unknown states.

Class orbital.algorithm.template.OpenClosedGeneralSearchProblem extends java.lang.Object implements Serializable

serialVersionUID: 7335267055267390660L

Serialized Fields

problem

GeneralSearchProblem problem

The proper problem to solve which does not yet keep track of closed sets.

closedSet

java.util.Set closedSet

The set of closed states that have already been expanded. Nodes in the search space that are not closed are called open.

Class orbital.algorithm.template.ParallelBranchAndBound extends BranchAndBound implements Serializable

serialVersionUID: -7665864997088831748L

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Sustain transient variable initialization when deserializing.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

Serialized Fields

bestSolution

java.lang.Object bestSolution

Contains current best solution.

bestAccumulatedCost

Real bestAccumulatedCost

Contains the accumulated cost of ParallelBranchAndBound.bestSolution, thus the current best accumulated cost.

Class orbital.algorithm.template.RealTimeDynamicProgramming extends MarkovDecisionProcess.DynamicProgramming implements Serializable

serialVersionUID: 8603555888863789157L

Class orbital.algorithm.template.SimulatedAnnealing extends orbital.algorithm.template.ScheduledLocalOptimizerSearch implements Serializable

serialVersionUID: -1780030298934767181L

Class orbital.algorithm.template.ThresholdAccepting extends orbital.algorithm.template.ScheduledLocalOptimizerSearch implements Serializable

serialVersionUID: -1339322840710154421L

Class orbital.algorithm.template.TransitionPath extends java.lang.Object implements Serializable

serialVersionUID: 7547930705530088169L

Serialized Fields

transition

TransitionModel transition

The transition model τ through which to create a path.

actions

java.util.Iterator actions

The iterator of the actions to perform.

state

java.lang.Object state

The current state s∈S of this transition path.

random

java.util.Random random

The random generator source to use for probabilistic transitions.

the random source is serialized to let the seed persist.

Class orbital.algorithm.template.WAStar extends AStar implements Serializable

serialVersionUID: -3210623238172266780L

Serialized Fields

W

Real W

the weighting argument W for the evaluation function.

Package orbital.awt

Class orbital.awt.ChartModel extends java.lang.Object implements Serializable

serialVersionUID: 4576261898967344924L

Serialized Fields

graphs

java.util.List graphs

The List of graphs to be displayed. This list contains objects of kind ChartModel.Entry.

range

Range range

The Range to be displayed visibly.

scale

Vector scale

The scale vector. A component value of v_i says that every v_i units a mark is drawn on the Chart.

rainbow

boolean rainbow

Whether rainbow colors are used for graphs that have no color setting.

rainbowColor

int rainbowColor

the last rainbow color used (not yet reduced modulo number of colors).

propertyChangeListeners

java.beans.PropertyChangeSupport propertyChangeListeners

Class orbital.awt.ChartModel.Entry extends java.lang.Object implements Serializable

serialVersionUID: -3709330542731558305L

Serialized Fields

graph

java.lang.Object graph

attributes

java.util.Map attributes

Class orbital.awt.ImageCanvas extends java.awt.Canvas implements Serializable

serialVersionUID: 3005746876745573942L

Serialized Fields

image

java.awt.Image image

the image to be shown on the canvas.

stretched

boolean stretched

true if the image should be stretched to fit the whole canvas.

propertyChangeListeners

java.beans.PropertyChangeSupport propertyChangeListeners

Class orbital.awt.NumberInput extends java.awt.Panel implements Serializable

serialVersionUID: -818804052063274016L

Serialized Fields

nvalue

java.lang.Number nvalue

Number value

style

int style

the style in which to show.

precision

double precision

with what precision mouse operations will change the value.

editable

boolean editable

text

java.awt.TextField text

propertyChangeListeners

java.beans.PropertyChangeSupport propertyChangeListeners

Class orbital.awt.Plot2D extends java.awt.Canvas implements Serializable

serialVersionUID: 6993708298034247585L

Serialized Fields

model

ChartModel model

autoScaling

boolean autoScaling

fullScaling

boolean fullScaling

listening

java.beans.PropertyChangeListener listening

propertyChangeListeners

java.beans.PropertyChangeSupport propertyChangeListeners

Class orbital.awt.Plot2DCustomizer extends java.awt.Panel implements Serializable

Serialized Fields

plot

Plot2D plot

model

ChartModel model

panel1

java.awt.Panel panel1

gridBagLayout2

java.awt.GridBagLayout gridBagLayout2

xscale

NumberInput xscale

yscale

NumberInput yscale

ymin

NumberInput ymin

ymax

NumberInput ymax

xmin

NumberInput xmin

label1

java.awt.Label label1

label2

java.awt.Label label2

label3

java.awt.Label label3

xmax

NumberInput xmax

label4

java.awt.Label label4

label5

java.awt.Label label5

label6

java.awt.Label label6

borderLayout1

java.awt.BorderLayout borderLayout1

autoScaling

java.awt.Checkbox autoScaling

fullScaling

java.awt.Checkbox fullScaling

propertyChangeListeners

java.beans.PropertyChangeSupport propertyChangeListeners

Package orbital.logic

Class orbital.logic.IterationLimitException extends LimitException implements Serializable

serialVersionUID: -2155726108226650819L

Class orbital.logic.LimitException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 5926741249307164807L

Class orbital.logic.RecursionLimitException extends LimitException implements Serializable

serialVersionUID: 634853460730351591L

Class orbital.logic.RecursionStoppedException extends java.lang.RuntimeException implements Serializable

serialVersionUID: -4005462153245344729L

Package orbital.logic.functor

Class orbital.logic.functor.Functionals.Anamorphism extends java.lang.Object implements Serializable

serialVersionUID: -1984167910200783901L

Serialized Fields

g

Function g

a function g:B→A×B=A||B that returns objects of type Pair.

p

Predicate p

a predicate p⊆B.

Class orbital.logic.functor.Functionals.Catamorphism extends java.lang.Object implements Serializable

serialVersionUID: -6922299620063576629L

Serialized Fields

c

java.lang.Object c

the right (second) argument basevalue in B to start with. The result of the application of f will progressively build the next right (second) argument.

f

BinaryFunction f

the function f:A×B=A||B→B used to fold the list a with.

Class orbital.logic.functor.Functionals.Hylomorphism extends java.lang.Object implements Serializable

serialVersionUID: 8982420605715979366L

Serialized Fields

c

java.lang.Object c

an element ∈C that is the basevalue for p(a) = true.

f

BinaryFunction f

a binary function f:B||C→C.

g

Function g

a function g:A→B||A that returns objects of type Pair.

p

Predicate p

a predicate p⊆A saying whether to use the basevalue case.

Class orbital.logic.functor.Functionals.Paramorphism extends java.lang.Object implements Serializable

serialVersionUID: 6420642534953643932L

Serialized Fields

b

java.lang.Object b

the basevalue b∈B to use.

f

BinaryFunction f

a binary function f:A×(A*||B)→B.

Class orbital.logic.functor.Functor.Specification extends java.lang.Object implements Serializable

serialVersionUID: 7951104941212844811L

Serialized Fields

spec_returnType

java.lang.Class spec_returnType

specification of return-type.

spec_parameterTypes

java.lang.Class[] spec_parameterTypes

specification of all paramter-types.

Package orbital.logic.imp

Class orbital.logic.imp.IncompleteCalculusException extends LogicException implements Serializable

serialVersionUID: 548457840486427483L

Class orbital.logic.imp.InterpretationBase extends DelegateMap implements Serializable

serialVersionUID: 1211049244164642015L

Serialized Fields

sigma

Signature sigma

The signature Σ to be interpreted.

Class orbital.logic.imp.LogicException extends java.lang.RuntimeException implements Serializable

serialVersionUID: -32994655636436874L

Package orbital.logic.sign

Class orbital.logic.sign.ParseException extends java.lang.Exception implements Serializable

serialVersionUID: 9011745358925992935L

Serialized Fields

errorOffset

int errorOffset

columnNumber

int columnNumber

lineNumber

int lineNumber

Class orbital.logic.sign.SignatureBase extends DelegateSortedSet implements Serializable

serialVersionUID: -2651634605539964276L

Class orbital.logic.sign.SymbolBase extends java.lang.Object implements Serializable

serialVersionUID: 4003299661212808663L

Serialized Fields

signifier

java.lang.String signifier

The String representing this symbol.

type

Type type

The (arity and) type specification of this symbol.

notation

Notation.NotationSpecification notation

The notation used when this symbol occurs. This includes precedence and associativity information, as well.

variable

boolean variable

Whether this is a variable symbol. true if this symbol is a variable symbol, and false if this symbol is a constant symbol.

Package orbital.logic.sign.concrete

Class orbital.logic.sign.concrete.Notation extends java.lang.Object implements Serializable

serialVersionUID: -3071672372655194662L

Serialization Methods

readResolve

private java.lang.Object readResolve()
                              throws java.io.ObjectStreamException

Maintains the guarantee that there is only a single object representing each enum constant.

Serial Data:

canonicalized deserialization

Throws:

java.io.ObjectStreamException

Serialized Fields

name

java.lang.String name

the name to display for this enum value

ordinal

int ordinal

Assign an ordinal to this enum value

Class orbital.logic.sign.concrete.Notation.NotationSpecification extends java.lang.Object implements Serializable

serialVersionUID: -8249931256922519844L

Serialized Fields

precedence

int precedence

The precedence of the sign (with 1 being the highest precedence).

associativity

java.lang.String associativity

The associativity specification of the sign.

notation

Notation notation

The notation object to use for formatting.

Package orbital.logic.sign.type

Class orbital.logic.sign.type.FactoryConfigurationError extends java.lang.Error implements Serializable

Class orbital.logic.sign.type.TypeException extends java.lang.RuntimeException implements Serializable

Serialized Fields

required

Type required

The type that would have been required.

occurred

Type occurred

The type that was actually found at the type occurrence.

Package orbital.math

Class orbital.math.ArithmeticFormat extends java.text.Format implements Serializable

serialVersionUID: 4708045695735837065L

Serialized Fields

numberFormat

java.text.NumberFormat numberFormat

Inner number format of corresponding locale used to format pure real numbers.

rationalSeparator

java.lang.String rationalSeparator

complexPositiveSeparator

java.lang.String complexPositiveSeparator

complexNegativeSeparator

java.lang.String complexNegativeSeparator

complexUnitLast

boolean complexUnitLast

complexUnit

java.lang.String complexUnit

complexUnitSeparator

java.lang.String complexUnitSeparator

complexAbbreviateNullReal

boolean complexAbbreviateNullReal

complexAbbreviateNullImaginary

boolean complexAbbreviateNullImaginary

complexAbbreviateOne

boolean complexAbbreviateOne

complexAbbreviateNullRealPositiveSeparator

boolean complexAbbreviateNullRealPositiveSeparator

vectorPrefix

java.lang.String vectorPrefix

vectorSeparator

java.lang.String vectorSeparator

vectorSeparatorAlternatives

java.lang.String[] vectorSeparatorAlternatives

vectorSuffix

java.lang.String vectorSuffix

matrixPrefix

java.lang.String matrixPrefix

matrixSeparator

java.lang.String matrixSeparator

matrixSeparatorAlternatives

java.lang.String[] matrixSeparatorAlternatives

matrixSuffix

java.lang.String matrixSuffix

matrixRowPrefix

java.lang.String matrixRowPrefix

matrixRowSeparator

java.lang.String matrixRowSeparator

matrixRowSeparatorAlternatives

java.lang.String[] matrixRowSeparatorAlternatives

matrixRowSuffix

java.lang.String matrixRowSuffix

polynomialPrefix

java.lang.String polynomialPrefix

polynomialTimesOperator

java.lang.String polynomialTimesOperator

polynomialVariable

java.lang.String polynomialVariable

polynomialPowerOperator

java.lang.String polynomialPowerOperator

polynomialPlusOperator

java.lang.String polynomialPlusOperator

polynomialPlusAlternative

java.lang.String polynomialPlusAlternative

polynomialSuffix

java.lang.String polynomialSuffix

multinomialPrefix

java.lang.String multinomialPrefix

multinomialTimesOperator

java.lang.String multinomialTimesOperator

multinomialVariableTimesOperator

java.lang.String multinomialVariableTimesOperator

multinomialVariables

java.lang.String[] multinomialVariables

multinomialPowerOperator

java.lang.String multinomialPowerOperator

multinomialPlusOperator

java.lang.String multinomialPlusOperator

multinomialPlusAlternative

java.lang.String multinomialPlusAlternative

multinomialSuffix

java.lang.String multinomialSuffix

Class orbital.math.FactoryConfigurationError extends java.lang.Error implements Serializable

Class orbital.math.LUDecomposition extends java.lang.Object implements Serializable

serialVersionUID: 4112378842817846198L

Serialized Fields

A

Matrix A

decomposition data, contains lower triangular as well as upper triangular.

P

Matrix P

permutation matrix.

sign

boolean sign

the sign of the permutation P. True if P is an even permutation, false if P is odd. The permutation is even if and only if an even number of pivotising swaps was done.

Package orbital.moon.awt

Class orbital.moon.awt.AppletFrame extends java.awt.Frame implements Serializable

Class orbital.moon.awt.DefaultCustomizer extends javax.swing.JPanel implements Serializable

Serialized Fields

beanClass

java.lang.Class beanClass

for which class this customizer is intended.

beanProperties

java.beans.PropertyDescriptor[] beanProperties

list of bean properties. same order as propertyEditors and propertyEditorComponents.

propertyEditors

java.beans.PropertyEditor[] propertyEditors

list of property editors for bean properties. same order as beanProperties.

propertyEditorComponents

java.awt.Component[] propertyEditorComponents

list of visual editor components for bean properties. same order as beanProperties.

bean

java.lang.Object bean

which bean to customize currently, as set in the last call to setObject(Object).

See Also:

DefaultCustomizer.getObject()

truncation

int truncation

maximum number of characters to display per default. Zero to disable truncation.

spacing

boolean spacing

whether or not to put spacing between property fields

propertyChangeListeners

java.beans.PropertyChangeSupport propertyChangeListeners

Package orbital.moon.evolutionary

Class orbital.moon.evolutionary.BreederControl extends javax.swing.JFrame implements Serializable

serialVersionUID: -4085070962882209628L

Serialized Fields

data

orbital.moon.evolutionary.PopulationTableModel data

custom

CustomizerViewController custom

closer

Closer closer

startTime

java.util.Date startTime

stopTime

java.util.Date stopTime

startGeneration

int startGeneration

menuBar1

javax.swing.JMenuBar menuBar1

menuPopulation

javax.swing.JMenu menuPopulation

menuGenome

javax.swing.JMenu menuGenome

menuHelpAbout

javax.swing.JMenuItem menuHelpAbout

statusBar

javax.swing.JLabel statusBar

borderLayout1

java.awt.BorderLayout borderLayout1

jMenuPopulationNew

javax.swing.JMenuItem jMenuPopulationNew

jMenuPopulationLoad

javax.swing.JMenuItem jMenuPopulationLoad

jMenuPopulationSave

javax.swing.JMenuItem jMenuPopulationSave

jMenuPopulationSaveAs

javax.swing.JMenuItem jMenuPopulationSaveAs

jMenuPopulationCreateAndGo

javax.swing.JMenuItem jMenuPopulationCreateAndGo

jMenuPopulationSwitchGAP

javax.swing.JMenuItem jMenuPopulationSwitchGAP

jMenuProperties

javax.swing.JMenuItem jMenuProperties

menuHelp

javax.swing.JMenu menuHelp

jMenuGenomeNew

javax.swing.JMenuItem jMenuGenomeNew

jMenuGenomeRemove

javax.swing.JMenuItem jMenuGenomeRemove

jMenuGenomeImport

javax.swing.JMenuItem jMenuGenomeImport

jMenuGenomeExport

javax.swing.JMenuItem jMenuGenomeExport

jMenuManipulate

javax.swing.JMenuItem jMenuManipulate

menuFileExit

javax.swing.JMenuItem menuFileExit

jMenuBreed

javax.swing.JMenu jMenuBreed

jMenuStart

javax.swing.JRadioButtonMenuItem jMenuStart

jMenuStop

javax.swing.JRadioButtonMenuItem jMenuStop

jMenuStatistics

javax.swing.JMenuItem jMenuStatistics

jMenuBreedReevaluate

javax.swing.JMenuItem jMenuBreedReevaluate

jScrollPane1

javax.swing.JScrollPane jScrollPane1

jPopulationTable

javax.swing.JTable jPopulationTable

panel1

javax.swing.JPanel panel1

flowLayout1

java.awt.FlowLayout flowLayout1

jLabel1

javax.swing.JLabel jLabel1

tGeneration

javax.swing.JTextField tGeneration

jMenuOptions

javax.swing.JMenu jMenuOptions

jMenuOptionsSelector

javax.swing.JMenu jMenuOptionsSelector

jItemSelectors

javax.swing.ButtonGroup jItemSelectors

jRadioButtonMenuItemSelector

javax.swing.JRadioButtonMenuItem[] jRadioButtonMenuItemSelector

jMenuOptionsAlgorithmType

javax.swing.JMenu jMenuOptionsAlgorithmType

jItemAlgorithmTypes

javax.swing.ButtonGroup jItemAlgorithmTypes

jRadioButtonMenuItemAlgorithmType

javax.swing.JRadioButtonMenuItem[] jRadioButtonMenuItemAlgorithmType

file

java.io.File file

Current population file processed.

See Also:

BreederControl.ga

protocol

java.util.logging.Logger protocol

Protocol written for current population.

See Also:

BreederControl.ga, BreederControl.protocolHeader(GeneticAlgorithm), BreederControl.protocolHandler

protocolHandler

java.util.logging.Handler protocolHandler

Protocol handler for current population.

See Also:

BreederControl.protocol

problem

GeneticAlgorithmProblem problem

The current genetic algorithm problem to solve.

ga

GeneticAlgorithm ga

The current genetic algorithm.

breeding

java.lang.Thread breeding

Package orbital.moon.logic

Class orbital.moon.logic.ClassicalLogic.InferenceMechanism extends java.lang.Object implements Serializable

serialVersionUID: -3446080535669332735L

Serialization Methods

readResolve

java.lang.Object readResolve()
                       throws java.io.ObjectStreamException

Maintains the guarantee that there is only a single object representing each enum constant.

Serial Data:

canonicalized deserialization

Throws:

java.io.ObjectStreamException

Serialized Fields

name

java.lang.String name

the name to display for this enum value

ordinal

int ordinal

Assign an ordinal to this enum value

description

java.lang.String description

a description of this inference mechanism

Class orbital.moon.logic.FuzzyLogic.OperatorSet extends java.lang.Object implements Serializable

serialVersionUID: -3938437045097544303L

Serialization Methods

readResolve

private java.lang.Object readResolve()
                              throws java.io.ObjectStreamException

Maintains the guarantee that there is only a single object representing each enum constant.

Serial Data:

canonicalized deserialization

Throws:

java.io.ObjectStreamException

Serialized Fields

name

java.lang.String name

the name to display for this enum value

ordinal

int ordinal

Assign an ordinal to this enum value

Class orbital.moon.logic.ParseException extends java.lang.Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

java.lang.String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

java.lang.String eol

The end of line string for this machine.

Class orbital.moon.logic.TokenMgrError extends java.lang.Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Class orbital.moon.logic.UniqueSymbol extends SymbolBase implements Serializable

serialVersionUID: 6846367078565847459L

Package orbital.moon.logic.resolution

Class orbital.moon.logic.resolution.ClausalSetImpl extends java.util.LinkedHashSet implements Serializable

Class orbital.moon.logic.resolution.ClauseImpl extends java.util.LinkedHashSet implements Serializable

Class orbital.moon.logic.resolution.IndexedClausalSetImpl extends ClausalSetImpl implements Serializable

Serialized Fields

index

ClausalIndex index

The clause index mapping literals occurring in clauses of this set to the set of clauses where literals occur which are possible unifiables.

Class orbital.moon.logic.resolution.IndexedClauseImpl extends ClauseImpl implements Serializable

Serialized Fields

index

ClausalIndex index

The clause index mapping literals occurring in clauses of this set to the literals which are possible unifiables.

Attributes:

lazy-initialization in IndexedClauseImpl.getProbableUnifiables(Formula), thereafter update in all methods

Class orbital.moon.logic.resolution.OrderedClauseImpl extends IndexedClauseImpl implements Serializable

Serialized Fields

maximalElements

java.util.Set maximalElements

Caching getMaximalElements().

Attributes:

lazy-initialization in #getMaximalElements(), thereafter update in all methods

Package orbital.util

Class orbital.util.Activation extends java.lang.Throwable implements Serializable

Serialized Fields

caller

Activation caller

Contains the descendant Activation object that called this activation.

information

java.lang.Object information

Keeps information data to be handled for retrieval by creator.

Class orbital.util.DelegateCollection extends java.lang.Object implements Serializable

serialVersionUID: 5707149303394458449L

Serialized Fields

delegatee

java.util.Collection delegatee

Contains the delegatee Collection to which operations are be delegated.

serialization of the collection delegated to.

Class orbital.util.DelegateIterator extends java.lang.Object implements Serializable

Serialized Fields

delegatee

java.util.Iterator delegatee

Contains the delegatee Iterator to which operations are be delegated.

serialization of the collection delegated to.

Class orbital.util.DelegateList extends DelegateCollection implements Serializable

serialVersionUID: 6248806460318686880L

Class orbital.util.DelegateListIterator extends DelegateIterator implements Serializable

Class orbital.util.DelegateMap extends java.lang.Object implements Serializable

serialVersionUID: -2676126214337402972L

Serialized Fields

delegatee

java.util.Map delegatee

Contains the delegatee map to which operations are be delegated.

serialization of the map delegated to.

Class orbital.util.DelegateSet extends DelegateCollection implements Serializable

serialVersionUID: -1014157577972565745L

Class orbital.util.DelegateSortedSet extends DelegateSet implements Serializable

serialVersionUID: 1729676522058590201L

Class orbital.util.GeneralComplexionException extends java.lang.UnknownError implements Serializable

Class orbital.util.IncomparableException extends java.lang.IllegalArgumentException implements Serializable

Serialized Fields

incomparableObjects

java.lang.Object[] incomparableObjects

Class orbital.util.InnerCheckedException extends java.lang.RuntimeException implements Serializable

Serialized Fields

nested

java.lang.Throwable nested

nested inner exception that is checked and therefore cannot be thrown directly.

Class orbital.util.KeyValuePair extends java.lang.Object implements Serializable

serialVersionUID: 5966210221949749252L

Serialized Fields

key

java.lang.Object key

The key for this pair.

value

java.lang.Object value

The value of this pair.

Class orbital.util.NotIteratableException extends java.lang.ClassCastException implements Serializable

Class orbital.util.Oops extends java.lang.UnknownError implements Serializable

Class orbital.util.OutOfCheeseError extends java.lang.UnknownError implements Serializable

Class orbital.util.Pair extends java.lang.Object implements Serializable

serialVersionUID: 9024808570172404957L

Serialized Fields

A

java.lang.Object A

B

java.lang.Object B

Class orbital.util.QueuedIterator extends DelegateList implements Serializable

Class orbital.util.QueuedSequenceIterator extends java.lang.Object implements Serializable

Serialized Fields

iterators

java.util.List iterators

The list of iterators whose elements we return.

this class is serializable if and only if all its content iterators are serializable.

current

java.util.Iterator current

The current iterator in iterators whose elements we return.

lastUsed

java.util.Iterator lastUsed

The iterator in iterators used to return the last element.

Class orbital.util.ReverseComparator extends java.lang.Object implements Serializable

serialVersionUID: -9160553140712258086L

Serialized Fields

inner

java.util.Comparator inner

Contains the Comparator to be inverted, or null if the objects Comparable implementation should be used, instead.

Class orbital.util.SequenceIterator extends java.lang.Object implements Serializable

serialVersionUID: -5334957890325354979L

Serialized Fields

iterators

java.util.Iterator iterators

The iterator over the iterators whose elements we return.

this class is serializable if and only if all its content iterators are serializable.

current

java.util.Iterator current

The current iterator in iterators whose elements we return.

Class orbital.util.SuspiciousError extends java.lang.InternalError implements Serializable