`Cal_AssociationInit()`
  Creates or finds a variable association.
`Cal_AssociationQuit()`
  Deletes the variable association given by id
`Cal_AssociationSetCurrent()`
  Sets the current variable association to the one given by id and returns the ID of the old association.
`Cal_BddAnd()`
  Returns the BDD for logical AND of argument BDDs
`Cal_BddBetween()`
  Returns a minimal BDD whose function contains fMin and is contained in fMax.
`Cal_BddCofactor()`
  Returns the generalized cofactor of BDD f with respect to BDD c.
`Cal_BddCompose()`
  composition - substitute a BDD variable by a function
`Cal_BddDependsOn()`
  Returns 1 if f depends on var and returns 0 otherwise.
`Cal_BddDumpBdd()`
  Write a BDD to a file
`Cal_BddDynamicReordering()`
  Specify dynamic reordering technique.
`Cal_BddElse()`
  Returns the negative cofactor of the argument BDD with respect to the top variable of the BDD.
`Cal_BddExists()`
  Returns the result of existentially quantifying some variables from the given BDD.
`Cal_BddForAll()`
  Returns the result of universally quantifying some variables from the given BDD.
`Cal_BddFree()`
  Frees the argument BDD.
`Cal_BddFunctionPrint()`
  Prints the function implemented by the argument BDD
`Cal_BddFunctionProfileMultiple()`
  Returns a "function profile" for fArray.
`Cal_BddFunctionProfile()`
  Returns a "function profile" for f.
`Cal_BddGetIfId()`
  Returns the id of the top variable of the argument BDD.
`Cal_BddGetIfIndex()`
  Returns the index of the top variable of the argument BDD.
`Cal_BddGetRegular()`
  Returns a BDD with positive from a given BDD with arbitrary phase
