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