soot.jbuddy
Class JBuddy

java.lang.Object
  extended bysoot.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 arg0)
           
static int bdd_addvarblock(int arg0, int arg1)
           
static void bdd_allsat(int r, SWIGTYPE_p_f_p_char_int__void handler)
           
static int bdd_and(int arg0, int arg1)
           
static int bdd_anodecount(SWIGTYPE_p_int arg0, int arg1)
           
static int bdd_appall(int arg0, int arg1, int arg2, int arg3)
           
static int bdd_appex(int arg0, int arg1, int arg2, int arg3)
           
static int bdd_apply(int arg0, int arg1, int arg2)
           
static int bdd_appuni(int arg0, int arg1, int arg2, int arg3)
           
static int bdd_autoreorder_times(int arg0, int arg1)
           
static int bdd_autoreorder(int arg0)
           
static int bdd_biimp(int arg0, int arg1)
           
static SWIGTYPE_p_f_p_FILE_int__void bdd_blockfile_hook(SWIGTYPE_p_f_p_FILE_int__void arg0)
           
static int bdd_buildcube(int arg0, int arg1, SWIGTYPE_p_int arg2)
           
static void bdd_cachestats(bddCacheStat arg0)
           
static void bdd_clear_error()
           
static void bdd_clrvarblocks()
           
static int bdd_compose(int arg0, int arg1, int arg2)
           
static int bdd_constrain(int arg0, int arg1)
           
static void bdd_default_errhandler(int arg0)
           
static void bdd_default_gbchandler(int arg0, bddGbcStat arg1)
           
static void bdd_default_reohandler(int arg0)
           
static int bdd_delref(int arg0)
           
static void bdd_disable_reorder()
           
static void bdd_done()
           
static void bdd_enable_reorder()
           
static SWIGTYPE_p_f_int__void bdd_error_hook(SWIGTYPE_p_f_int__void arg0)
           
static java.lang.String bdd_errstring(int arg0)
           
static int bdd_exist(int arg0, int arg1)
           
static int bdd_extvarnum(int arg0)
           
static int bdd_false()
           
static SWIGTYPE_p_f_p_FILE_int__void bdd_file_hook(SWIGTYPE_p_f_p_FILE_int__void arg0)
           
static int bdd_fnload(java.lang.String arg0, SWIGTYPE_p_int arg1)
           
static int bdd_fnprintdot(java.lang.String arg0, int arg1)
           
static int bdd_fnsave(java.lang.String arg0, int arg1)
           
static int bdd_forall(int arg0, int arg1)
           
static void bdd_fprintall(SWIGTYPE_p_FILE arg0)
           
static void bdd_fprintdot(SWIGTYPE_p_FILE arg0, int arg1)
           
static void bdd_fprintorder(SWIGTYPE_p_FILE arg0)
           
static void bdd_fprintset(SWIGTYPE_p_FILE arg0, int arg1)
           
static void bdd_fprintstat(SWIGTYPE_p_FILE arg0)
           
static void bdd_fprinttable(SWIGTYPE_p_FILE arg0, int arg1)
           
static void bdd_freepair(bddPair arg0)
           
static int bdd_fullsatone(int arg0)
           
static SWIGTYPE_p_f_int_p_struct_s_bddGbcStat__void bdd_gbc_hook(SWIGTYPE_p_f_int_p_struct_s_bddGbcStat__void arg0)
           
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 arg0)
           
static int bdd_ibuildcube(int arg0, int arg1, SWIGTYPE_p_int arg2)
           
static int bdd_imp(int arg0, int arg1)
           
static int bdd_init(int arg0, int arg1)
           
static int bdd_intaddvarblock(int arg0, int arg1, int arg2)
           
static int bdd_isrunning()
           
static int bdd_ite(int arg0, int arg1, int arg2)
           
static int bdd_ithvar(int arg0)
           
static int bdd_level2var(int arg0)
           
static int bdd_load(SWIGTYPE_p_FILE ifile, SWIGTYPE_p_int arg1)
           
static int bdd_low(int arg0)
           
static int bdd_makeset(SWIGTYPE_p_int arg0, int arg1)
           
static bddPair bdd_newpair()
           
static int bdd_nithvar(int arg0)
           
static int bdd_nodecount(int arg0)
           
static int bdd_not(int arg0)
           
static int bdd_or(int arg0, int arg1)
           
static double bdd_pathcount(int arg0)
           
static void bdd_printall()
           
