📦 alliance-devel

212 pages · page 1 of 2

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✨