The processor is started by the command bddc, then the user enters an interactive session.
exits the processor.
prints the list of commands.
reads commands from a file.
prints the syntax of logical expressions.
prints the list of arguments and variables in the current context (see 6.2).
builds the bdd corresponding to the expression in the current context, and outputs a polynomial equivalent to this bdd.
builds the bdd corresponding to the expression in the current context, assigns it to the variable ident, and outputs a polynomial equivalent to this bdd.
defines a function, wich can be used latter in logical expression.
print a polynomial equivalent to the bdd held by the variable ident. This command is obsolete: it is equivalent to type "ident;", since a identifier is a logical expression.
prints the size of the bdd corresponding to exp. This size is expressed as a number of "bdd nodes" (see 6.1).
those commands are quite equivalent to typing "exp;", except that the output is printed (respectively) in disjunctive, conjunctive, or Reed-Muller normal form (see 6.5).
sets the output mode (disjunctive, conjunctive, or Reed-Muller normal form see 6.5).