section 3alc · Library functions 📚

212 pages · page 2 of 2

all 3 (100762)33ssl (6156)3B (42)3G (1100)3I (51)3LIBIIO (1)3NCARG (834)3OpenMPI (1)3PVM (71)3Sympa (164)3U (96)3WN (5)3alc (212)3alleg4 (923)3alleg5 (1063)3am (31)3ast (63)3attr (4)3avr (983)3bobcat (143)3brotli (4)3bsd (239)3caca (346)3cl (1)3clc (322)3cocci (1)3coin2 (588)3coin3 (753)3coin4 (918)3compat (22)3const (18)3ctype (1)3curses (18)3cvc (2)3cxx (1060)3debug (15)3edit (1)3em (198)3embree3 (113)3embree4 (127)3erl (623)3f (128)3form (106)3freebsd (1)3fun (1)3gl (467)3gle (14)3go (1)3guile (1)3gv (7)3hal (49)3head (3)3http (66)3itcl (17)3itk (6)3iv (354)3iwidget (52)3java (1)3libmawk (10)3libunwind (29)3lua (13)3m17n (257)3m_cli2 (8)3menu (88)3monocypher (73)3nas (130)3ncurses (703)3nx (5)3o (437)3ossl (6166)3ossp (2)3p (882)3pcap (75)3perl (820)3pg13 (68)3pg14 (72)3pg15 (72)3pg16 (72)3pg17 (72)3pg18 (72)3php (1)3plplot (175)3pm (34259)3pmc (296)3posix (882)3pub (150)3python (1)3qt (832)3r (1)3readline (2)3rheolef (13)3rtapi (66)3ruby (1)3scm (459)3sharp (1)3so (8)3ssl (6930)3stap (807)3str (19)3supp (19)3t (35)3tcl (1477)3tcllib (1)3tclx (25)3tiff (60)3tk (513)3tls (13)3trf (28)3ts (239)3type (466)3valkey (395)3visa (2)3x (1069)

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.✨