Refactor Problem/Encoding

[abeham]

• Merge HeuristicOptimizationProblem with BasicProblem
• Translate Scheduling/ScheduleEncoding
• Unify structure of Encodings
• Decouple Solutions from ValueTypeArrays (e.g. IntVector subclass IntArray)
• Type generation of generic types with reference between the type constraints fails
• SingleObjectiveProgrammableProblemView -> ProgrammableProblemView
• Swap TSolution and TEncoding
• Introduce new parameter type that can look up problems and algorithms
• Rename ISolution to IEncodedSolution
• Make operators (SingleObjectiveAnalyzer<TSolution>, ...) internal
• Introduce SolutionParameter in ISolutionCreator<TSolution>
  • Create new interface that specifies solution parameter
  • Adapt all operators to this interface
• Make ISingleObjectiveOperaotr a meaningful interface and adapt all operators
  • Same for IMultiObjectiveOperator
• Adapt unit tests

To discuss:

• 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.

[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.