本文整理匯總了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;
}
}