soot.jbuddy
Class JBuddy
java.lang.Object
soot.jbuddy.JBuddy
- public class JBuddy
- extends java.lang.Object
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 |
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()
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)