0
私はExpr型にキャストする必要がある文字列変数を持っています。私はZ3 .Net APIを使用しています。これは可能ですか?.NET APIの文字列をZ3.exprにキャスト
編集
List<Node<string>> lChildren = new List<Node<string>>();
//...
switch (pNode.Data)
{
//...
case ">=":
{
lResult = lZ3Solver.GreaterOrEqualOperator(
lChildren[0].Data,
int.Parse(lChildren[1].Data)
);
GreaterOrEqualOperator
の最初の引数の型Expr
です。この場合、現在の文字列型をExpr型にキャストする必要があります。 ctx
をContext
とsort
ある
関連するコードセクションを投稿する必要があります – Rahul
リスト> lChildren = new List >(); ...スイッチ(pNode.Data) {\t ...ケース "> =" \t \t { \t \t \t LRESULT = lZ3Solver.GreaterOrEqualOperator(lChildren [0] .DATA、int.Parse(lChildren [1] .Data)); \t \t \t 'GreaterOrEqualOperator'の最初の引数は、タイプがExprです。この場合、現在の文字列型をExpr型にキャストする必要があります。 –
OPの質問にコメントを移動します。 – s952163