Changeset 10335 for branches/HeuristicLab.Problems.GPDL/CodeGenerator/ProblemCodeGen.cs

Timestamp:

01/14/14 12:40:26 (11 years ago)

Author:

gkronber

Message:

#2026 worked on code generator for random search (work in progress commit)

File:

• branches/HeuristicLab.Problems.GPDL/CodeGenerator/ProblemCodeGen.cs (modified) (11 diffs)

branches/HeuristicLab.Problems.GPDL/CodeGenerator/ProblemCodeGen.cs

@@ -18 +18 @@
     private const string problemTemplate = @"
 namespace ?PROBLEMNAME? {
-  public interface IGpdlProblem {
-    int GetCardinality(string terminalSymbol, string attribute);
-  }
+
+  // generic interface for communication from problem interpretation to solver
   public interface ISolverState {
     void Reset();
-    int PeekNextAlternative();
-    void Follow(int idx);
-    void Unwind();
+    int PeekNextAlternative(); // in alternative nodes returns the index of the alternative that should be followed
+    void Follow(int idx); // next: derive the NT symbol with index=idx;
+    void Unwind(); // finished with deriving the NT symbol
   }
 
-  public sealed class ?IDENT?Problem : IGpdlProblem {
+  public sealed class ?IDENT?Problem {
    
-   private readonly Dictionary<string, Dictionary<string, int>> cardinalities = new Dictionary<string, Dictionary<string, int>>();
    public ?IDENT?Problem() { 
       Initialize();
-
-?CONSTRUCTORSOURCE?
-
     }    
 
     private void Initialize() {
+      // the following is the source code from the INIT section of the problem definition 
+#region INIT section
 ?INITSOURCE?
+#endregion
     }
 
@@ -45 +43 @@
     public double Evaluate(ISolverState _state) {
       this._state = _state;
+#region objective function (MINIMIZE / MAXIMIZE section)
 ?FITNESSFUNCTION?
-    }
-
+#endregion
+    }
+
+// additional code from the problem definition (CODE section)
+#region additional code
 ?ADDITIONALCODE?
-
+#endregion
+
+#region generated source for interpretation
 ?INTERPRETERSOURCE?
-
+#endregion
+
+#region generated code for the constraints for terminals
 ?CONSTRAINTSSOURCE?
-
-    public int GetCardinality(string terminal, string attribute) {
-      return cardinalities[terminal][attribute];
-    }
+#endregion
   }
 }";
@@ -76 +79 @@
         .Replace("?IDENT?", ast.Name);
 
-
       // write the source file to disk
       using (var stream = new StreamWriter(ast.Name + ".cs")) {
@@ -88 +90 @@
         .AppendLine(problemTemplate)
         .Replace("?FITNESSFUNCTION?", ast.FitnessFunctionNode.SrcCode)
-        .Replace("?CONSTRUCTORSOURCE?", GenerateConstructorSource(ast))
         .Replace("?INITSOURCE?", ast.InitCodeNode.SrcCode)
         .Replace("?ADDITIONALCODE?", ast.ClassCodeNode.SrcCode)
@@ -99 +100 @@
       var grammar = CreateGrammarFromAst(ast);
       var randomSearchCodeGen = new RandomSearchCodeGen();
-      randomSearchCodeGen.Generate(grammar, ast.FitnessFunctionNode.Maximization, ast.Terminals, solverSourceCode);
+      randomSearchCodeGen.Generate(grammar, ast.Terminals.OfType<TerminalNode>(), ast.FitnessFunctionNode.Maximization, solverSourceCode);
+      //var bruteForceSearchCodeGen = new BruteForceCodeGen();
+      //bruteForceSearchCodeGen.Generate(grammar, ast.FitnessFunctionNode.Maximization, solverSourceCode);
     }
 
     #region create grammar instance from AST
+    // should be refactored so that we can directly query the AST
     private AttributedGrammar CreateGrammarFromAst(GPDefNode ast) {
 
@@ -131 +135 @@
     private IEnumerable<IAttribute> GetSymbolAttributes(string formalParameters) {
       return (from fieldDef in Util.ExtractParameters(formalParameters)
-              select new Attribute(fieldDef.Identifier, fieldDef.Type, AttributeType.Parse(fieldDef.RefOrOut))).
-        ToList();
+              select new Attribute(fieldDef.Identifier, fieldDef.Type, AttributeType.Parse(fieldDef.RefOrOut)))
+              .ToList();
     }
 
@@ -178 +182 @@
           sb.AppendFormat("public {0} GetMax{1}_{2}() {{ return {3}; }}", fieldType, t.Ident, c.Ident, c.RangeMaxExpression).AppendLine();
           sb.AppendFormat("public {0} GetMin{1}_{2}() {{ return {3}; }}", fieldType, t.Ident, c.Ident, c.RangeMinExpression).AppendLine();