static void bdd_printdot(int arg0)
           
static void bdd_printorder()
           
static void bdd_printset(int arg0)
           
static void bdd_printstat()
           
static void bdd_printtable(int arg0)
           
static int bdd_reorder_gain()
           
static SWIGTYPE_p_f_int__void bdd_reorder_hook(SWIGTYPE_p_f_int__void arg0)
           
static SWIGTYPE_p_f_void__int bdd_reorder_probe(SWIGTYPE_p_f_void__int arg0)
           
static int bdd_reorder_verbose(int arg0)
           
static void bdd_reorder(int arg0)
           
static int bdd_replace(int arg0, bddPair arg1)
           
static void bdd_resetpair(bddPair arg0)
           
static SWIGTYPE_p_f_int_int__void bdd_resize_hook(SWIGTYPE_p_f_int_int__void arg0)
           
static int bdd_restrict(int arg0, int arg1)
           
static double bdd_satcount(int arg0)
           
static double bdd_satcountln(int arg0)
           
static double bdd_satcountlnset(int arg0, int arg1)
           
static double bdd_satcountset(int arg0, int arg1)
           
static int bdd_satone(int arg0)
           
static int bdd_satoneset(int arg0, int arg1, int arg2)
           
static int bdd_save(SWIGTYPE_p_FILE arg0, int arg1)
           
static int bdd_scanset(int arg0, SWIGTYPE_p_p_int arg1, SWIGTYPE_p_int arg2)
           
static int bdd_setbddpair(bddPair arg0, int arg1, int arg2)
           
static int bdd_setbddpairs(bddPair arg0, SWIGTYPE_p_int arg1, SWIGTYPE_p_int arg2, int arg3)
           
static int bdd_setcacheratio(int arg0)
           
static int bdd_setmaxincrease(int arg0)
           
static int bdd_setmaxnodenum(int arg0)
           
static int bdd_setminfreenodes(int arg0)
           
static int bdd_setpair(bddPair arg0, int arg1, int arg2)
           
static int bdd_setpairs(bddPair arg0, SWIGTYPE_p_int arg1, SWIGTYPE_p_int arg2, int arg3)
           
static int bdd_setvarnum(int arg0)
           
static void bdd_setvarorder(int[] arg0)
           
static int bdd_simplify(int arg0, int arg1)
           
static void bdd_stats(bddStat arg0)
           
static int bdd_support(int arg0)
           
static int bdd_swapvar(int v1, int v2)
           
static int bdd_true()
           
static int bdd_unique(int arg0, int arg1)
           
static int bdd_var(int arg0)
           
static int bdd_var2level(int arg0)
           
static void bdd_varblockall()
           
static int bdd_varnum()
           
static SWIGTYPE_p_int bdd_varprofile(int arg0)
           
static int bdd_veccompose(int arg0, bddPair arg1)
           
static int bdd_versionnum()
           
static java.lang.String bdd_versionstr()
           
static int bdd_xor(int arg0, int arg1)
           
static int fdd_allsat(int arg0, int arg1, int[] INPUT)
           
static void fdd_clearall()
           
static int fdd_domain(int arg0)
           
static int fdd_domainnum()
           
static int fdd_domainsize(int arg0)
           
static int fdd_equals(int arg0, int arg1)
           
static int fdd_extdomain(int[] INOUT, int arg1)
           
static SWIGTYPE_p_f_p_FILE_int__void fdd_file_hook(SWIGTYPE_p_f_p_FILE_int__void arg0)
           
static void fdd_fprintset(SWIGTYPE_p_FILE arg0, int arg1)
           
static void fdd_getvars(int[] INPUT, int domain)
           
static int fdd_intaddvarblock(int arg0, int arg1, int arg2)
           
static int fdd_ithset(int arg0)
           
static int fdd_ithvar(int arg0, int arg1)
           
static int fdd_makeset(SWIGTYPE_p_int arg0, int arg1)
           
static int fdd_overlapdomain(int arg0, int arg1)
           
static void fdd_printset(int arg0)
           
static int fdd_satcount(int arg0, int arg1)
           
static SWIGTYPE_p_int fdd_scanallvar(int arg0)
           
static int fdd_scanset(int arg0, SWIGTYPE_p_p_int arg1, SWIGTYPE_p_int arg2)
           
static int fdd_scanvar(int arg0, int arg1)
           
static int fdd_setpair(bddPair arg0, int arg1, int arg2)
           
