3  Commands

The processor is started by the command bddc, then the user enters an interactive session.

quit

exits the processor.

help

prints the list of commands.

exec "command-file"

reads commands from a file.

syntax

prints the syntax of logical expressions.

list

prints the list of arguments and variables in the current context (see 5.2).

exp;

builds the bdd corresponding to the expression in the current context, and outputs a polynomial equivalent to this bdd.

ident := exp ;

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.

ident( identlist) := exp;

defines a function, wich can be used latter in logical expression.

print ident

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.

size exp;

prints the size of the bdd corresponding to exp. This size is expressed as a number of "bdd nodes" (see 5.1).

[dnf, cnf, reed] exp;

those commands are quite equivalent to typing "exp;", except that the output is printed (respectively) in disjunctive, conjunctive, or Reed-Muller normal form (see 5.5).

set [dnf, cnf, reed]

sets the output mode (disjunctive, conjunctive, or Reed-Muller normal form see 5.5).