muddy/muddyC/muddy.c

37    value is about to be garbage-collected by the camlrunm runtime
75 value mlbdd_alloc_final(mlsize_t len, final_fun fun)
77   value result;
107 static void mlbdd_copy2cstring(value from, char* to){
119 EXTERNML value mlbdd_setprintgc(value print, value pre, value post) /* ML */
133 EXTERNML value mlbdd_bdd_init(value nodes, value cachesize) /* ML */
145 EXTERNML value mlbdd_bdd_done(value nill) /* ML */
153 EXTERNML value mlbdd_bdd_isrunning(value nill) /* ML */
159 EXTERNML value mlbdd_bdd_setvarnum(value n) /* ML */
166 EXTERNML value mlbdd_getvarnum(value dummy) /* ML */
175 void mlbdd_finalize(value obj)
182 EXTERNML value mlbdd_make(BDD root)
184   value res;
193 EXTERNML value mlbdd_root(value r) /* ML */
199 EXTERNML value mlbdd_bdd_ithvar(value i) /* ML */
205 EXTERNML value mlbdd_bdd_nithvar(value i) /* ML */
211 EXTERNML value mlbdd_fromBool(value b) /* ML */
217 EXTERNML value mlbdd_toBool(value obj)    /* ML */
230 EXTERNML value mlbdd_bdd_var(value r) /* ML */
236 EXTERNML value mlbdd_bdd_low(value r) /* ML */
242 EXTERNML value mlbdd_bdd_high(value r) /* ML */
249 EXTERNML value mlbdd_constants(value unit)	/* ML */
251   value res = alloc_tuple(18);
276 EXTERNML value mlbdd_bdd_apply(value left, value right, value opr) /* ML */
283 EXTERNML value mlbdd_bdd_not(value r) /* ML */
289 EXTERNML value mlbdd_bdd_ite(value x, value y, value z) /* ML */
296 EXTERNML value mlbdd_equal(value left, value right) /* ML */
302 EXTERNML value mlbdd_bdd_restrict(value r, value var) /* ML */
308 EXTERNML value mlbdd_bdd_compose(value f, value g, value var) /* ML */
316 EXTERNML value mlbdd_bdd_simplify(value f, value d) /* ML */
322 EXTERNML value mlbdd_bdd_printdot(value r) /* ML */
329 EXTERNML value mlbdd_bdd_printset(value r) /* ML */
337 EXTERNML value mlbdd_bdd_fnprintset(value filename, value r) /* ML */
354 EXTERNML value mlbdd_bdd_fnprintdot(value filename, value r) /* ML */
361 EXTERNML value mlbdd_bdd_printall(value nill) /* ML */
368 EXTERNML value mlbdd_bdd_fnsave(value filename, value r) /* ML */
375 EXTERNML value mlbdd_bdd_fnload(value filename) /* ML */
384 EXTERNML value mlbdd_bdd_stats(value nill)
387   value result = alloc_tuple(8);
404 EXTERNML value mlbdd_bdd_satcount(value r) /* ML */
410 EXTERNML value mlbdd_bdd_satone(value r) /* ML */
416 EXTERNML value mlbdd_bdd_fullsatone(value r) /* ML */
422 EXTERNML value mlbdd_bdd_nodecount(value r) /* ML */
428 EXTERNML value mlbdd_bdd_setmaxincrease(value n) /* ML */
434 EXTERNML value mlbdd_bdd_setcacheratio(value n) /* ML */
446 EXTERNML value mlbdd_makeset(value varvector) /* ML */
449   value result;
471 EXTERNML value mlbdd_bdd_scanset(value varset)
473   value result;
494 EXTERNML value mlbdd_bdd_support(value b) /* ML */
500 EXTERNML value mlbdd_bdd_exist(value b1, value varset) /* ML */
506 EXTERNML value mlbdd_bdd_forall(value b1, value varset) /* ML */
512 EXTERNML value mlbdd_bdd_appall(value left, value right,
513 			 value opr,  value varset) /* ML */
520 EXTERNML value mlbdd_bdd_appex(value left, value right,
521 			value opr,  value varset) /* ML */
531 #define PairSet_val(x) (((bddPair **) (x)) [1]) // Also an l-value
534 void mlbdd_pair_finalize(value pairset)
540 EXTERNML value mlbdd_makepairset(value oldvar, value newvar) /* ML */
544   value result;
574 EXTERNML value mlbdd_makebddpairset(value oldvar, value newvar) /* ML */
578   value result;
609 EXTERNML value mlbdd_bdd_replace(value r, value pair) /* ML */
616 EXTERNML value mlbdd_bdd_veccompose(value pair, value r) /* ML */
625 EXTERNML value mlbdd_bdd_intaddvarblock(value first, value last, value fixed) /* ML */
632 EXTERNML value mlbdd_bdd_clrvarblocks(value dummy) /* ML */
639 EXTERNML value mlbdd_bdd_reorder(value method) /* ML */
646 EXTERNML value mlbdd_bdd_autoreorder(value method) /* ML */
652 EXTERNML value mlbdd_bdd_autoreorder_times(value method, value times) /* ML */
659 EXTERNML value mlbdd_bdd_getreorder_method(value dummy) /* ML */
666 EXTERNML value mlbdd_bdd_getreorder_times(value dummy) /* ML */
673 EXTERNML value mlbdd_bdd_disable_reorder(value dummy) /* ML */
680 EXTERNML value mlbdd_bdd_enable_reorder(value dummy) /* ML */
688 EXTERNML value mlbdd_bdd_var2level(value num) /* ML */
694 EXTERNML value mlbdd_bdd_level2var(value lev) /* ML */
702 EXTERNML value mlfdd_extdomain(value vector) /* ML */
705   value result;
726 EXTERNML value mlfdd_clearall(value foo) /* ML */
734 EXTERNML value mlfdd_domainnum(value foo) /* ML */
740 EXTERNML value mlfdd_domainsize(value var) /* ML */
746 EXTERNML value mlfdd_varnum(value var) /* ML */
752 EXTERNML value mlfdd_vars(value var) /* ML */
754   value result;
774 EXTERNML value mlfdd_ithset(value var) /* ML */
780 EXTERNML value mlfdd_domain(value var) /* ML */
786 EXTERNML value mlfdd_makeset(value vector) /* ML */
789   value result;
811 EXTERNML value mlfdd_setpairs(value oldvar, value newvar) /* ML */
815   value result;
848 BVEC BVEC_val(value obj) {
858 void mlbdd_finalize_bvec(value obj)
864 EXTERNML value mlbdd_make_bvec(BVEC v)
866   value res;
874 EXTERNML value mlbvec_true(value bits) {
879 EXTERNML value mlbvec_false(value bits) {
884 EXTERNML value mlbvec_con(value bits, value val) /* ML */
890 EXTERNML value mlbvec_var(value bits, value var, value step) /* ML */
896 EXTERNML value mlbvec_varfdd(value var) /* ML */
902 EXTERNML value mlbvec_coerce(value bits, value v) /* ML */
908 EXTERNML value mlbvec_isconst(value v) /* ML */
914 EXTERNML value mlbvec_getconst(value v) /* ML */
926 EXTERNML value mlbvec_add(value s1, value s2) /* ML */
932 EXTERNML value mlbvec_sub(value s1, value s2) /* ML */
938 EXTERNML value mlbvec_mulfixed(value s1, value con) /* ML */
944 EXTERNML value mlbvec_mul(value s1, value s2) /* ML */
951 EXTERNML value mlbvec_divfixed(value s1, value con) /* ML */
964 EXTERNML value mlbvec_div(value s1, value s2) /* ML */
979 EXTERNML value mlbvec_shl(value s1, value c, value b) /* ML */
985 EXTERNML value mlbvec_shlfixed(value s1, value c, value b) /* ML */
991 EXTERNML value mlbvec_shr(value s1, value c, value b) /* ML */
997 EXTERNML value mlbvec_shrfixed(value s1, value c, value b) /* ML */
1003 EXTERNML value mlbvec_lth(value s1, value s2) /* ML */
1009 EXTERNML value mlbvec_lte(value s1, value s2) /* ML */
1015 EXTERNML value mlbvec_gth(value s1, value s2) /* ML */
1021 EXTERNML value mlbvec_gte(value s1, value s2) /* ML */
1027 EXTERNML value mlbvec_equ(value s1, value s2) /* ML */
1033 EXTERNML value mlbvec_neq(value s1, value s2) /* ML */