soot.jbuddy
Class JBuddy
java.lang.Object
|
+--soot.jbuddy.JBuddy
- public class JBuddy
- extends java.lang.Object
Method Summary |
static int |
bdd_addref(int jarg1)
|
static int |
bdd_addvarblock(int jarg1,
int jarg2)
|
static void |
bdd_allsat(int jarg1,
long jarg2)
|
static int |
bdd_and(int jarg1,
int jarg2)
|
static int |
bdd_anodecount(long jarg1,
int jarg2)
|
static int |
bdd_appall(int jarg1,
int jarg2,
int jarg3,
int jarg4)
|
static int |
bdd_appex(int jarg1,
int jarg2,
int jarg3,
int jarg4)
|
static int |
bdd_apply(int jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_appuni(int jarg1,
int jarg2,
int jarg3,
int jarg4)
|
static int |
bdd_autoreorder_times(int jarg1,
int jarg2)
|
static int |
bdd_autoreorder(int jarg1)
|
static int |
bdd_biimp(int jarg1,
int jarg2)
|
static long |
bdd_blockfile_hook(long jarg1)
|
static int |
bdd_buildcube(int jarg1,
int jarg2,
long jarg3)
|
static void |
bdd_cachestats(long jarg1)
|
static void |
bdd_clear_error()
|
static void |
bdd_clrvarblocks()
|
static int |
bdd_compose(int jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_constrain(int jarg1,
int jarg2)
|
static void |
bdd_default_errhandler(int jarg1)
|
static void |
bdd_default_gbchandler(int jarg1,
long jarg2)
|
static void |
bdd_default_reohandler(int jarg1)
|
static int |
bdd_delref(int jarg1)
|
static void |
bdd_disable_reorder()
|
static void |
bdd_done()
|
static void |
bdd_enable_reorder()
|
static long |
bdd_error_hook(long jarg1)
|
static java.lang.String |
bdd_errstring(int jarg1)
|
static int |
bdd_exist(int jarg1,
int jarg2)
|
static int |
bdd_extvarnum(int jarg1)
|
static int |
bdd_false()
|
static long |
bdd_file_hook(long jarg1)
|
static int |
bdd_fnload(java.lang.String jarg1,
long jarg2)
|
static int |
bdd_fnprintdot(java.lang.String jarg1,
int jarg2)
|
static int |
bdd_fnsave(java.lang.String jarg1,
int jarg2)
|
static int |
bdd_forall(int jarg1,
int jarg2)
|
static void |
bdd_fprintall(long jarg1)
|
static void |
bdd_fprintdot(long jarg1,
int jarg2)
|
static void |
bdd_fprintorder(long jarg1)
|
static void |
bdd_fprintset(long jarg1,
int jarg2)
|
static void |
bdd_fprintstat(long jarg1)
|
static void |
bdd_fprinttable(long jarg1,
int jarg2)
|
static void |
bdd_freepair(long jarg1)
|
static int |
bdd_fullsatone(int jarg1)
|
static long |
bdd_gbc_hook(long jarg1)
|
static void |
bdd_gbc()
|
static int |
bdd_getallocnum()
|
static int |
bdd_getnodenum()
|
static int |
bdd_getreorder_method()
|
static int |
bdd_getreorder_times()
|
static int |
bdd_high(int jarg1)
|
static int |
bdd_ibuildcube(int jarg1,
int jarg2,
long jarg3)
|
static int |
bdd_imp(int jarg1,
int jarg2)
|
static int |
bdd_init(int jarg1,
int jarg2)
|
static int |
bdd_intaddvarblock(int jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_isrunning()
|
static int |
bdd_ite(int jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_ithvar(int jarg1)
|
static int |
bdd_level2var(int jarg1)
|
static int |
bdd_load(long jarg1,
long jarg2)
|
static int |
bdd_low(int jarg1)
|
static int |
bdd_makeset(long jarg1,
int jarg2)
|
static long |
bdd_newpair()
|
static int |
bdd_nithvar(int jarg1)
|
static int |
bdd_nodecount(int jarg1)
|
static int |
bdd_not(int jarg1)
|
static int |
bdd_or(int jarg1,
int jarg2)
|
static double |
bdd_pathcount(int jarg1)
|
static void |
bdd_printall()
|
static void |
bdd_printdot(int jarg1)
|
static void |
bdd_printorder()
|
static void |
bdd_printset(int jarg1)
|
static void |
bdd_printstat()
|
static void |
bdd_printtable(int jarg1)
|
static int |
bdd_reorder_gain()
|
static long |
bdd_reorder_hook(long jarg1)
|
static long |
bdd_reorder_probe(long jarg1)
|
static int |
bdd_reorder_verbose(int jarg1)
|
static void |
bdd_reorder(int jarg1)
|
static int |
bdd_replace(int jarg1,
long jarg2)
|
static void |
bdd_resetpair(long jarg1)
|
static long |
bdd_resize_hook(long jarg1)
|
static int |
bdd_restrict(int jarg1,
int jarg2)
|
static double |
bdd_satcount(int jarg1)
|
static double |
bdd_satcountln(int jarg1)
|
static double |
bdd_satcountlnset(int jarg1,
int jarg2)
|
static double |
bdd_satcountset(int jarg1,
int jarg2)
|
static int |
bdd_satone(int jarg1)
|
static int |
bdd_satoneset(int jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_save(long jarg1,
int jarg2)
|
static int |
bdd_scanset(int jarg1,
long jarg2,
long jarg3)
|
static int |
bdd_setbddpair(long jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_setbddpairs(long jarg1,
long jarg2,
long jarg3,
int jarg4)
|
static int |
bdd_setcacheratio(int jarg1)
|
static int |
bdd_setmaxincrease(int jarg1)
|
static int |
bdd_setmaxnodenum(int jarg1)
|
static int |
bdd_setminfreenodes(int jarg1)
|
static int |
bdd_setpair(long jarg1,
int jarg2,
int jarg3)
|
static int |
bdd_setpairs(long jarg1,
long jarg2,
long jarg3,
int jarg4)
|
static int |
bdd_setvarnum(int jarg1)
|
static void |
bdd_setvarorder(long jarg1)
|
static int |
bdd_simplify(int jarg1,
int jarg2)
|
static void |
bdd_stats(long jarg1)
|
static int |
bdd_support(int jarg1)
|
static int |
bdd_swapvar(int jarg1,
int jarg2)
|
static int |
bdd_true()
|
static int |
bdd_unique(int jarg1,
int jarg2)
|
static int |
bdd_var(int jarg1)
|
static int |
bdd_var2level(int jarg1)
|
static void |
bdd_varblockall()
|
static int |
bdd_varnum()
|
static long |
bdd_varprofile(int jarg1)
|
static int |
bdd_veccompose(int jarg1,
long jarg2)
|
static int |
bdd_versionnum()
|
static java.lang.String |
bdd_versionstr()
|
static int |
bdd_xor(int jarg1,
int jarg2)
|
static void |
delete_s_bddCacheStat(long jarg1)
|
static void |
delete_s_bddGbcStat(long jarg1)
|
static void |
delete_s_bddPair(long jarg1)
|
static void |
delete_s_bddStat(long jarg1)
|
static void |
delete_s_Domain(long jarg1)
|
static int |
fdd_allsat(int jarg1,
int jarg2,
int[] jarg3)
|
static void |
fdd_clearall()
|
static int |
fdd_domain(int jarg1)
|
static int |
fdd_domainnum()
|
static int |
fdd_domainsize(int jarg1)
|
static int |
fdd_equals(int jarg1,
int jarg2)
|
static int |
fdd_extdomain(int[] jarg1,
int jarg2)
|
static long |
fdd_file_hook(long jarg1)
|
static void |
fdd_fprintset(long jarg1,
int jarg2)
|
static int |
fdd_intaddvarblock(int jarg1,
int jarg2,
int jarg3)
|
static int |
fdd_ithset(int jarg1)
|
static int |
fdd_ithvar(int jarg1,
int jarg2)
|
static int |
fdd_makeset(long jarg1,
int jarg2)
|
static int |
fdd_overlapdomain(int jarg1,
int jarg2)
|
static void |
fdd_printset(int jarg1)
|
static int |
fdd_satcount(int jarg1,
int jarg2)
|
static long |
fdd_scanallvar(int jarg1)
|
static int |
fdd_scanset(int jarg1,
long jarg2,
long jarg3)
|
static int |
fdd_scanvar(int jarg1,
int jarg2)
|
static int |
fdd_setpair(long jarg1,
int jarg2,
int jarg3)
|
static int |
fdd_setpairs(long jarg1,
long jarg2,
long jarg3,
int jarg4)
|
static int |
fdd_varnum(int jarg1)
|
static long |
fdd_vars(int jarg1)
|
static int |
get_bddfalse()
|
static int |
get_bddtrue()
|
static long |
get_domain()
|
static long |
get_s_bddCacheStat_opHit(long jarg1)
|
static long |
get_s_bddCacheStat_opMiss(long jarg1)
|
static long |
get_s_bddCacheStat_swapCount(long jarg1)
|
static long |
get_s_bddCacheStat_uniqueAccess(long jarg1)
|
static long |
get_s_bddCacheStat_uniqueChain(long jarg1)
|
static long |
get_s_bddCacheStat_uniqueHit(long jarg1)
|
static long |
get_s_bddCacheStat_uniqueMiss(long jarg1)
|
static int |
get_s_bddGbcStat_freenodes(long jarg1)
|
static int |
get_s_bddGbcStat_nodes(long jarg1)
|
static int |
get_s_bddGbcStat_num(long jarg1)
|
static int |
get_s_bddGbcStat_sumtime(long jarg1)
|
static int |
get_s_bddGbcStat_time(long jarg1)
|
static int |
get_s_bddPair_id(long jarg1)
|
static int |
get_s_bddPair_last(long jarg1)
|
static long |
get_s_bddPair_next(long jarg1)
|
static long |
get_s_bddPair_result(long jarg1)
|
static int |
get_s_bddStat_cachesize(long jarg1)
|
static int |
get_s_bddStat_freenodes(long jarg1)
|
static int |
get_s_bddStat_gbcnum(long jarg1)
|
static int |
get_s_bddStat_maxnodenum(long jarg1)
|
static int |
get_s_bddStat_minfreenodes(long jarg1)
|
static int |
get_s_bddStat_nodenum(long jarg1)
|
static int |
get_s_bddStat_produced(long jarg1)
|
static int |
get_s_bddStat_varnum(long jarg1)
|
static int |
get_s_Domain_binsize(long jarg1)
|
static long |
get_s_Domain_ivar(long jarg1)
|
static int |
get_s_Domain_realsize(long jarg1)
|
static int |
get_s_Domain_var(long jarg1)
|
static long |
new_s_bddCacheStat()
|
static long |
new_s_bddGbcStat()
|
static long |
new_s_bddPair()
|
static long |
new_s_bddStat()
|
static long |
new_s_Domain()
|
static void |
set_domain(long jarg1)
|
static void |
set_s_bddCacheStat_opHit(long jarg1,
long jarg2)
|
static void |
set_s_bddCacheStat_opMiss(long jarg1,
long jarg2)
|
static void |
set_s_bddCacheStat_swapCount(long jarg1,
long jarg2)
|
static void |
set_s_bddCacheStat_uniqueAccess(long jarg1,
long jarg2)
|
static void |
set_s_bddCacheStat_uniqueChain(long jarg1,
long jarg2)
|
static void |
set_s_bddCacheStat_uniqueHit(long jarg1,
long jarg2)
|
static void |
set_s_bddCacheStat_uniqueMiss(long jarg1,
long jarg2)
|
static void |
set_s_bddGbcStat_freenodes(long jarg1,
int jarg2)
|
static void |
set_s_bddGbcStat_nodes(long jarg1,
int jarg2)
|
static void |
set_s_bddGbcStat_num(long jarg1,
int jarg2)
|
static void |
set_s_bddGbcStat_sumtime(long jarg1,
int jarg2)
|
static void |
set_s_bddGbcStat_time(long jarg1,
int jarg2)
|
static void |
set_s_bddPair_id(long jarg1,
int jarg2)
|
static void |
set_s_bddPair_last(long jarg1,
int jarg2)
|
static void |
set_s_bddPair_next(long jarg1,
long jarg2)
|
static void |
set_s_bddPair_result(long jarg1,
long jarg2)
|
static void |
set_s_bddStat_cachesize(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_freenodes(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_gbcnum(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_maxnodenum(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_minfreenodes(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_nodenum(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_produced(long jarg1,
int jarg2)
|
static void |
set_s_bddStat_varnum(long jarg1,
int jarg2)
|
static void |
set_s_Domain_binsize(long jarg1,
int jarg2)
|
static void |
set_s_Domain_ivar(long jarg1,
long jarg2)
|
static void |
set_s_Domain_realsize(long jarg1,
int jarg2)
|
static void |
set_s_Domain_var(long jarg1,
int jarg2)
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
bddop_and
public static final int bddop_and
bddop_xor
public static final int bddop_xor
bddop_or
public static final int bddop_or
bddop_nand
public static final int bddop_nand
bddop_nor
public static final int bddop_nor
bddop_imp
public static final int bddop_imp
bddop_biimp
public static final int bddop_biimp
bddop_diff
public static final int bddop_diff
bddop_less
public static final int bddop_less
bddop_invimp
public static final int bddop_invimp
bddop_not
public static final int bddop_not
bddop_simplify
public static final int bddop_simplify
BDD_REORDER_NONE
public static final int BDD_REORDER_NONE
BDD_REORDER_WIN2
public static final int BDD_REORDER_WIN2
BDD_REORDER_WIN2ITE
public static final int BDD_REORDER_WIN2ITE
BDD_REORDER_SIFT
public static final int BDD_REORDER_SIFT
BDD_REORDER_SIFTITE
public static final int BDD_REORDER_SIFTITE
BDD_REORDER_WIN3
public static final int BDD_REORDER_WIN3
BDD_REORDER_WIN3ITE
public static final int BDD_REORDER_WIN3ITE
BDD_REORDER_RANDOM
public static final int BDD_REORDER_RANDOM
BDD_REORDER_FREE
public static final int BDD_REORDER_FREE
BDD_REORDER_FIXED
public static final int BDD_REORDER_FIXED
BDD_MEMORY
public static final int BDD_MEMORY
BDD_VAR
public static final int BDD_VAR
BDD_RANGE
public static final int BDD_RANGE
BDD_DEREF
public static final int BDD_DEREF
BDD_RUNNING
public static final int BDD_RUNNING
BDD_FILE
public static final int BDD_FILE
BDD_FORMAT
public static final int BDD_FORMAT
BDD_ORDER
public static final int BDD_ORDER
BDD_BREAK
public static final int BDD_BREAK
BDD_VARNUM
public static final int BDD_VARNUM
BDD_NODES
public static final int BDD_NODES
BDD_OP
public static final int BDD_OP
BDD_VARSET
public static final int BDD_VARSET
BDD_VARBLK
public static final int BDD_VARBLK
BDD_DECVNUM
public static final int BDD_DECVNUM
BDD_REPLACE
public static final int BDD_REPLACE
BDD_NODENUM
public static final int BDD_NODENUM
BDD_ILLBDD
public static final int BDD_ILLBDD
BDD_SIZE
public static final int BDD_SIZE
BVEC_SIZE
public static final int BVEC_SIZE
BVEC_SHIFT
public static final int BVEC_SHIFT
BVEC_DIVZERO
public static final int BVEC_DIVZERO
BDD_ERRNUM
public static final int BDD_ERRNUM
JBuddy
public JBuddy()
set_s_bddPair_result
public static final void set_s_bddPair_result(long jarg1,
long jarg2)
get_s_bddPair_result
public static final long get_s_bddPair_result(long jarg1)
set_s_bddPair_last
public static final void set_s_bddPair_last(long jarg1,
int jarg2)
get_s_bddPair_last
public static final int get_s_bddPair_last(long jarg1)
set_s_bddPair_id
public static final void set_s_bddPair_id(long jarg1,
int jarg2)
get_s_bddPair_id
public static final int get_s_bddPair_id(long jarg1)
set_s_bddPair_next
public static final void set_s_bddPair_next(long jarg1,
long jarg2)
get_s_bddPair_next
public static final long get_s_bddPair_next(long jarg1)
new_s_bddPair
public static final long new_s_bddPair()
delete_s_bddPair
public static final void delete_s_bddPair(long jarg1)
set_s_bddStat_produced
public static final void set_s_bddStat_produced(long jarg1,
int jarg2)
get_s_bddStat_produced
public static final int get_s_bddStat_produced(long jarg1)
set_s_bddStat_nodenum
public static final void set_s_bddStat_nodenum(long jarg1,
int jarg2)
get_s_bddStat_nodenum
public static final int get_s_bddStat_nodenum(long jarg1)
set_s_bddStat_maxnodenum
public static final void set_s_bddStat_maxnodenum(long jarg1,
int jarg2)
get_s_bddStat_maxnodenum
public static final int get_s_bddStat_maxnodenum(long jarg1)
set_s_bddStat_freenodes
public static final void set_s_bddStat_freenodes(long jarg1,
int jarg2)
get_s_bddStat_freenodes
public static final int get_s_bddStat_freenodes(long jarg1)
set_s_bddStat_minfreenodes
public static final void set_s_bddStat_minfreenodes(long jarg1,
int jarg2)
get_s_bddStat_minfreenodes
public static final int get_s_bddStat_minfreenodes(long jarg1)
set_s_bddStat_varnum
public static final void set_s_bddStat_varnum(long jarg1,
int jarg2)
get_s_bddStat_varnum
public static final int get_s_bddStat_varnum(long jarg1)
set_s_bddStat_cachesize
public static final void set_s_bddStat_cachesize(long jarg1,
int jarg2)
get_s_bddStat_cachesize
public static final int get_s_bddStat_cachesize(long jarg1)
set_s_bddStat_gbcnum
public static final void set_s_bddStat_gbcnum(long jarg1,
int jarg2)
get_s_bddStat_gbcnum
public static final int get_s_bddStat_gbcnum(long jarg1)
new_s_bddStat
public static final long new_s_bddStat()
delete_s_bddStat
public static final void delete_s_bddStat(long jarg1)
set_s_bddGbcStat_nodes
public static final void set_s_bddGbcStat_nodes(long jarg1,
int jarg2)
get_s_bddGbcStat_nodes
public static final int get_s_bddGbcStat_nodes(long jarg1)
set_s_bddGbcStat_freenodes
public static final void set_s_bddGbcStat_freenodes(long jarg1,
int jarg2)
get_s_bddGbcStat_freenodes
public static final int get_s_bddGbcStat_freenodes(long jarg1)
set_s_bddGbcStat_time
public static final void set_s_bddGbcStat_time(long jarg1,
int jarg2)
get_s_bddGbcStat_time
public static final int get_s_bddGbcStat_time(long jarg1)
set_s_bddGbcStat_sumtime
public static final void set_s_bddGbcStat_sumtime(long jarg1,
int jarg2)
get_s_bddGbcStat_sumtime
public static final int get_s_bddGbcStat_sumtime(long jarg1)
set_s_bddGbcStat_num
public static final void set_s_bddGbcStat_num(long jarg1,
int jarg2)
get_s_bddGbcStat_num
public static final int get_s_bddGbcStat_num(long jarg1)
new_s_bddGbcStat
public static final long new_s_bddGbcStat()
delete_s_bddGbcStat
public static final void delete_s_bddGbcStat(long jarg1)
set_s_bddCacheStat_uniqueAccess
public static final void set_s_bddCacheStat_uniqueAccess(long jarg1,
long jarg2)
get_s_bddCacheStat_uniqueAccess
public static final long get_s_bddCacheStat_uniqueAccess(long jarg1)
set_s_bddCacheStat_uniqueChain
public static final void set_s_bddCacheStat_uniqueChain(long jarg1,
long jarg2)
get_s_bddCacheStat_uniqueChain
public static final long get_s_bddCacheStat_uniqueChain(long jarg1)
set_s_bddCacheStat_uniqueHit
public static final void set_s_bddCacheStat_uniqueHit(long jarg1,
long jarg2)
get_s_bddCacheStat_uniqueHit
public static final long get_s_bddCacheStat_uniqueHit(long jarg1)
set_s_bddCacheStat_uniqueMiss
public static final void set_s_bddCacheStat_uniqueMiss(long jarg1,
long jarg2)
get_s_bddCacheStat_uniqueMiss
public static final long get_s_bddCacheStat_uniqueMiss(long jarg1)
set_s_bddCacheStat_opHit
public static final void set_s_bddCacheStat_opHit(long jarg1,
long jarg2)
get_s_bddCacheStat_opHit
public static final long get_s_bddCacheStat_opHit(long jarg1)
set_s_bddCacheStat_opMiss
public static final void set_s_bddCacheStat_opMiss(long jarg1,
long jarg2)
get_s_bddCacheStat_opMiss
public static final long get_s_bddCacheStat_opMiss(long jarg1)
set_s_bddCacheStat_swapCount
public static final void set_s_bddCacheStat_swapCount(long jarg1,
long jarg2)
get_s_bddCacheStat_swapCount
public static final long get_s_bddCacheStat_swapCount(long jarg1)
new_s_bddCacheStat
public static final long new_s_bddCacheStat()
delete_s_bddCacheStat
public static final void delete_s_bddCacheStat(long jarg1)
bdd_error_hook
public static final long bdd_error_hook(long jarg1)
bdd_gbc_hook
public static final long bdd_gbc_hook(long jarg1)
bdd_resize_hook
public static final long bdd_resize_hook(long jarg1)
bdd_reorder_hook
public static final long bdd_reorder_hook(long jarg1)
bdd_file_hook
public static final long bdd_file_hook(long jarg1)
bdd_init
public static final int bdd_init(int jarg1,
int jarg2)
bdd_done
public static final void bdd_done()
bdd_setvarnum
public static final int bdd_setvarnum(int jarg1)
bdd_extvarnum
public static final int bdd_extvarnum(int jarg1)
bdd_isrunning
public static final int bdd_isrunning()
bdd_setmaxnodenum
public static final int bdd_setmaxnodenum(int jarg1)
bdd_setmaxincrease
public static final int bdd_setmaxincrease(int jarg1)
bdd_setminfreenodes
public static final int bdd_setminfreenodes(int jarg1)
bdd_getnodenum
public static final int bdd_getnodenum()
bdd_getallocnum
public static final int bdd_getallocnum()
bdd_versionstr
public static final java.lang.String bdd_versionstr()
bdd_versionnum
public static final int bdd_versionnum()
bdd_stats
public static final void bdd_stats(long jarg1)
bdd_cachestats
public static final void bdd_cachestats(long jarg1)
bdd_fprintstat
public static final void bdd_fprintstat(long jarg1)
bdd_printstat
public static final void bdd_printstat()
bdd_default_gbchandler
public static final void bdd_default_gbchandler(int jarg1,
long jarg2)
bdd_default_errhandler
public static final void bdd_default_errhandler(int jarg1)
bdd_errstring
public static final java.lang.String bdd_errstring(int jarg1)
bdd_clear_error
public static final void bdd_clear_error()
bdd_true
public static final int bdd_true()
bdd_false
public static final int bdd_false()
bdd_varnum
public static final int bdd_varnum()
bdd_ithvar
public static final int bdd_ithvar(int jarg1)
bdd_nithvar
public static final int bdd_nithvar(int jarg1)
bdd_var
public static final int bdd_var(int jarg1)
bdd_low
public static final int bdd_low(int jarg1)
bdd_high
public static final int bdd_high(int jarg1)
bdd_addref
public static final int bdd_addref(int jarg1)
bdd_delref
public static final int bdd_delref(int jarg1)
bdd_gbc
public static final void bdd_gbc()
bdd_scanset
public static final int bdd_scanset(int jarg1,
long jarg2,
long jarg3)
bdd_makeset
public static final int bdd_makeset(long jarg1,
int jarg2)
bdd_newpair
public static final long bdd_newpair()
bdd_setpair
public static final int bdd_setpair(long jarg1,
int jarg2,
int jarg3)
bdd_setpairs
public static final int bdd_setpairs(long jarg1,
long jarg2,
long jarg3,
int jarg4)
bdd_setbddpair
public static final int bdd_setbddpair(long jarg1,
int jarg2,
int jarg3)
bdd_setbddpairs
public static final int bdd_setbddpairs(long jarg1,
long jarg2,
long jarg3,
int jarg4)
bdd_resetpair
public static final void bdd_resetpair(long jarg1)
bdd_freepair
public static final void bdd_freepair(long jarg1)
bdd_setcacheratio
public static final int bdd_setcacheratio(int jarg1)
bdd_buildcube
public static final int bdd_buildcube(int jarg1,
int jarg2,
long jarg3)
bdd_ibuildcube
public static final int bdd_ibuildcube(int jarg1,
int jarg2,
long jarg3)
bdd_not
public static final int bdd_not(int jarg1)
bdd_apply
public static final int bdd_apply(int jarg1,
int jarg2,
int jarg3)
bdd_and
public static final int bdd_and(int jarg1,
int jarg2)
bdd_or
public static final int bdd_or(int jarg1,
int jarg2)
bdd_xor
public static final int bdd_xor(int jarg1,
int jarg2)
bdd_imp
public static final int bdd_imp(int jarg1,
int jarg2)
bdd_biimp
public static final int bdd_biimp(int jarg1,
int jarg2)
bdd_ite
public static final int bdd_ite(int jarg1,
int jarg2,
int jarg3)
bdd_restrict
public static final int bdd_restrict(int jarg1,
int jarg2)
bdd_constrain
public static final int bdd_constrain(int jarg1,
int jarg2)
bdd_replace
public static final int bdd_replace(int jarg1,
long jarg2)
bdd_compose
public static final int bdd_compose(int jarg1,
int jarg2,
int jarg3)
bdd_veccompose
public static final int bdd_veccompose(int jarg1,
long jarg2)
bdd_simplify
public static final int bdd_simplify(int jarg1,
int jarg2)
bdd_exist
public static final int bdd_exist(int jarg1,
int jarg2)
bdd_forall
public static final int bdd_forall(int jarg1,
int jarg2)
bdd_unique
public static final int bdd_unique(int jarg1,
int jarg2)
bdd_appex
public static final int bdd_appex(int jarg1,
int jarg2,
int jarg3,
int jarg4)
bdd_appall
public static final int bdd_appall(int jarg1,
int jarg2,
int jarg3,
int jarg4)
bdd_appuni
public static final int bdd_appuni(int jarg1,
int jarg2,
int jarg3,
int jarg4)
bdd_support
public static final int bdd_support(int jarg1)
bdd_satone
public static final int bdd_satone(int jarg1)
bdd_satoneset
public static final int bdd_satoneset(int jarg1,
int jarg2,
int jarg3)
bdd_fullsatone
public static final int bdd_fullsatone(int jarg1)
bdd_allsat
public static final void bdd_allsat(int jarg1,
long jarg2)
bdd_satcount
public static final double bdd_satcount(int jarg1)
bdd_satcountset
public static final double bdd_satcountset(int jarg1,
int jarg2)
bdd_satcountln
public static final double bdd_satcountln(int jarg1)
bdd_satcountlnset
public static final double bdd_satcountlnset(int jarg1,
int jarg2)
bdd_nodecount
public static final int bdd_nodecount(int jarg1)
bdd_anodecount
public static final int bdd_anodecount(long jarg1,
int jarg2)
bdd_varprofile
public static final long bdd_varprofile(int jarg1)
bdd_pathcount
public static final double bdd_pathcount(int jarg1)
bdd_printall
public static final void bdd_printall()
bdd_fprintall
public static final void bdd_fprintall(long jarg1)
bdd_fprinttable
public static final void bdd_fprinttable(long jarg1,
int jarg2)
bdd_printtable
public static final void bdd_printtable(int jarg1)
bdd_fprintset
public static final void bdd_fprintset(long jarg1,
int jarg2)
bdd_printset
public static final void bdd_printset(int jarg1)
bdd_fnprintdot
public static final int bdd_fnprintdot(java.lang.String jarg1,
int jarg2)
bdd_fprintdot
public static final void bdd_fprintdot(long jarg1,
int jarg2)
bdd_printdot
public static final void bdd_printdot(int jarg1)
bdd_fnsave
public static final int bdd_fnsave(java.lang.String jarg1,
int jarg2)
bdd_save
public static final int bdd_save(long jarg1,
int jarg2)
bdd_fnload
public static final int bdd_fnload(java.lang.String jarg1,
long jarg2)
bdd_load
public static final int bdd_load(long jarg1,
long jarg2)
bdd_swapvar
public static final int bdd_swapvar(int jarg1,
int jarg2)
bdd_default_reohandler
public static final void bdd_default_reohandler(int jarg1)
bdd_reorder
public static final void bdd_reorder(int jarg1)
bdd_reorder_gain
public static final int bdd_reorder_gain()
bdd_reorder_probe
public static final long bdd_reorder_probe(long jarg1)
bdd_clrvarblocks
public static final void bdd_clrvarblocks()
bdd_addvarblock
public static final int bdd_addvarblock(int jarg1,
int jarg2)
bdd_intaddvarblock
public static final int bdd_intaddvarblock(int jarg1,
int jarg2,
int jarg3)
bdd_varblockall
public static final void bdd_varblockall()
bdd_blockfile_hook
public static final long bdd_blockfile_hook(long jarg1)
bdd_autoreorder
public static final int bdd_autoreorder(int jarg1)
bdd_autoreorder_times
public static final int bdd_autoreorder_times(int jarg1,
int jarg2)
bdd_var2level
public static final int bdd_var2level(int jarg1)
bdd_level2var
public static final int bdd_level2var(int jarg1)
bdd_getreorder_times
public static final int bdd_getreorder_times()
bdd_getreorder_method
public static final int bdd_getreorder_method()
bdd_enable_reorder
public static final void bdd_enable_reorder()
bdd_disable_reorder
public static final void bdd_disable_reorder()
bdd_reorder_verbose
public static final int bdd_reorder_verbose(int jarg1)
bdd_setvarorder
public static final void bdd_setvarorder(long jarg1)
bdd_printorder
public static final void bdd_printorder()
bdd_fprintorder
public static final void bdd_fprintorder(long jarg1)
get_bddfalse
public static final int get_bddfalse()
get_bddtrue
public static final int get_bddtrue()
set_s_Domain_realsize
public static final void set_s_Domain_realsize(long jarg1,
int jarg2)
get_s_Domain_realsize
public static final int get_s_Domain_realsize(long jarg1)
set_s_Domain_binsize
public static final void set_s_Domain_binsize(long jarg1,
int jarg2)
get_s_Domain_binsize
public static final int get_s_Domain_binsize(long jarg1)
set_s_Domain_ivar
public static final void set_s_Domain_ivar(long jarg1,
long jarg2)
get_s_Domain_ivar
public static final long get_s_Domain_ivar(long jarg1)
set_s_Domain_var
public static final void set_s_Domain_var(long jarg1,
int jarg2)
get_s_Domain_var
public static final int get_s_Domain_var(long jarg1)
new_s_Domain
public static final long new_s_Domain()
delete_s_Domain
public static final void delete_s_Domain(long jarg1)
set_domain
public static final void set_domain(long jarg1)
get_domain
public static final long get_domain()
fdd_extdomain
public static final int fdd_extdomain(int[] jarg1,
int jarg2)
fdd_overlapdomain
public static final int fdd_overlapdomain(int jarg1,
int jarg2)
fdd_clearall
public static final void fdd_clearall()
fdd_domainnum
public static final int fdd_domainnum()
fdd_domainsize
public static final int fdd_domainsize(int jarg1)
fdd_varnum
public static final int fdd_varnum(int jarg1)
fdd_vars
public static final long fdd_vars(int jarg1)
fdd_ithvar
public static final int fdd_ithvar(int jarg1,
int jarg2)
fdd_scanvar
public static final int fdd_scanvar(int jarg1,
int jarg2)
fdd_scanallvar
public static final long fdd_scanallvar(int jarg1)
fdd_ithset
public static final int fdd_ithset(int jarg1)
fdd_domain
public static final int fdd_domain(int jarg1)
fdd_equals
public static final int fdd_equals(int jarg1,
int jarg2)
fdd_file_hook
public static final long fdd_file_hook(long jarg1)
fdd_printset
public static final void fdd_printset(int jarg1)
fdd_fprintset
public static final void fdd_fprintset(long jarg1,
int jarg2)
fdd_scanset
public static final int fdd_scanset(int jarg1,
long jarg2,
long jarg3)
fdd_makeset
public static final int fdd_makeset(long jarg1,
int jarg2)
fdd_intaddvarblock
public static final int fdd_intaddvarblock(int jarg1,
int jarg2,
int jarg3)
fdd_setpair
public static final int fdd_setpair(long jarg1,
int jarg2,
int jarg3)
fdd_setpairs
public static final int fdd_setpairs(long jarg1,
long jarg2,
long jarg3,
int jarg4)
fdd_allsat
public static final int fdd_allsat(int jarg1,
int jarg2,
int[] jarg3)
fdd_satcount
public static final int fdd_satcount(int jarg1,
int jarg2)