コード例 #1
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_shr_addref(BVEC l, BVEC r, BDD c);
コード例 #2
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_sub_addref(BVEC left, BVEC right);
コード例 #3
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BDD bvec_neq_addref(BVEC left, BVEC right);
コード例 #4
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_shrfixed_addref(BVEC e, int pos, BDD c);
コード例 #5
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_mulfixed_addref(BVEC e, int c);
コード例 #6
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_ite_addref(BDD a, BVEC b, BVEC c);
コード例 #7
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_delref_addref(BVEC v);
コード例 #8
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_copy_addref(BVEC v);
コード例 #9
0
ファイル: BuDDySharpExt.cs プロジェクト: thisiscam/BuDDySharp 
 public static extern BVEC bvec_coerce_addref(int bitnum, BVEC v);