Salvador Abreu / PaCCS | GitLab

eef94371 Update to PaCCS version 0.91 ... Browse Code »

* Renamed _fd_* output functions to fd__* (meaning that they are
  intended to be private to the library) and put them in the new
  util.h file.

* Use fd__trace() and -DTRACE to produce tracing messages. fd__debug()
  is now reserved for real debugging output.

* Use fd_const() to create variables with singleton domains.

* New poly-le-k constraint.

* Include paccs.h where possible.

* Committed to INDEX_IN_POOL and CONSTRAINT_CLASS.

* Improved domain filtering for le, lt, poly-eq, poly-eq-k and
  var-eq-minus.

* Decoupled recording that a constraint is entailed from using
  CONSTRAINT_TEMPS. (Use -DDISABLE_ENTAILED to disable.)

2016-07-04 17:08:17 +0100

util.h 193 Bytes

Edit Raw Blame History Permalink

1 2 3 4 5 6 7 8

void fd__fatal(char *msg);
void fd__error(char *format, ...);
void fd__output(char *format, ...);
void fd__info(char *format, ...);

#ifndef fd__debug
void fd__debug(char *format, ...);
#endif