soot.jbuddy
Class JBuddy

java.lang.Object
  |
  +--soot.jbuddy.JBuddy

public class JBuddy
extends java.lang.Object


Field Summary
static int BDD_BREAK
           
static int BDD_DECVNUM
           
static int BDD_DEREF
           
static int BDD_ERRNUM
           
static int BDD_FILE
           
static int BDD_FORMAT
           
static int BDD_ILLBDD
           
static int BDD_MEMORY
           
static int BDD_NODENUM
           
static int BDD_NODES
           
static int BDD_OP
           
static int BDD_ORDER
           
static int BDD_RANGE
           
static int BDD_REORDER_FIXED
           
static int BDD_REORDER_FREE
           
static int BDD_REORDER_NONE
           
static int BDD_REORDER_RANDOM
           
static int BDD_REORDER_SIFT
           
static int BDD_REORDER_SIFTITE
           
static int BDD_REORDER_WIN2
           
static int BDD_REORDER_WIN2ITE
           
static int BDD_REORDER_WIN3
           
static int BDD_REORDER_WIN3ITE
           
static int BDD_REPLACE
           
static int BDD_RUNNING
           
static int BDD_SIZE
           
static int BDD_VAR
           
static int BDD_VARBLK
           
static int BDD_VARNUM
           
static int BDD_VARSET
           
static int bddop_and
           
static int bddop_biimp
           
static int bddop_diff
           
static int bddop_imp
           
static int bddop_invimp
           
static int bddop_less
           
static int bddop_nand
           
static int bddop_nor
           
static int bddop_not
           
static int bddop_or
           
static int bddop_simplify
           
static int bddop_xor
           
static int BVEC_DIVZERO
           
static int BVEC_SHIFT
           
static int BVEC_SIZE
           
 
Constructor Summary
JBuddy()
           
 
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
 

Field Detail

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
Constructor Detail

JBuddy

public JBuddy()
Method Detail

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)