static int fdd_setpairs(bddPair arg0, SWIGTYPE_p_int arg1, SWIGTYPE_p_int arg2, int arg3)
           
static int fdd_varnum(int arg0)
           
static SWIGTYPE_p_int fdd_vars(int arg0)
           
static int getBddfalse()
           
static int getBddtrue()
           
static Domain getDomain()
           
static void setDomain(Domain value)
           
 
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

bdd_error_hook

public static SWIGTYPE_p_f_int__void bdd_error_hook(SWIGTYPE_p_f_int__void arg0)

bdd_gbc_hook

public static SWIGTYPE_p_f_int_p_struct_s_bddGbcStat__void bdd_gbc_hook(SWIGTYPE_p_f_int_p_struct_s_bddGbcStat__void arg0)

bdd_resize_hook

public static SWIGTYPE_p_f_int_int__void bdd_resize_hook(SWIGTYPE_p_f_int_int__void arg0)

bdd_reorder_hook

public static SWIGTYPE_p_f_int__void bdd_reorder_hook(SWIGTYPE_p_f_int__void arg0)

bdd_file_hook

public static SWIGTYPE_p_f_p_FILE_int__void bdd_file_hook(SWIGTYPE_p_f_p_FILE_int__void arg0)

bdd_init

public static int bdd_init(int arg0,
                           int arg1)

bdd_done

public static void bdd_done()

bdd_setvarnum

public static int bdd_setvarnum(int arg0)

bdd_extvarnum

public static int bdd_extvarnum(int arg0)

bdd_isrunning

public static int bdd_isrunning()

bdd_setmaxnodenum

public static int bdd_setmaxnodenum(int arg0)

bdd_setmaxincrease

public static int bdd_setmaxincrease(int arg0)

bdd_setminfreenodes

public static int bdd_setminfreenodes(int arg0)

bdd_getnodenum

public static int bdd_getnodenum()

bdd_getallocnum

public static int bdd_getallocnum()

bdd_versionstr

public static java.lang.String bdd_versionstr()

bdd_versionnum

public static int bdd_versionnum()

bdd_stats

public static void bdd_stats(bddStat arg0)

bdd_cachestats

public static void bdd_cachestats(bddCacheStat arg0)

bdd_fprintstat

public static void bdd_fprintstat(SWIGTYPE_p_FILE arg0)

bdd_printstat

public static void bdd_printstat()

bdd_default_gbchandler

public static void bdd_default_gbchandler(int arg0,
                                          bddGbcStat arg1)

bdd_default_errhandler

public static void bdd_default_errhandler(int arg0)

bdd_errstring

public static java.lang.String bdd_errstring(int arg0)

bdd_clear_error

public static void bdd_clear_error()

bdd_true

public static int bdd_true()

bdd_false

public static int bdd_false()

bdd_varnum

public static int bdd_varnum()

bdd_ithvar

public static int bdd_ithvar(int arg0)

bdd_nithvar

public static int bdd_nithvar(int arg0)

bdd_var

public static int bdd_var(int arg0)

bdd_low

public static int bdd_low(int arg0)

bdd_high

public static int bdd_high(int arg0)

bdd_addref

public static int bdd_addref(int arg0)

bdd_delref

public static int bdd_delref(int arg0)

bdd_gbc

public static void bdd_gbc()

bdd_scanset

public static int bdd_scanset(int arg0,
                              SWIGTYPE_p_p_int arg1,
                              SWIGTYPE_p_int arg2)

bdd_makeset

public static int bdd_makeset(SWIGTYPE_p_int arg0,
                              int arg1)

bdd_newpair

public static bddPair bdd_newpair()

bdd_setpair

public static int bdd_setpair(bddPair arg0,
                              int arg1,
                              int arg2)

bdd_setpairs

public static int bdd_setpairs(bddPair arg0,
                               SWIGTYPE_p_int arg1,
                               SWIGTYPE_p_int arg2,
                               int arg3)

bdd_setbddpair

public static int bdd_setbddpair(bddPair arg0,
                                 int arg1,
                                 int arg2)

bdd_setbddpairs

public static int bdd_setbddpairs(bddPair arg0,
                                  SWIGTYPE_p_int arg1,
                                  SWIGTYPE_p_int arg2,
                                  int arg3)

bdd_resetpair

public static void bdd_resetpair(bddPair arg0)

bdd_freepair

public static void bdd_freepair(bddPair arg0)

bdd_setcacheratio

