source: trunk/sources/HeuristicLab.Evolutionary/3.2/SubScopesStorer.cs @ 3494

#region License Information
/* HeuristicLab
 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
 *
 * This file is part of HeuristicLab.
 *
 * HeuristicLab is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * HeuristicLab is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
 */
#endregion

using System;
using System.Collections.Generic;
using System.Text;
using HeuristicLab.Core;
using HeuristicLab.Data;
using HeuristicLab.Operators;

namespace HeuristicLab.Evolutionary {
  /// <summary>
  /// Stores the sub scopes of the right sub scope until enough newly created child scopes are available
  /// (for example to replace a generation).
  /// </summary>
  public class SubScopesStorer : OperatorBase {
    /// <inheritdoc select="summary"/>
    public override string Description {
      get { return @"TODO\r\nOperator description still missing ..."; }
    }

    /// <summary>
    /// Initializes a new instance of <see cref="SubScopesStorer"/> with two variable infos 
    /// (<c>SubScopes</c> and <c>SubScopesStore</c>).
    /// </summary>
    public SubScopesStorer()
      : base() {
      AddVariableInfo(new VariableInfo("SubScopes", "Number of sub-scopes that should be available", typeof(IntData), VariableKind.In));
      AddVariableInfo(new VariableInfo("SubScopesStore", "Temporarily stored sub-scopes", typeof(ItemList<IScope>), VariableKind.New | VariableKind.In | VariableKind.Out | VariableKind.Deleted));
    }

    /// <summary>
    /// Stores all sub scopes of the right branch to get the required number of sub scopes. Shifts the left
    /// branch one level up, if sub scopes are still missing (so that another selection and mutation circle
    /// can take place). 
    /// </summary>
    /// <param name="scope">The current scope whose sub scopes to store.</param>
    /// <returns><c>null</c> if the required number of sub scopes is available, the next 
    /// <see cref="AtomicOperation"/> if sub scopes are still missing.</returns>
    public override IOperation Apply(IScope scope) {
      IntData subScopes = GetVariableValue<IntData>("SubScopes", scope, true);
      ItemList<IScope> subScopesStore = GetVariableValue<ItemList<IScope>>("SubScopesStore", scope, false);

      if (subScopesStore == null) {
        subScopesStore = new ItemList<IScope>();
        IVariableInfo info = GetVariableInfo("SubScopesStore");
        if (info.Local)
          AddVariable(new Variable(info.ActualName, subScopesStore));
        else
          scope.AddVariable(new Variable(scope.TranslateName(info.FormalName), subScopesStore));
      }

      IScope left = scope.SubScopes[0];
      IScope right = scope.SubScopes[1];

      if (right.SubScopes.Count + subScopesStore.Count
          >= subScopes.Data) {  // enough sub-scopes available
        // restore sub-scopes
        for (int i = 0; i < subScopesStore.Count; i++) {
          right.AddSubScope(subScopesStore[i]);
          IVariableInfo info = GetVariableInfo("SubScopesStore");
          if (info.Local)
            RemoveVariable(info.ActualName);
          else
            scope.RemoveVariable(scope.TranslateName(info.FormalName));
        }
        return null;
      } else {  // not enough sub-scopes available
        // store sub-scopes
        for (int i = 0; i < right.SubScopes.Count; i++) {
          IScope s = right.SubScopes[0];
          right.RemoveSubScope(s);
          subScopesStore.Add(s);
        }

        // shift left on level up
        scope.RemoveSubScope(right);
        scope.RemoveSubScope(left);
        for (int i = 0; i < left.SubScopes.Count; i++)
          scope.AddSubScope(left.SubScopes[i]);

        return new AtomicOperation(SubOperators[0], scope);
      }
    }
  }
}