//forward solving
private static EqGoal InferSlope(this LineSymbol inputLineSymbol, string label)
{
var line = inputLineSymbol.Shape as Line;
Debug.Assert(line != null);
var goal = new EqGoal(new Var(label), line.Slope);
goal.Traces.AddRange(inputLineSymbol.Traces);
TraceInstructionalDesign.FromLineToSlope(inputLineSymbol, goal);
return(goal);
}
//backward solving
private static object InferSlope(this LineSymbol inputLineSymbol, double value)
{
return(TraceInstructionalDesign.FromLineToSlope(inputLineSymbol, value));
}