public override Vector <double> EvaluateConcrete(Vector <double> v) { var res = v.Map(x => Active(x)? x : 0.0); if (Utils.RobustnessOptions.ReLULogFile != "") { var disjunctionChoices = CreateDisjunctionChoices(v); Instrumentation.LogDisjunctionChoices(Utils.RobustnessOptions.ReLULogFile, Index, disjunctionChoices); } return(res); }