//-----------------------------------------------------------------------------------
// 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;
}
