## 4 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 6.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 6.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 6.5).

### set [dnf, cnf, reed]

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