//----------------------------------------------------------------------------------- // Goals //----------------------------------------------------------------------------------- public void NoteMinimizeGoal(Distiller distiller, NadirAST functionNode, List<object> actuals) { this.MinimizationGoals.Add(new MinimizationGoal(distiller, functionNode, actuals)); }
public MinimizationGoal(Distiller distiller, NadirAST functionNode, List<object> actuals) { this.Distiller = distiller; this.FunctionNode = functionNode; this.Actuals = actuals; }
//----------------------------------------------------- public SequenceDesigner Design(NadirContext context, object distillationResult, IScorePrinter printOutput, bool actuallyDesign) { string designerName = this.globalToDesign; if ("" == designerName) { // If there's a defined designer, then use that one! // foreach (NadirAST global in ((NadirAST)parseResult).NadirChildren) { if (global.Type == NadirParser.SeqDesignerDef) { designerName = global.Symbol.Name; break; } } } Distiller distiller = new Distiller(context); SequenceDesigner sequenceDesigner = distiller.SequenceDesign(context, distillationResult, designerName, printOutput, actuallyDesign); return sequenceDesigner; }
//----------------------------------------------------------------------------------- // Construction //----------------------------------------------------------------------------------- public DistillationContext(NadirContext context, Distiller distiller) { this.NadirContext = context; this.Distiller = distiller; this.mpIdListToIdInfo = new Dictionary<List<int>,IdInfo>(ListIntEqualitor); }
//----------------------------------------------------- object Distill(NadirContext context, string nameOfGlobal) { Distiller distiller = new Distiller(context, true); object result = distiller.Distill(nameOfGlobal); return result; }