`Cal_BddITE()`
  Returns the BDD for logical If-Then-Else Description [Returns the BDD for the logical operation IF f THEN g ELSE h - f g + f' h
`Cal_BddIdentity()`
  Returns the duplicate BDD of the argument BDD.
`Cal_BddIf()`
  Returns the BDD corresponding to the top variable of the argument BDD.
`Cal_BddImplies()`
  Computes a BDD that implies conjunction of f and Cal_BddNot(g)
`Cal_BddIntersects()`
  Computes a BDD that implies conjunction of f and g.
`Cal_BddIsBddConst()`
  Returns 1 if the argument BDD is a constant, 0 otherwise.
`Cal_BddIsBddNull()`
  Returns 1 if the argument BDD is NULL, 0 otherwise.
`Cal_BddIsBddOne()`
  Returns 1 if the argument BDD is constant one, 0 otherwise.
`Cal_BddIsBddZero()`
  Returns 1 if the argument BDD is constant zero, 0 otherwise.
`Cal_BddIsCube()`
  Returns 1 if the argument BDD is a cube, 0 otherwise
`Cal_BddIsEqual()`
  Returns 1 if argument BDDs are equal, 0 otherwise.
`Cal_BddIsProvisional()`
  Returns 1, if the given user BDD contains provisional BDD node.
`Cal_BddManagerCreateNewVarAfter()`
  Creates and returns a new variable after the specified one in the variable order.
`Cal_BddManagerCreateNewVarBefore()`
  Creates and returns a new variable before the specified one in the variable order.
`Cal_BddManagerCreateNewVarFirst()`
  Creates and returns a new variable at the start of the variable order.
`Cal_BddManagerCreateNewVarLast()`
  Creates and returns a new variable at the end of the variable order.
`Cal_BddManagerGC()`
  Invokes the garbage collection at the manager level.
`Cal_BddManagerGetHooks()`
  Returns the hooks field of the manager.
`Cal_BddManagerGetNumNodes()`
  Returns the number of BDD nodes
`Cal_BddManagerGetVarWithId()`
  Returns the variable with the specified id, null if no such variable exists
`Cal_BddManagerGetVarWithIndex()`
  Returns the variable with the specified index, null if no such variable exists
`Cal_BddManagerInit()`
  Creates and initializes a new BDD manager.
`Cal_BddManagerQuit()`
  Frees the BDD manager and all the associated allocations
`Cal_BddManagerSetGCLimit()`
  Sets the limit of the garbage collection.
`Cal_BddManagerSetHooks()`
  Sets the hooks field of the manager.
`Cal_BddManagerSetParameters()`
  Sets appropriate fields of BDD Manager.
`Cal_BddMultiwayAnd()`
  Returns the BDD for logical AND of argument BDDs
`Cal_BddMultiwayOr()`
  Returns the BDD for logical OR of argument BDDs
`Cal_BddMultiwayXor()`
  Returns the BDD for logical XOR of argument BDDs
`Cal_BddNand()`
  Returns the BDD for logical NAND of argument BDDs
`Cal_BddNewVarBlock()`
  Creates and returns a variable block used for controlling dynamic reordering.
`Cal_BddNodeLimit()`
  Sets the node limit to new_limit and returns the old limit.
`Cal_BddNor()`
  Returns the BDD for logical NOR of argument BDDs
`Cal_BddNot()`
  Returns the complement of the argument BDD.
`Cal_BddOne()`
  Returns the BDD for the constant one
`Cal_BddOr()`
  Returns the BDD for logical OR of argument BDDs
`Cal_BddOverflow()`
  Returns 1 if the node limit has been exceeded, 0 otherwise. The overflow flag is cleared.
`Cal_BddPairwiseAnd()`
  Returns an array of BDDs obtained by logical AND of BDD pairs specified by an BDD array in which a BDD at an even location is paired with a BDD at an odd location of the array
`Cal_BddPairwiseOr()`
  Returns an array of BDDs obtained by logical OR of BDD pairs specified by an BDD array in which a BDD at an even location is paired with a BDD at an odd location of the array
`Cal_BddPairwiseXor()`
  Returns an array of BDDs obtained by logical XOR of BDD pairs specified by an BDD array in which a BDD at an even location is paired with a BDD at an odd location of the array
`Cal_BddPrintBdd()`
  Prints a BDD in the human readable form.
`Cal_BddPrintFunctionProfileMultiple()`
  Cal_BddPrintFunctionProfileMultiple is like Cal_BddPrintFunctionProfile except for multiple BDDs
`Cal_BddPrintFunctionProfile()`
  Cal_BddPrintFunctionProfile is like Cal_BddPrintProfile except it displays a function profile for f
`Cal_BddPrintProfileMultiple()`
  Cal_BddPrintProfileMultiple is like Cal_BddPrintProfile except it displays the profile for a set of BDDs
`Cal_BddPrintProfile()`
  Displays the node profile for f on fp. lineLength specifies the maximum line length. varNamingFn is as in Cal_BddPrintBdd.
`Cal_BddProfileMultiple()`
`Cal_BddProfile()`
  Returns a "node profile" of f, i.e., the number of nodes at each level in f.
`Cal_BddReduce()`
  Returns a BDD which agrees with f for all valuations which satisfy c.
`Cal_BddRelProd()`
  Returns the result of taking the logical AND of the argument BDDs and existentially quantifying some variables from the product.
`Cal_BddReorder()`
  Invoke the current dynamic reodering method.
`Cal_BddSatisfySupport()`
  Returns a special cube contained in f.
`Cal_BddSatisfyingFraction()`
  Returns the fraction of valuations which make f true. (Note that this fraction is independent of whatever set of variables f is supposed to be a function of)
`Cal_BddSatisfy()`
  Returns a BDD which implies f, true for some valuation on which f is true, and which has at most one node at each level
`Cal_BddSetGCMode()`
  Sets the garbage collection mode, 0 means the garbage collection should be turned off, 1 means garbage collection should be on.
`Cal_BddSizeMultiple()`
  The routine is like Cal_BddSize, but takes a null-terminated array of BDDs and accounts for sharing of nodes.
`Cal_BddSize()`
  Returns the number of nodes in f when negout is nonzero. If negout is zero, we pretend that the BDDs don't have negative-output pointers.
`Cal_BddStats()`
  Prints miscellaneous BDD statistics
`Cal_BddSubstitute()`
  Substitute a set of variables by functions
`Cal_BddSupport()`
  returns the support of f as a null-terminated array of variables
`Cal_BddSwapVars()`
  Return a function obtained by swapping two variables
`Cal_BddThen()`
  Returns the positive cofactor of the argument BDD with respect to the top variable of the BDD.
`Cal_BddTotalSize()`
  Returns the number of nodes in the Unique table
`Cal_BddType()`
  Returns type of a BDD ( 0, 1, +var, -var, ovrflow, nonterminal)
`Cal_BddUnFree()`
  Unfrees the argument BDD.
`Cal_BddUndumpBdd()`
  Reads a BDD from a file
`Cal_BddVarBlockReorderable()`
  Sets the reoderability of a particular block.
`Cal_BddVarSubstitute()`
  Substitute a set of variables by set of another variables.
`Cal_BddVars()`
  Returns the number of BDD variables
`Cal_BddXnor()`
  Returns the BDD for logical exclusive NOR of argument BDDs
`Cal_BddXor()`
  Returns the BDD for logical exclusive OR of argument BDDs
`Cal_BddZero()`
  Returns the BDD for the constant zero
`Cal_MemAllocation()`
  Returns the memory allocated.
`Cal_MemFatal()`
  Prints an error message and exits.
`Cal_MemFreeBlock()`
  Frees the block.
`Cal_MemFreeRecMgr()`
  Frees all the storage associated with the specified record manager.
`Cal_MemFreeRec()`
  Frees a record managed by the indicated record manager.
`Cal_MemGetBlock()`
  Allocates a new block of the specified size.
`Cal_MemNewRecMgr()`
  Creates a new record manager with the given record size.
`Cal_MemNewRec()`
  Allocates a record from the specified record manager.
`Cal_MemResizeBlock()`
  Expands or contracts the block to a new size. We try to avoid moving the block if possible.
`Cal_PerformanceTest()`
  Main routine for testing performances of various routines.
`Cal_PipelineCreateProvisionalBdd()`
  Create a provisional BDD in the pipeline.
`Cal_PipelineExecute()`
  Executes a pipeline.
`Cal_PipelineInit()`
  Initialize a BDD pipeline.
`Cal_PipelineQuit()`
  Resets the pipeline freeing all resources.
`Cal_PipelineSetDepth()`
  Set depth of a BDD pipeline.
`Cal_PipelineUpdateProvisionalBdd()`
  Update a provisional Bdd obtained during pipelining.
`Cal_TempAssociationAugment()`
  Adds to the temporary variable association.
`Cal_TempAssociationInit()`
  Sets the temporary variable association.
`Cal_TempAssociationQuit()`
  Cleans up temporary association

Last updated on 970711 20h11