Refactor Problem/Encoding

[abeham]

• SingleObjective- & MultiObjectiveProblem introduce virtual member calls in their ctor to get the Maximization value, which poses a problem as the value might not be known at this time
• Return additional data from Evaluate (see discussion in #2774)
• Decouple Solutions from ValueTypeArrays (e.g. IntVector subclass IntArray)
• Change ExternalEvaluation to work similar to ProgrammableProblems
• Introduce new parameter type that can look up problems and algorithms
• Introduce SolutionParameter in ISolutionCreator<TSolution>
  • Create new interface that specifies solution parameter
  • Adapt all operators to this interface
• Adapt unit tests
• Cancellation token in Evaluate function of Problems
• Introduce base problems for each encoding

Refactoring of Plugins

• HL.Problems.BinPacking
• HL.Problems.GraphColoring abeham
• HL.Problems.PTSP
• HL.Problems.Scheduling
• HL.Problems.TestFunctions.MultiObjective mkommend
• HL.Problems.GrammaticalEvolution.DataAnalysis

• HL.Algorithms.MOCMAEvolutionStrategy

Compare with trunk:

• Knapsack Problem - Hamming Similartiy Calculator
• QAP
• External Evaluation
• P3 EvaluationTracker
• PSOSwarmUpdater & Initializer Boundsparameter

To discuss:

• Merge HeuristicOptimizationProblem with BasicProblem
  • Add new() constraint on TEncoding and TSolution of the Problem classes to forbid the creation of a Problem with abstract or not instantiable type parameters.
  • Provide specialized code templates, which are compiled, for programmable problems (e.g. BinaryProblem that configures the bounds correctly)
  • Change name of result for best scope solution analyzer due to name clashes with programmable problems' analyze method.
  • Unify structure of Encodings
  • Make ISingleObjectiveOperator a meaningful interface and adapt all operators
    • Same for IMultiObjectiveOperator
  • AckleyEvaluator change from evaluator to problem? stays the storable type GUID the same
• Type generation of generic types with reference between the type constraints fails (e.g. set Encoding in ExternalEvaluation)

[mkommend]

r13327: Branched whole trunk for problem refactoring.

[mkommend]

r13330: Deleted wrongly created for problem refactoring.

[mkommend]

r13331: Branched trunk/sources for problem refactoring.

[mkommend]

r13336: Refactored encodings and problems.

[mkommend]

r13337: Added new class for problem refactoring.

[mkommend]

r13339: Rectored problems and encodings.

[mkommend]

r13345: refactored programmable problem

[mkommend]

r13348: Refactored single-objective programmable problem.

[abeham]

r13351: Adapted multi-encoding for new infrastructure

TODO: Evaluator, Analyzer, ... need to be copied

[abeham]

r13356: working on multi-encoding

[abeham]

r13357: changed solution name of combined encoding

[abeham]

r13359: worked on multi-encoding (it works again). Some issues are still present:

• The programmable template needs to be slightly updated for multi-encoding
• The encoding is recreated every time it is compiled making it impossible to configure operators

[mkommend]

r13350: Adapted multi-objective programmable problem. r13361: Adapted real vector encoding, test function problems, P3, CMA-ES and optimization.

[mkommend]

r13362: Forgot to commit IMultiObjectiveProblem.

[mkommend]

r13364: Refactored IntegerVectorEncoding, KnapsackProblem, and P3.

[abeham]

r13365: fixed recreation of programmable problem's encoding

[mkommend]

r13366: Adapted PermutationEncoding and TSP.

[mkommend]

r13372: Fixed all problems.

[abeham]

r13373: adapted templates, fixed missing reference in outdated plugin lawnmower

[abeham]

r13374: removed obsolete file

[abeham]

r13376: working on refactoring

[mkommend]

r13377: Added missing interfaces to problems.

[abeham]

r13380: updated categories, template

[abeham]

r13382: added default ctor to SymbolicExpressionTreeEncoding (otherwise the parameter in Problem<..> cannot create it)

[abeham]

r13385: fixed plugin dependencies and updated samples

[abeham]

r13388:

• Readded excluded views
• Removed ProblemInstanceProviderView which was not referenced in the project file
• Fixed plugin dependency

[abeham]

r13390: fixed template and bug in programmable problem with multi encoding

[abeham]

r13396:

• Refactored QuadraticAssignmentProblem to use new SingleObjectiveProblem
  • Removed QAPEvaluator
  • Adapted RobustTabooSearch
• Introduced several interfaces in PermutationEncoding necessary for wiring
• Changed all Encodings to use IItem instead of IOperator in ConfigureOperators (name still unchanged)
• Added a protected MaximizationParameter property in SingleObjectiveProblem (necessary for wiring)
• Changed AlleleFrequencyAnalyzer to use ISolution interface instead of IItem
• Added a comment to ISolutionCreator<TSolution> of some changes that would be welcomed

[abeham]

r13403:

• Adapted single-objective test function problem to new problem infrastructure
• Added additional interfaces to RealVectorEncoding
• Fixed IParticleUpdater interface (must implement IStochasticOperator if it contains a Random parameter)

[abeham]

I'd like to suggest that we swap the generic type parameters from Problem<TEncoding, TSolution> to Problem<TSolution, TEncoding>. The reason is that TSolution is limiting TEncoding and not vice versa. It feels strange to write the more limiting generic type parameter first.

[abeham]

r13404:

• Adapted Knapsack problem to new problem infrastructure
• Introduced additional interfaces in binary vector encoding
• Improved KnapsackImprovementOperator which requires less evaluated solutions in case of an infeasible start solution

Loosely related change:

• All LookupParameters are now shown by default
• Wiring code should make sure that wired parameters are hidden

[abeham]

r13405: Implemented SchafferF6 test function

[mkommend]

r13408: Adapted unit tests in problem refactoring branch.

All compile, some fail:

• SA Rastrigin example (missing move evaluators?)
• LS Knapsack example

[mkommend]

r13422: Adapted type discovery and type selector to allow the creation of generic programmable problems.

[mkommend]

r13435: Intermediate version of schedule encoding refactoring.

[mkommend]

r13436: Minor improvements in SchedulingEncoding.

[mkommend]

r13437: Added encodings for schedules.

[mkommend]

r13443: Adapted decoders for SchedulingProblem.

[pfleck]

r13449

• Replaced JSMDecodingErrorPolicy and JSMForcingStrategy with EnumValues.
• Removed obsolete views for the scheduling enums.

[mkommend]

r13469: Refactored problem base classes and adapted scheduling encoding, scheduling problem and unit tests.

[abeham]

r14684: added clean script

[abeham]

r15697: renamed branch according to guidelines

[abeham]

r16532: reverted r14429

[abeham]

r16692: merged trunk changes up to r15681 into branch (removal of trunk/sources)

[abeham]

r16723: merged changes from r15684 to trunk HEAD (r16716) and resolved all merge conflicts

• it doesn't build

[mkommend]

r16724: Corrected compilation errors in some projects.

[abeham]

r16725:

• Adapt Encodings.ScheduleEncoding to new persistence
• Adapt Problems.Programmable to new persistence

[abeham]

r16726: fixed single-objective test functions

[abeham]

r16749: fixed RealVectorEncoding

[mkommend]

r16750: Renamed SingleObjectiveProgrammableProblemView to ProgrammableProblemView.

[mkommend]

r16751: Renamed Solution to EncodedSolution.

[abeham]

r16752: added comment to P3

• removed todos from EvaluationServiceClientView

[mkommend]

r16753: Made basic problem specific operators internal and sealed.

[abeham]

r16767: Adapted graph coloring problem

[mkommend]

r16801: Merged trunk changes and adapted programmable problem templates for combined solutions.

[mkommend]

r16806: Added StorableType attributes to interfaces and adapted basic problems.
r16807: Adapted test functions to new architecture and partly MOCMAES.

[mkommend]

r16808: Added StorableType to FitnessFunction enum of GraphColoringProblem.

[abeham]

r16811: Removed usage of default constructor

[abeham]

r16812: fixed naming