当前位置: 首页>>代码示例>>C#>>正文


C# Expr.Equals方法代码示例

本文整理汇总了C#中Microsoft.Z3.Expr.Equals方法的典型用法代码示例。如果您正苦于以下问题:C# Expr.Equals方法的具体用法?C# Expr.Equals怎么用?C# Expr.Equals使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在Microsoft.Z3.Expr的用法示例。


在下文中一共展示了Expr.Equals方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C#代码示例。

示例1: IsCocreteCharacterList

        bool IsCocreteCharacterList(Expr term, out string str)
        {
            if (charSort == null)
            {
                str = null;
                return false;
            }

            Sort StringSort = z3p.GetSort(term);

            if (!(StringSort.Name.ToString().Equals("List") &&
                  z3p.GetElemSort(StringSort).Equals(charSort)))
            {
                str = null;
                return false;
            }

            Expr EmptyString = z3p.GetNil(StringSort);

            if (term.Equals(EmptyString))
            {
                str = "nil";
                return true;
            }

            string res = "\"";
            var curr = term;
            while (z3p.GetAppDecl(curr).Equals(z3p.GetCons(StringSort)))
            {
                var first = z3p.GetAppArgs(curr)[0];
                var elemKind = first.ASTKind;
                var rest = z3p.GetAppArgs(curr)[1];
                if (!elemKind.Equals(Z3_ast_kind.Z3_NUMERAL_AST) ||
                    !(rest.Equals(EmptyString) ||
                      (rest.ASTKind == Z3_ast_kind.Z3_APP_AST &&
                       z3p.GetAppDecl(rest).Equals(z3p.GetCons(StringSort)))))
                {
                    str = null;
                    return false;
                }
                else
                {
                    char c = (char)z3p.GetNumeralUInt(first);
                    res += Rex.RexEngine.Escape(c);
                }
                curr = z3p.GetAppArgs(curr)[1];
            }
            if (curr.Equals(z3p.GetNil(StringSort)))
            {
                str = res + "\"";
                return true;
            }
            else
            {
                str = null;
                return false;
            }
        }
开发者ID:AutomataDotNet,项目名称:Automata,代码行数:58,代码来源:TermPrettyPrinter.cs


注:本文中的Microsoft.Z3.Expr.Equals方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。