ABC: A System for Sequential Synthesis and Verification
Loading...
Searching...
No Matches
Here is a list of all macros with links to the files they belong to:
- e -
eliminate_terminated_1 :
terminate.h
eliminate_terminated_2 :
terminate.h
ELIMINATED :
flags.h
EMA :
averages.h
Emb_ManForEachNode :
giaEmbed.c
Emb_ManForEachObj :
giaEmbed.c
Emb_ManForEachObjVec :
giaEmbed.c
Emb_ObjForEachFanin :
giaEmbed.c
Emb_ObjForEachFanout :
giaEmbed.c
EMBOPT :
options.h
EMPTY_ARRAY :
array.h
EMPTY_FIFO :
fifo.h
EMPTY_STACK :
stack.h
EMPTY_WATCHES :
watch.h
END_ARRAY :
array.h
END_BLOCK :
trees.c
END_CONST_WATCHES :
watch.h
END_FIFO :
fifo.h
END_KLAUSE :
cadical_kitten.c
,
kitten.c
END_LITS :
clause.h
END_RHS :
congruence.c
END_STACK :
stack.h
END_WATCHES :
watch.h
ENLARGE_FIFO :
fifo.h
ENLARGE_STACK :
cadical_kitten.c
,
stack.h
ENOUGH :
inftrees.h
ENOUGH_DISTS :
inftrees.h
ENOUGH_LENS :
inftrees.h
ENQUEUE_FIFO :
fifo.h
EPD_EXP_INF :
epd.h
EPD_MAX_BIN :
epd.h
EPD_MAX_DEC :
epd.h
EQNTOTT_type :
espresso.h
EQUAL :
st.c
,
stmm.c
,
deflate.c
equal :
espresso.h
ERR_MSG :
zutil.h
ERR_REPT_SIZE :
giaPat2.c
ERR_RETURN :
zutil.h
ESSEN :
espresso.h
ESSEN_TIME :
espresso.h
EXACT :
espresso.h
EXEC :
espresso.h
EXEC_S :
espresso.h
EXECUTE :
espresso.h
EXP_CONST0 :
exp.h
EXP_CONST1 :
exp.h
EXPAND :
espresso.h
EXPAND1 :
espresso.h
EXPAND_TIME :
espresso.h
EXTERN :
avl.h
,
st.h
,
stmm.h
EXTERNAL_MAX_VAR :
literal.h
EXTRA_BUFFER_SIZE :
extraUtilReader.c
EXTRA_MINIMUM :
extraUtilReader.c
EXTRA_OFFSET_SIZE :
extraUtilReader.c
EXTRA_RLIMIT_DATA_DEFAULT :
extraUtilUtil.c
EXTRA_STATE :
deflate.h
Generated by Doxygen 1.13.2 © 2025 EPTansuo. All rights reserved.
鲁ICP备2021046540号