public static int bdd_setcacheratio(int arg0)

bdd_buildcube

public static int bdd_buildcube(int arg0,
                                int arg1,
                                SWIGTYPE_p_int arg2)

bdd_ibuildcube

public static int bdd_ibuildcube(int arg0,
                                 int arg1,
                                 SWIGTYPE_p_int arg2)

bdd_not

public static int bdd_not(int arg0)

bdd_apply

public static int bdd_apply(int arg0,
                            int arg1,
                            int arg2)

bdd_and

public static int bdd_and(int arg0,
                          int arg1)

bdd_or

public static int bdd_or(int arg0,
                         int arg1)

bdd_xor

public static int bdd_xor(int arg0,
                          int arg1)

bdd_imp

public static int bdd_imp(int arg0,
                          int arg1)

bdd_biimp

public static int bdd_biimp(int arg0,
                            int arg1)

bdd_ite

public static int bdd_ite(int arg0,
                          int arg1,
                          int arg2)

bdd_restrict

public static int bdd_restrict(int arg0,
                               int arg1)

bdd_constrain

public static int bdd_constrain(int arg0,
                                int arg1)

bdd_replace

public static int bdd_replace(int arg0,
                              bddPair arg1)

bdd_compose

public static int bdd_compose(int arg0,
                              int arg1,
                              int arg2)

bdd_veccompose

public static int bdd_veccompose(int arg0,
                                 bddPair arg1)

bdd_simplify

public static int bdd_simplify(int arg0,
                               int arg1)

bdd_exist

public static int bdd_exist(int arg0,
                            int arg1)

bdd_forall

public static int bdd_forall(int arg0,
                             int arg1)

bdd_unique

public static int bdd_unique(int arg0,
                             int arg1)

bdd_appex

public static int bdd_appex(int arg0,
                            int arg1,
                            int arg2,
                            int arg3)

bdd_appall

public static int bdd_appall(int arg0,
                             int arg1,
                             int arg2,
                             int arg3)

bdd_appuni

public static int bdd_appuni(int arg0,
                             int arg1,
                             int arg2,
                             int arg3)

bdd_support

public static int bdd_support(int arg0)

bdd_satone

public static int bdd_satone(int arg0)

bdd_satoneset

public static int bdd_satoneset(int arg0,
                                int arg1,
                                int arg2)

bdd_fullsatone

public static int bdd_fullsatone(int arg0)

bdd_allsat

public static void bdd_allsat(int r,
                              SWIGTYPE_p_f_p_char_int__void handler)

bdd_satcount

public static double bdd_satcount(int arg0)

bdd_satcountset

public static double bdd_satcountset(int arg0,
                                     int arg1)

bdd_satcountln

public static double bdd_satcountln(int arg0)

bdd_satcountlnset

public static double bdd_satcountlnset(int arg0,
                                       int arg1)

bdd_nodecount

public static int bdd_nodecount(int arg0)

bdd_anodecount

public static int bdd_anodecount(SWIGTYPE_p_int arg0,
                                 int arg1)

bdd_varprofile

public static SWIGTYPE_p_int bdd_varprofile(int arg0)

bdd_pathcount

public static double bdd_pathcount(int arg0)

bdd_printall

public static void bdd_printall()

bdd_fprintall

public static void bdd_fprintall(SWIGTYPE_p_FILE arg0)

bdd_fprinttable

public static void bdd_fprinttable(SWIGTYPE_p_FILE arg0,
                                   int arg1)

bdd_printtable

public static void bdd_printtable(int arg0)

bdd_fprintset

public static void bdd_fprintset(SWIGTYPE_p_FILE arg0,
                                 int arg1)

bdd_printset

public static void bdd_printset(int arg0)

bdd_fnprintdot

public static int bdd_fnprintdot(java.lang.String arg0,
                                 int arg1)

bdd_fprintdot

public static void bdd_fprintdot(SWIGTYPE_p_FILE arg0,
                                 int arg1)

bdd_printdot

public static void bdd_printdot(int arg0)

bdd_fnsave

public static int bdd_fnsave(java.lang.String arg0,
                             int arg1)

bdd_save

public static int bdd_save(SWIGTYPE_p_FILE arg0,
                           int arg1)

bdd_fnload

public static int bdd_fnload(java.lang.String arg0,
                             SWIGTYPE_p_int arg1)

bdd_load

public static int bdd_load(SWIGTYPE_p_FILE ifile,
                           SWIGTYPE_p_int arg1)

