📦 alliance-devel

U (continued)

• unmarkbddnode(3alc)unmarks bdd node with a specified mask.✨
• unsetbddrefext(3alc)increments the internal reference, and decrements the external reference of a bdd node.✨
• upVarBdd(3alc)brings up an index in a BDD✨

V

• vhdlablname(3alc)returns a compatible VHDL name.✨
• vhdlablvector(3alc)gives the index and the name of a vectorized name.✨
• viewablexpr(3alc)displays an expression.✨
• viewablexprfile(3alc)displays an expression in a file.✨
• viewablexprstr(3alc)displays an expression in a str.✨
• viewbddcircuit(3alc)displays a bdd circuit.✨
• viewbddnode(3alc)displays a bdd node.✨
• viewbddsystem(3alc)displays a bdd system.✨
• viewbddsysteminfo(3alc)displays statistical information.✨