section 3alc · Library functions 📚

A

• ablToBddCct(3alc)converts an ABL into a BDD within a circuit✨
• addablhexpr(3alc)adds a new argument in head of an expression.✨
• addablqexpr(3alc)adds a new argument in queue of an expression.✨
• addbddassoc(3alc)creates a new association variables.✨
• addbddcircuitabl(3alc)converts an abl expression to a bdd node.✨
• addbddcircuitin(3alc)adds an input in a bdd circuit.✨
• addbddcircuitout(3alc)adds an output in a bdd circuit.✨
• addbddnode(3alc)adds a new bdd node in the bdd system.✨
• addbddnodeassoc(3alc)adds a bdd node in a variable association.✨
• addbddnodelist(3alc)adds a node in a chain_list.✨
• addbddvar(3alc)adds a new variable in the bdd system.✨
• addbddvarafter(3alc)adds a new variable, after an existing one.✨
• addbddvarbefore(3alc)adds a new variable, before an existing one.✨
• addbddvarfirst(3alc)adds a new variable, before all others.✨
• addbddvarlast(3alc)adds a new variable, after all others.✨
• addListBdd(3alc)adds a BDD to a chained list of BDDs✨
• AFFECT(3alc)✨
• alliancebanner(3alc)display the standardized Alliance banner✨
• applyBdd(3alc)applies an operator to a list of BDD.✨
• applybddnode(3alc)applies an operator on two bdd nodes.✨
• applybddnodeite(3alc)computes the IF-THEN-ELSE logical operation.✨
• applybddnodelist(3alc)applies an opertor to a bdd nodes list.✨
• applybddnodenot(3alc)complements a bdd.✨
• applybddnodeterm(3alc)applies an operator on two bdd nodes.✨
• applyBinBdd(3alc)applies an operator to two BDD.✨
• ARRAY(3alc)✨
• autallocblock(3alc)memory allocator✨
• autallocheap(3alc)heap memory allocator✨
• autfreeblock(3alc)releases a memory block✨
• autfreeheap(3alc)releases a memory block, and put it on the heap.✨
• auth2elem(3alc)element in an hash table with two keys.✨
• auth2table(3alc)hash table structure✨
• authelem(3alc)element in an hash table✨
• authtable(3alc)hash table structure✨
• autresizeblock(3alc)resizes a memory block✨

B

• bddToAblCct(3alc)converts a BDD into an ABL within a circuit✨
• beh(3alc)Generic behavioural data structures✨
• beh_debug(3alc)BEH structures displayer-debugger✨
• beh_depend(3alc)compute forward dependencies in a description✨
• beh_error(3alc)✨
• beh_makbdd(3alc)create a BDD for each expression in a description✨
• beh_makgex(3alc)create a GEX for each expression in a description✨
• beh_message(3alc)✨

C

• clearbddsystemref(3alc)clears the references for all bdd nodes.✨
• clearbddsystemrefext(3alc)clears the external references for all bdd nodes.✨
• clearbddsystemrefint(3alc)clears the internal references for all bdd nodes.✨
• cofactorbddnode(3alc)computes the generalized cofactor.✨
• composeBdd(3alc)substitutes an index by a BDD in another BDD✨
• composebddnode(3alc)substitutes a variable by a bdd in another bdd.✨
• constraintBdd(3alc)restricts a BDD to another BDD✨
• convertbddcircuitabl(3alc)converts a bdd node to an abl expression.✨
• convertbddcircuitsumabl(3alc)converts a bdd node to an abl expression.✨
• convertbddindexabl(3alc)converts a bdd index to an abl expression.✨
• convertbddmuxabl(3alc)converts two bdd nodes to an abl multiplexor expression.✨
• convertbddnodeabl(3alc)converts a bdd node to an abl expression.✨
• convertbddnodesumabl(3alc)converts a bdd node to an abl expression.✨
• createablatom(3alc)creates an atomic expression.✨
• createablbinexpr(3alc)creates a binary operator expression.✨
• createablnotexpr(3alc)complements an expression.✨
• createabloper(3alc)creates the head of an operator expression.✨
• createablunaryexpr(3alc)creates an unary operator expression.✨
• createablxorbinexpr(3alc)creates an 'xor' or 'xnor' operator expression.✨
• createbddcircuit(3alc)creates a bdd circuit.✨
• createbddsystem(3alc)creates a bdd system.✨
• createNodeTermBdd(3alc)creates a terminal node of variable.✨

D

