- a -

• append() : Minisat

- c -

• const2ast() : VERILOG_FRONTEND
• const_add() : RTLIL
• const_and() : RTLIL
• const_div() : RTLIL
• const_eq() : RTLIL
• const_eqx() : RTLIL
• const_ge() : RTLIL
• const_gt() : RTLIL
• const_le() : RTLIL
• const_logic_and() : RTLIL
• const_logic_not() : RTLIL
• const_logic_or() : RTLIL
• const_lt() : RTLIL
• const_mod() : RTLIL
• const_mul() : RTLIL
• const_ne() : RTLIL
• const_neg() : RTLIL
• const_nex() : RTLIL
• const_not() : RTLIL
• const_or() : RTLIL
• const_pos() : RTLIL
• const_pow() : RTLIL
• const_reduce_and() : RTLIL
• const_reduce_bool() : RTLIL
• const_reduce_or() : RTLIL
• const_reduce_xnor() : RTLIL
• const_reduce_xor() : RTLIL
• const_shift() : RTLIL
• const_shiftx() : RTLIL
• const_shl() : RTLIL
• const_shr() : RTLIL
• const_sshl() : RTLIL
• const_sshr() : RTLIL
• const_sub() : RTLIL
• const_xnor() : RTLIL
• const_xor() : RTLIL
• copy() : Minisat
• cpuTime() : Minisat

- d -

• dpi_call() : AST
• drand() : Minisat
• dump_cell() : ILANG_BACKEND
• dump_conn() : ILANG_BACKEND
• dump_const() : ILANG_BACKEND
• dump_design() : ILANG_BACKEND
• dump_memory() : ILANG_BACKEND
• dump_module() : ILANG_BACKEND
• dump_proc() : ILANG_BACKEND
• dump_proc_case_body() : ILANG_BACKEND
• dump_proc_switch() : ILANG_BACKEND
• dump_proc_sync() : ILANG_BACKEND
• dump_sigchunk() : ILANG_BACKEND
• dump_sigspec() : ILANG_BACKEND
• dump_wire() : ILANG_BACKEND

- e -

• eagerMatch() : Minisat
• escape_id() : RTLIL

- f -

• find() : Minisat

- h -

• hash() : Minisat

- i -

• id2cstr() : RTLIL
• irand() : Minisat
• isEof() : Minisat

- l -

• l_False() : Minisat
• l_True() : Minisat
• l_Undef() : Minisat
• limitMemory() : Minisat
• limitTime() : Minisat

- m -

• match() : Minisat
• maybe_plus_x() : generate
• memUsed() : Minisat
• memUsedPeak() : Minisat
• mkLit() : Minisat

- o -

• operator^() : Minisat
• operator~() : Minisat

- p -

• parse_DIMACS() : Minisat
• parse_DIMACS_main() : Minisat
• parseInt() : Minisat
• parseOptions() : Minisat
• printUsageAndExit() : Minisat
• process() : AST

- r -

• random_expr() : generate
• random_expression() : generate
• random_plus_x() : generate
• randomShuffle() : Minisat
• readClause() : Minisat
• redirect_stdout() : generate
• remove() : Minisat

- s -

• selectionSort() : Minisat
• setHelpPrefixStr() : Minisat
• setUsageHelp() : Minisat
• setX86FPUPrecision() : Minisat
• sign() : Minisat
• sigTerm() : Minisat
• skipLine() : Minisat
• skipWhitespace() : Minisat
• sort() : Minisat

- t -

• toInt() : Minisat
• toLbool() : Minisat
• toLit() : Minisat
• type2str() : AST

- u -

• unescape_id() : RTLIL
• use_internal_line_num() : AST

- v -

• value_to_binary() : txt2tikztiming
• value_to_decimal() : txt2tikztiming
• value_to_hex() : txt2tikztiming
• value_to_logic() : txt2tikztiming
• var() : Minisat

- x -

• xrealloc() : Minisat