本文整理汇总了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;
}
}