• decbddrefext(3alc)decrements the external reference of a bdd node.✨
• decbddrefint(3alc)decrements the internal reference of a bdd node.✨
• DECLAR(3alc)✨
• DEF_GENPAT(3alc)✨
• delablexpr(3alc)deletes an expression.✨
• delablexprnum(3alc)deletes an operand in an expression.✨
• delbddassoc(3alc)deletes a variable association.✨
• delbddcircuitout(3alc)deletes an output in a bdd circuit.✨
• delbddnode(3alc)deletes an unused bdd node.✨
• delbddnodeassoc(3alc)deletes a bdd node in a variable association.✨
• delbddnodelist(3alc)deletes a list of bdd nodes.✨
• destroyBdd(3alc)removes the BDDs system✨
• destroybddassoc(3alc)frees all the variable associations.✨
• destroybddcircuit(3alc)destroys a bdd circuit.✨
• destroybddsystem(3alc)destroys a bdd system.✨
• devablxorexpr(3alc)develops 'xor', 'nxor' in an expression.✨
• devdupablxorexpr(3alc)duplicates and develops 'xor', 'nxor'.✨
• displayBdd(3alc)displays a BDD✨
• DPGEN_ADSB2F(3alc)Adder/Substractor Macro-Generator✨
• DPGEN_AND2(3alc)AND2 Macro-Generator✨
• DPGEN_AND3(3alc)AND3 Macro-Generator✨
• DPGEN_AND4(3alc)AND4 Macro-Generator✨
• DPGEN_BUFF(3alc)Buffer Macro-Generator✨
• DPGEN_BUSE(3alc)tristate Macro-Generator✨
• DPGEN_CONST(3alc)Constant Macro-Generator✨
• DPGEN_DFF(3alc)Dynamic Flip-Flop Macro-Generator✨
• DPGEN_DFFT(3alc)Dynamic Flip-Flop with Scan-Path Macro-Generator✨
• DPGEN_FIFO(3alc)FIFO Macro-Generator✨
• DPGEN_INV(3alc)Inverter Macro-Generator✨
• DPGEN_MUX2(3alc)Multiplexer Macro-Generator✨
• DPGEN_NAND2(3alc)NAND2 Macro-Generator✨
• DPGEN_NAND2MASK(3alc)Programmable Mask Macro-Generator✨
• DPGEN_NAND3(3alc)NAND3 Macro-Generator✨
• DPGEN_NAND4(3alc)NAND4 Macro-Generator✨
• DPGEN_NBUSE(3alc)Tristate Macro-Generator✨
• DPGEN_NMUX2(3alc)Multiplexer Macro-Generator✨
• DPGEN_NOR2(3alc)NOR2 Macro-Generator✨
• DPGEN_NOR2MASK(3alc)Programmable Mask Macro-Generator✨
• DPGEN_NOR3(3alc)NOR3 Macro-Generator✨
• DPGEN_NOR4(3alc)NOR4 Macro-Generator✨
• DPGEN_NUL(3alc)Zero Detector Macro-Generator✨
• DPGEN_OR2(3alc)OR2 Macro-Generator✨
• DPGEN_OR3(3alc)OR3 Macro-Generator✨
• DPGEN_OR4(3alc)OR4 Macro-Generator✨
• DPGEN_RF1(3alc)Register File Macro-Generator✨
• DPGEN_RF1D(3alc)Register File with Decoder Macro-Generator✨
• DPGEN_ROM2(3alc)2 words ROM Macro-Generator✨
• DPGEN_ROM4(3alc)4 words ROM Macro-Generator✨
• DPGEN_SFF(3alc)Static Flip-Flop Macro-Generator✨
• DPGEN_SFFT(3alc)Static Flip-Flop with Scan-Path Macro-Generator✨
• DPGEN_SHIFT(3alc)Shifter Macro-Generator✨
• DPGEN_XNOR2(3alc)XNOR2 Macro-Generator✨
• DPGEN_XNOR2MASK(3alc)Programmable Mask Macro-Generator✨
• DPGEN_XOR2(3alc)XOR2 Macro-Generator✨
• dupablexpr(3alc)duplicates an expression.✨

E

• existbddnodeassocoff(3alc)computes an existential quantification.✨
• existbddnodeassocon(3alc)computes an existential quantification.✨

F

• flatablexpr(3alc)merges the operators of an expression✨
• freeablexpr(3alc)frees an expression.✨

G

