|
Restric a set of variables to constant values. This function restricts the variables in r to constant true or false. How this is done depends on how the variables are included in the variable set var. If they are included in their positive form then they are restricted to true and vice versa. Unfortunately it is not possible to insert variables in their negated form using bdd_makeset, so the variable set has to be build manually as a conjunction of the variables. Example: Assume variable 1 should be restricted to true and variable 3 to false. bdd X = make_user_bdd(); bdd R1 = bdd_ithvar(1); bdd R2 = bdd_nithvar(3); bdd R = bdd_addref(bdd_apply(R1,R2, bddop_and) ); bdd RES = bdd_addref( bdd_restrict(X,R) );
|
1.5.1