Expand description
Kernel function names in the GPU Decision-DNNF compiler module (CNF validation + circuit levelization).
Constantsยง
- D4_
ASSERT_ BITSET_ VAR - D4_
ASSERT_ DENSE_ VAR - D4_
ASSERT_ LEAF_ ROOT_ AND_ DEGREE - D4_
ASSERT_ U32_ EQ - D4_
BUILD_ FREE_ VAR_ MASK - D4_
CAPTURE_ EMIT_ META - D4_
COMPILE_ COUNT - D4_
COMPILE_ EMIT - D4_
FRONTIER_ EXPAND - D4_
FRONTIER_ EXPAND_ DENSE - D4_
FRONTIER_ PREPARE - D4_
FRONTIER_ PREPARE_ DENSE - D4_
LEVELIZE_ COUNTS - D4_
LEVELIZE_ EMIT - D4_
MARK_ VARS_ IN_ CIRCUIT - D4_
MARK_ VARS_ IN_ CLAUSES - D4_
SMOOTH_ CHECK_ EDGE_ CAP - D4_
SMOOTH_ COUNT - D4_
SMOOTH_ EMIT_ LEVEL - D4_
SMOOTH_ INIT_ NODES - D4_
SMOOTH_ WRAPPER_ COUNTS - D4_
SMOOTH_ WRAPPER_ EDGE_ COUNTS_ DEC - D4_
SMOOTH_ WRAPPER_ EDGE_ COUNTS_ OR - D4_
SUPPORT_ LEVEL - D4_
SUPPORT_ SET_ ROOT_ BITS - D4_
VALIDATE_ CNF