• garbagebddsystem(3alc)Forces a bdd garbage collection.✨
• gcNodeBdd(3alc)does a garbage collection✨
• GENLIB_MACRO(3alc)Interface with all MACRO generators.✨
• getablexprdepth(3alc)gives the depth of an expression.✨
• getablexprlength(3alc)gives the length of an expression.✨
• getablexprmax(3alc)applies a function to all operands.✨
• getablexprmin(3alc)applies a function to all operands.✨
• getablexprnum(3alc)gives a specified operand of an expression.✨
• getablexprnumatom(3alc)gives the number of atom in an expression.✨
• getablexprnumbinoper(3alc)gives the number of binary operators in an expression.✨
• getablexprnumocc(3alc)how many times a name appears in an expression.✨
• getablexprsupport(3alc)gives the expression's support.✨
• getbddnodenum(3alc)gets the number of nodes in a bdd.✨
• getbddnodesize(3alc)gets the number of nodes in a bdd.✨
• getbddnodesupport(3alc)gives the variable support of a bdd node.✨
• getbddvarbyindex(3alc)converts bdd index to a variable number.✨
• getbddvarindex(3alc)converts a variable number in a bdd index.✨
• getbddvarnode(3alc)gives the bdd node of a variable.✨
• getbddvarnodebyindex(3alc)gives the bdd node of a variable.✨
• GETCPAT(3alc)✨

I

• implybddnode(3alc)computes a bdd that implies a conjonction of two bdd nodes.✨
• incbddrefext(3alc)increments the external reference of a bdd node.✨
• incbddrefint(3alc)increments the internal reference of a bdd node.✨
• INIT(3alc)✨
• initializeBdd(3alc)initializes the BDDs system✨
• intersectbddnode(3alc)tests for an intersection between two bdd nodes.✨
• isablbinaryoper(3alc)tests if an operator is binary.✨
• isablequalexpr(3alc)tests if two expressions are strictly identicals.✨
• isablnameinexpr(3alc)✨
• isabloperinexpr(3alc)tests if an operator appears in an expression.✨
• isablsimilarexpr(3alc)tests if two expressions have the same morphology.✨
• isablunaryoper(3alc)tests if an operator is unary.✨
• isbddvarinsupport(3alc)tests if a variable appears in a bdd.✨

L

• LABEL(3alc)✨
• libpat(3alc)Generic pattern data structure✨
• log(3alc)logical representations for boolean functions and utilities.✨

M

• mapablanyexpr(3alc)applies a function to all operands.✨
• mapableveryexpr(3alc)applies a function to all operands.✨
• mapablexpr(3alc)applies a function to all operands.✨
• mapabloperexpr(3alc)applies a function to all operands.✨
• markAllBdd(3alc)marks all the nodes of the BDDs system✨
• markBdd(3alc)marks all nodes of a BDD✨
• markbddnode(3alc)marks bdd node with a specified mask.✨
• mbkgetenv(3alc)get an environment variable✨

N

• notBdd(3alc)complements a BDD✨
• numberNodeAllBdd(3alc)count the number of nodes used in the BDD system✨
• numberNodeBdd(3alc)computes the number of nodes used in a BDD✨

P

• polarablexpr(3alc)moves inverters to the atomic level.✨
• polardupablexpr(3alc)duplicates an expression and moves down the inverters.✨

R

• relprodbddnodeassoc(3alc)computes a relational product.✨
• reorderbddsystemdynamic(3alc)specifies the dynamic bdd reorder parameters.✨
• reorderbddsystemsimple(3alc)reorders the bdd nodes of a bdd system.✨
• reorderbddsystemtop(3alc)reorders the bdd nodes of a bdd system.✨
• reorderbddsystemwindow(3alc)reorders the bdd nodes of a bdd system.✨
• resetBdd(3alc)resets the BDDs system✨
• resetbddcircuit(3alc)resets a bdd circuit.✨
• resetbddsystem(3alc)resets a bdd system.✨
• restrictbddnode(3alc)substitutes a variable by a zero or one, in a bdd.✨

S

• satisfybddnode(3alc)finds a satisfying path for a bdd node.✨
• SAVE(3alc)✨
• searchbddcircuitin(3alc)searches an input in a bdd circuit.✨
• searchbddcircuitout(3alc)searches an output in a bdd circuit.✨
• setbddrefext(3alc)increments the external reference, and decrements the internal reference of a bdd node.✨
• simpablexpr(3alc)simplies an expression.✨
• simpbddnodedcoff(3alc)simplifies a bdd with don't cares on its off-set part.✨
• simpbddnodedcon(3alc)simplifies a bdd with don't cares on its on-set part.✨
• simpdupablexpr(3alc)duplicates and simplies an expression.✨
• simplifDcOneBdd(3alc)simplifies a BDD with don't cares on its on-set part✨
• simplifDcZeroBdd(3alc)simplifies a BDD with don't cares on its off-set part✨
• substablexpr(3alc)substitutes a given atom by an expression.✨
• substbddnodeassoc(3alc)substitutes a set of variables with a set of bdd node.✨
• substdupablexpr(3alc)substitutes a given atom by an expression.✨
• supportChain_listBdd(3alc)returns a chained list of nodes that are used in a given BDD.✨
• swapbddvar(3alc)swaps two contiguous variables.✨

T

• testbddcircuit(3alc)debugs a bdd circuit.✨

U

• unflatablexpr(3alc)unflats the operators of an expression✨