next up previous contents
Next: Directives Up: Canonical form Previous: Boolean function extensions   Contents

Manipulators

 GCF


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


gcf <function> <cofactor>


% latex2html id marker 12072
$\textstyle \parbox{110mm}{
where {\tt <cofactor>...
...ection} for a description of generalized cofactor and when
it might be useful.}$

STRENGTHEN


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


strengthen <function>_1 <function>_2


% latex2html id marker 12074
$\textstyle \parbox{110mm}{
where {\tt <function>\...
... To find out more about strengthening see
Section~\ref{strengthening-section}.}$

PRUNE


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


prune <function>_1 <function>_2


% latex2html id marker 12076
$\textstyle \parbox{110mm}{
where {\tt <function>\...
... To find out more
about branch pruning see Section~\ref{branch-prune-section}.}$

EXIST


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


exist <function> <variable>


% latex2html id marker 12078
$\textstyle \parbox{110mm}{
where {\tt <function>}...
...xistentially quantifying away variables
see Section~\ref{existential-section}.}$

UNIVERSE


$\textstyle \parbox{110mm}{
The syntax for this manipulator is}$


universe <function> <variable>


% latex2html id marker 12080
$\textstyle \parbox{110mm}{
where {\tt <function>}...
...out universally quantifying away variables
see Section~\ref{universe-section}.}$

TRUTH_TABLE


$\textstyle \parbox{110mm}{
Functions can be defined by their truth table using {\tt
TRUTH\_TABLE}. Syntax for this manipulator is}$


truth_table <#vars> <var> ... <var> <TF-string>


$\textstyle \parbox{110mm}{
where {\tt <var>} are variables, {\tt <\char93 vars>...
...2^{\tt <\char93 vars>}$\ symbols in the {\tt
<TF-string>}. An example is this:}$


truth_table 3 x1 x2 x3 TTFFTFFT

MINMAX


$\textstyle \parbox{110mm}{
The syntax of this function is as follows:}$


minmax <#args> <min_#> <max_#> <blank_separated_var_list>


$\textstyle \parbox{110mm}{
where the first three arguments are positive integer...
...umber of variables in the {\tt <...\_var\_list>}. The
following is an example,}$


minmax(4, 1, 3, x13, x12, x11, x10)


$\textstyle \parbox{110mm}{
which has value {\em T} if at least 1 and no more th...
...e {\tt PRINT\_TREE} directive below to view the truth table for
this function.}$

SAFE


$\textstyle \parbox{110mm}{
The syntax of this function is as follows:}$


safe <function> <variable>


% latex2html id marker 12087
$\textstyle \parbox{110mm}{
This function returns ...
...). For more information about safe assignments see
Section~\ref{safe-section}.}$



Sean Weaver 2007-01-08