C# (CSharp) Jhu.Graywulf.SqlParser.LogicalExpressions CnfConverterの例

コード例 #1

        private LogicalExpressions.Expression GetConjunctiveNormalForm(SearchCondition sc)
        {
            var exp = sc.GetExpressionTree();
            var cnf = new LogicalExpressions.CnfConverter();

            return(cnf.Visit(exp));
        }

コード例 #2

ファイル: SearchConditionNormalizer.cs プロジェクト: skyquery/graywulf

 private LogicalExpressions.Expression GetConjunctiveNormalForm(SearchCondition sc)
 {
     var exp = sc.GetExpressionTree();
     var cnf = new LogicalExpressions.CnfConverter();
     return cnf.Visit(exp);
 }

コード例 #3

ファイル: CnfConverterTest.cs プロジェクト: skyquery/graywulf

 private string VisitTestHelper(string sql)
 {
     var cnf = new LogicalExpressions.CnfConverter();
     return cnf.Visit(GetSearchCondition(sql).GetExpressionTree()).ToString();
 }