src/misc/espresso/cubehack.c File Reference

#include "espresso.h"

Include dependency graph for cubehack.c:

Go to the source code of this file.

Functions
void	cautious_define_cube_size (int n)
void	define_cube_size (int n)
void	undefine_cube_size ()
void	set_espresso_flags ()

---

Function Documentation

void cautious_define_cube_size

(

int

n

)

Definition at line 32 of file cubehack.c.

{
    if (cube.fullset != 0 && cube.num_binary_vars == n)
        return;
    if (cube.fullset != 0) {
        setdown_cube();
        FREE(cube.part_size);
    }
    cube.num_binary_vars = cube.num_vars = n;
    cube.part_size = ALLOC(int, n);
    cube_setup();
}

void define_cube_size

(

int

n

)

Definition at line 48 of file cubehack.c.

{
    register int q, i;
    static int called_before = 0;

    /* check if the cube is already just the right size */
    if (cube.fullset != 0 && cube.num_binary_vars == n && cube.num_vars == n)
        return;

    /* We can't handle more than 100 inputs */
    if (n > 100) {
        cautious_define_cube_size(n);
        called_before = 0;
        return;
    }

    if (cube.fullset == 0 || ! called_before) {
        cautious_define_cube_size(100);
        called_before = 1;
    }

    cube.num_vars = n;
    cube.num_binary_vars = n;
    cube.num_mv_vars = 0;
    cube.output = -1;
    cube.size = n * 2;

    /* first_part, last_part, first_word, last_word, part_size OKAY */
    /* cube.sparse is OKAY */

    /* need to completely re-make cube.fullset and cube.binary_mask */
    (void) set_fill(cube.fullset, n*2);
    (void) set_fill(cube.binary_mask, n*2);

    /* need to resize each set in cube.var_mask and cube.temp */
    q = cube.fullset[0];
    for(i = 0; i < cube.num_vars; i++)
        cube.var_mask[i][0] = q;
    for(i = 0; i < CUBE_TEMP; i++)
        cube.temp[i][0] = q;

    /* need to resize cube.emptyset and cube.mv_mask */
    cube.emptyset[0] = q;
    cube.mv_mask[0] = q;

    /* need to reset the inword and inmask */
    if (cube.num_binary_vars != 0) {
        cube.inword = cube.last_word[cube.num_binary_vars - 1];
        cube.inmask = cube.binary_mask[cube.inword] & DISJOINT;
    } else {
        cube.inword = -1;
        cube.inmask = 0;
    }

    /* cdata (entire structure) is OKAY */
}

void set_espresso_flags

(

)

Definition at line 126 of file cubehack.c.

{
    summary = FALSE;
    trace = FALSE;
    remove_essential = TRUE;
    force_irredundant = TRUE;
    unwrap_onset = TRUE;
    single_expand = FALSE;
    pos = FALSE;
    recompute_onset = FALSE;
    use_super_gasp = FALSE;
    use_random_order = FALSE;
}

void undefine_cube_size

(

)

Definition at line 108 of file cubehack.c.

{
    if (cube.num_binary_vars > 100) {
        if (cube.fullset != 0) {
            setdown_cube();
            FREE(cube.part_size);
        }
    } else {
        cube.num_vars = cube.num_binary_vars = 100;
        if (cube.fullset != 0) {
            setdown_cube();
            FREE(cube.part_size);
        }
    }
}