モデル オブジェクトを使用する場合func_decl get_func_decl (unsigned i)、特定の関数 (変数) に割り当てられた値を取得するために呼び出します。私が抱えている問題は、その出力（func_decl）を取得して に変換することintです。
たとえば、モデルが の場合、これら 3 つの変数 ( 、および){x |-> 4, y |-> 12, z |-> 6}の実際の値を取得したいと考えています。int4126
質問する
600 次