bdd_swapvar

public static int bdd_swapvar(int v1,
                              int v2)

bdd_default_reohandler

public static void bdd_default_reohandler(int arg0)

bdd_reorder

public static void bdd_reorder(int arg0)

bdd_reorder_gain

public static int bdd_reorder_gain()

bdd_reorder_probe

public static SWIGTYPE_p_f_void__int bdd_reorder_probe(SWIGTYPE_p_f_void__int arg0)

bdd_clrvarblocks

public static void bdd_clrvarblocks()

bdd_addvarblock

public static int bdd_addvarblock(int arg0,
                                  int arg1)

bdd_intaddvarblock

public static int bdd_intaddvarblock(int arg0,
                                     int arg1,
                                     int arg2)

bdd_varblockall

public static void bdd_varblockall()

bdd_blockfile_hook

public static SWIGTYPE_p_f_p_FILE_int__void bdd_blockfile_hook(SWIGTYPE_p_f_p_FILE_int__void arg0)

bdd_autoreorder

public static int bdd_autoreorder(int arg0)

bdd_autoreorder_times

public static int bdd_autoreorder_times(int arg0,
                                        int arg1)

bdd_var2level

public static int bdd_var2level(int arg0)

bdd_level2var

public static int bdd_level2var(int arg0)

bdd_getreorder_times

public static int bdd_getreorder_times()

bdd_getreorder_method

public static int bdd_getreorder_method()

bdd_enable_reorder

public static void bdd_enable_reorder()

bdd_disable_reorder

public static void bdd_disable_reorder()

bdd_reorder_verbose

public static int bdd_reorder_verbose(int arg0)

bdd_setvarorder

public static void bdd_setvarorder(int[] arg0)

bdd_printorder

public static void bdd_printorder()

bdd_fprintorder

public static void bdd_fprintorder(SWIGTYPE_p_FILE arg0)

getBddfalse

public static int getBddfalse()

getBddtrue

public static int getBddtrue()

setDomain

public static void setDomain(Domain value)

getDomain

public static Domain getDomain()

fdd_extdomain

public static int fdd_extdomain(int[] INOUT,
                                int arg1)

fdd_overlapdomain

public static int fdd_overlapdomain(int arg0,
                                    int arg1)

fdd_clearall

public static void fdd_clearall()

fdd_domainnum

public static int fdd_domainnum()

fdd_domainsize

public static int fdd_domainsize(int arg0)

fdd_varnum

public static int fdd_varnum(int arg0)

fdd_vars

public static SWIGTYPE_p_int fdd_vars(int arg0)

fdd_ithvar

public static int fdd_ithvar(int arg0,
                             int arg1)

fdd_scanvar

public static int fdd_scanvar(int arg0,
                              int arg1)

fdd_scanallvar

public static SWIGTYPE_p_int fdd_scanallvar(int arg0)

fdd_ithset

public static int fdd_ithset(int arg0)

fdd_domain

public static int fdd_domain(int arg0)

fdd_equals

public static int fdd_equals(int arg0,
                             int arg1)

fdd_file_hook

public static SWIGTYPE_p_f_p_FILE_int__void fdd_file_hook(SWIGTYPE_p_f_p_FILE_int__void arg0)

fdd_printset

public static void fdd_printset(int arg0)

fdd_fprintset

public static void fdd_fprintset(SWIGTYPE_p_FILE arg0,
                                 int arg1)

fdd_scanset

public static int fdd_scanset(int arg0,
                              SWIGTYPE_p_p_int arg1,
                              SWIGTYPE_p_int arg2)

fdd_makeset

public static int fdd_makeset(SWIGTYPE_p_int arg0,
                              int arg1)

fdd_intaddvarblock

public static int fdd_intaddvarblock(int arg0,
                                     int arg1,
                                     int arg2)

fdd_setpair

public static int fdd_setpair(bddPair arg0,
                              int arg1,
                              int arg2)

fdd_setpairs

public static int fdd_setpairs(bddPair arg0,
                               SWIGTYPE_p_int arg1,
                               SWIGTYPE_p_int arg2,
                               int arg3)

fdd_allsat

public static int fdd_allsat(int arg0,
                             int arg1,
                             int[] INPUT)

fdd_satcount

public static int fdd_satcount(int arg0,
                               int arg1)

fdd_getvars

public static void fdd_getvars(int[] INPUT,
                               int domain)