Filtering...

litp

books/centaur/aignet/litp
other
(in-package "AIGNET")
other
(include-book "../satlink/litp")
lit-idmacro
(defmacro lit-id
  (x)
  `(lit->var ,AIGNET::X))
other
(add-macro-alias lit-id
  lit->var$inline)
lit-negmacro
(defmacro lit-neg
  (x)
  `(lit->neg ,AIGNET::X))
other
(add-macro-alias lit-neg
  lit->neg$inline)
mk-litmacro
(defmacro mk-lit
  (var neg)
  `(make-lit ,AIGNET::VAR ,AIGNET::NEG))
other
(add-macro-alias mk-lit
  make-lit$inline)