Microsoft.Automata.Internal.Utilities.HelperPredicates.GenerateCodeForBDD C# (CSharp) Method

GenerateCodeForBDD() private static method

private static GenerateCodeForBDD ( StringBuilder code, BDD pred, string methid ) : void
code StringBuilder
pred BDD
methid string
return void
        private static void GenerateCodeForBDD(StringBuilder code, BDD pred, string methid)
        {
            code.Append(string.Format("return {0};", RangesToCode(pred.ToRanges())));
        }