-          // sb.AppendFormat("public {0} Get{1}_{2}(ISolverState _state) {{ return _state.random.NextDouble() * (GetMax{1}_{2}() - GetMin{1}_{2}()) + GetMin{1}_{2}(); }}", fieldType, t.Ident, c.Ident).AppendLine();
-          sb.AppendFormat("public {0} Get{1}_{2}(ISolverState _state) {{ throw new NotSupportedException(\"range constraints for terminals are not supported.\"); }}", fieldType, t.Ident, c.Ident).AppendLine();
+          //sb.AppendFormat("public {0} Get{1}_{2}(ISolverState _state) {{ _state. }}", fieldType, t.Ident, c.Ident, )
         } else if (c.Type == ConstraintNodeType.Set) {
           sb.AppendFormat("public IEnumerable<{0}> GetAllowed{1}_{2}() {{ return {3}; }}", fieldType, t.Ident, c.Ident, c.SetExpression).AppendLine();
-          sb.AppendFormat("private readonly {0}[] values_{1}_{2};", fieldType, t.Ident, c.Ident).AppendLine();
-          sb.AppendFormat("public {0} Get{1}_{2}(ISolverState _state) {{ return values_{1}_{2}[_state.PeekNextAlternative()]; }}", fieldType, t.Ident, c.Ident).AppendLine();
-        }
-      }
-    }
-    private string GenerateConstructorSource(GPDefNode ast) {
-      var sb = new SourceBuilder();
-      // generate code to initialize the tables for terminals
-      foreach (var t in ast.Terminals.OfType<TerminalNode>()) {
-        if (t.Constraints.Any()) {
-          foreach (var constraint in t.Constraints) {
-            sb.AppendFormat("values_{0}_{1} = GetAllowed{0}_{1}().ToArray();", t.Ident, constraint.Ident);
-          }
-          sb.AppendFormat("cardinalities[\"{0}\"] = new Dictionary<string, int>() {{ ", t.Ident);
-          foreach (var constraint in t.Constraints) {
-            sb.AppendFormat("{{ \"{1}\", values_{0}_{1}.Length }}, ", t.Ident, constraint.Ident);
-          }
-          sb.Append("};").AppendLine();
-        }
-      }
-      return sb.ToString();
-    }
-
-
+        }
+      }
+    }
     #endregion
 
     private string GenerateInterpreterSource(AttributedGrammar grammar) {
       var sb = new SourceBuilder();
+      GenerateInterpreterStart(grammar, sb);
 
       // generate methods for all nonterminals and terminals using the grammar instance
@@ -221 +204 @@
     }
 
+    private void GenerateInterpreterStart(AttributedGrammar grammar, SourceBuilder sb) {
+      var s = grammar.StartSymbol;
+      // create the method which can be called from the fitness function
+      if (!s.Attributes.Any())
+        sb.AppendFormat("private void {0}() {{", s.Name).BeginBlock();
+      else
+        sb.AppendFormat("private void {0}({1}) {{", s.Name, s.GetAttributeString()).BeginBlock();
+
+      // get formal parameters of start symbol
+      var attr = s.Attributes;
+
+      // actual parameter are the same as formalparameter only without type identifier
+      string actualParameter;
+      if (attr.Any())
+        actualParameter = attr.Skip(1).Aggregate(attr.First().AttributeType + " " + attr.First().Name, (str, a) => str + ", " + a.AttributeType + " " + a.Name);
+      else
+        actualParameter = string.Empty;
+      sb.AppendLine("_state.Reset();");
+      sb.AppendFormat("{0}(_state, {1});", s.Name, actualParameter).AppendLine();
+      sb.AppendLine("}").EndBlock();
+    }
+
     private void GenerateInterpreterMethod(AttributedGrammar g, ISymbol s, SourceBuilder sb) {
-      // if this is the start symbol we additionally have to create the method which can be called from the fitness function
-      if (g.StartSymbol.Equals(s)) {
-        if (!s.Attributes.Any())
-          sb.AppendFormat("private void {0}() {{", s.Name).BeginBlock();
-        else
-          sb.AppendFormat("private void {0}({1}) {{", s.Name, s.GetAttributeString()).BeginBlock();
-
-        // get formal parameters of start symbol
-        var attr = g.StartSymbol.Attributes;
-
-        // actual parameter are the same as formalparameter only without type identifier
-        string actualParameter;
-        if (attr.Any())
-          actualParameter = attr.Skip(1).Aggregate(attr.First().AttributeType + " " + attr.First().Name, (str, a) => str + ", " + a.AttributeType + " " + a.Name);
-        else
-          actualParameter = string.Empty;
-        sb.AppendLine("_state.Reset();");
-        sb.AppendFormat("{0}(_state, {1});", g.StartSymbol.Name, actualParameter).AppendLine();
-        sb.AppendLine("}").EndBlock();
-      }
-
       if (!s.Attributes.Any())
         sb.AppendFormat("private void {0}(ISolverState _state) {{", s.Name).BeginBlock();
@@ -272 +256 @@
         sb.AppendFormat("case {0}: {{ ", i).BeginBlock();
 
-        // this only works for alternatives with a single non-terminal symbol (ignoring semantic symbols) so far!
+        // this only works for alternatives with a single non-terminal symbol (ignoring semantic symbols)!
         // a way to handle this is through grammar transformation (the examplary grammars all have the correct from)
         Debug.Assert(alt.Count(symb => !(symb is SemanticSymbol)) == 1);
@@ -295 +279 @@
     }
 
-    private string GenerateTerminalInterpreterMethod(ISymbol s, SourceBuilder sb) {
+    private void GenerateTerminalInterpreterMethod(ISymbol s, SourceBuilder sb) {
       // if the terminal symbol has attributes then we must samples values for these attributes
       if (!s.Attributes.Any())
@@ -310 +294 @@
       }
       sb.Append("}").EndBlock();
-      return sb.ToString();
     }
   }