ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Macros
logging.h File Reference
#include "attribute.h"
#include "extend.h"
#include "reference.h"
#include "watch.h"
#include <stdarg.h>
#include "global.h"
Include dependency graph for logging.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define LOG(...)
 
#define LOG2(...)
 
#define LOG3(...)
 
#define LOG4(...)
 
#define LOG5(...)
 
#define LOGRES(...)
 
#define LOGRES2(...)
 
#define LOGLITS(...)
 
#define LOGLITSET(...)
 
#define LOGLITPART(...)
 
#define LOGLITS3(...)
 
#define LOGCOUNTEDREFLITS(...)
 
#define LOGCOUNTEDLITS(...)
 
#define LOGEXT(...)
 
#define LOGEXT2(...)
 
#define LOGINTS(...)
 
#define LOGINTS3(...)
 
#define LOGUNSIGNEDS2(...)
 
#define LOGUNSIGNEDS3(...)
 
#define LOGANDGATE(...)
 
#define LOGXORGATE(...)
 
#define LOGITEGATE(...)
 
#define LOGCLS(...)
 
#define LOGCLS2(...)
 
#define LOGCLS3(...)
 
#define LOGCOUNTEDCLS(...)
 
#define LOGREPRCLS(...)
 
#define LOGLINE(...)
 
#define LOGREF(...)
 
#define LOGREF2(...)
 
#define LOGREF3(...)
 
#define LOGBINARY(...)
 
#define LOGBINARY2(...)
 
#define LOGBINARY3(...)
 
#define LOGUNARY(...)
 
#define LOGWATCH(...)
 
#define LOGXOR(...)
 
#define LOGTMP(...)
 

Macro Definition Documentation

◆ LOG

#define LOG ( ...)
Value:
do { \
} while (0)

Definition at line 349 of file logging.h.

349#define LOG(...) \
350 do { \
351 } while (0)

◆ LOG2

#define LOG2 ( ...)
Value:
do { \
} while (0)

Definition at line 352 of file logging.h.

352#define LOG2(...) \
353 do { \
354 } while (0)

◆ LOG3

#define LOG3 ( ...)
Value:
do { \
} while (0)

Definition at line 355 of file logging.h.

355#define LOG3(...) \
356 do { \
357 } while (0)

◆ LOG4

#define LOG4 ( ...)
Value:
do { \
} while (0)

Definition at line 358 of file logging.h.

358#define LOG4(...) \
359 do { \
360 } while (0)

◆ LOG5

#define LOG5 ( ...)
Value:
do { \
} while (0)

Definition at line 361 of file logging.h.

361#define LOG5(...) \
362 do { \
363 } while (0)

◆ LOGANDGATE

#define LOGANDGATE ( ...)
Value:
do { \
} while (0)

Definition at line 406 of file logging.h.

406#define LOGANDGATE(...) \
407 do { \
408 } while (0)

◆ LOGBINARY

#define LOGBINARY ( ...)
Value:
do { \
} while (0)

Definition at line 442 of file logging.h.

442#define LOGBINARY(...) \
443 do { \
444 } while (0)

◆ LOGBINARY2

#define LOGBINARY2 ( ...)
Value:
do { \
} while (0)

Definition at line 445 of file logging.h.

445#define LOGBINARY2(...) \
446 do { \
447 } while (0)

◆ LOGBINARY3

#define LOGBINARY3 ( ...)
Value:
do { \
} while (0)

Definition at line 448 of file logging.h.

448#define LOGBINARY3(...) \
449 do { \
450 } while (0)

◆ LOGCLS

#define LOGCLS ( ...)
Value:
do { \
} while (0)

Definition at line 415 of file logging.h.

415#define LOGCLS(...) \
416 do { \
417 } while (0)

◆ LOGCLS2

#define LOGCLS2 ( ...)
Value:
do { \
} while (0)

Definition at line 418 of file logging.h.

418#define LOGCLS2(...) \
419 do { \
420 } while (0)

◆ LOGCLS3

#define LOGCLS3 ( ...)
Value:
do { \
} while (0)

Definition at line 421 of file logging.h.

421#define LOGCLS3(...) \
422 do { \
423 } while (0)

◆ LOGCOUNTEDCLS

#define LOGCOUNTEDCLS ( ...)
Value:
do { \
} while (0)

Definition at line 424 of file logging.h.

424#define LOGCOUNTEDCLS(...) \
425 do { \
426 } while (0)

◆ LOGCOUNTEDLITS

#define LOGCOUNTEDLITS ( ...)
Value:
do { \
} while (0)

Definition at line 385 of file logging.h.

385#define LOGCOUNTEDLITS(...) \
386 do { \
387 } while (0)

◆ LOGCOUNTEDREFLITS

#define LOGCOUNTEDREFLITS ( ...)
Value:
do { \
} while (0)

Definition at line 382 of file logging.h.

382#define LOGCOUNTEDREFLITS(...) \
383 do { \
384 } while (0)

◆ LOGEXT

#define LOGEXT ( ...)
Value:
do { \
} while (0)

Definition at line 388 of file logging.h.

388#define LOGEXT(...) \
389 do { \
390 } while (0)

◆ LOGEXT2

#define LOGEXT2 ( ...)
Value:
do { \
} while (0)

Definition at line 391 of file logging.h.

391#define LOGEXT2(...) \
392 do { \
393 } while (0)

◆ LOGINTS

#define LOGINTS ( ...)
Value:
do { \
} while (0)

Definition at line 394 of file logging.h.

394#define LOGINTS(...) \
395 do { \
396 } while (0)

◆ LOGINTS3

#define LOGINTS3 ( ...)
Value:
do { \
} while (0)

Definition at line 397 of file logging.h.

397#define LOGINTS3(...) \
398 do { \
399 } while (0)

◆ LOGITEGATE

#define LOGITEGATE ( ...)
Value:
do { \
} while (0)

Definition at line 412 of file logging.h.

412#define LOGITEGATE(...) \
413 do { \
414 } while (0)

◆ LOGLINE

#define LOGLINE ( ...)
Value:
do { \
} while (0)

Definition at line 430 of file logging.h.

430#define LOGLINE(...) \
431 do { \
432 } while (0)

◆ LOGLITPART

#define LOGLITPART ( ...)
Value:
do { \
} while (0)

Definition at line 376 of file logging.h.

376#define LOGLITPART(...) \
377 do { \
378 } while (0)

◆ LOGLITS

#define LOGLITS ( ...)
Value:
do { \
} while (0)

Definition at line 370 of file logging.h.

370#define LOGLITS(...) \
371 do { \
372 } while (0)

◆ LOGLITS3

#define LOGLITS3 ( ...)
Value:
do { \
} while (0)

Definition at line 379 of file logging.h.

379#define LOGLITS3(...) \
380 do { \
381 } while (0)

◆ LOGLITSET

#define LOGLITSET ( ...)
Value:
do { \
} while (0)

Definition at line 373 of file logging.h.

373#define LOGLITSET(...) \
374 do { \
375 } while (0)

◆ LOGREF

#define LOGREF ( ...)
Value:
do { \
} while (0)

Definition at line 433 of file logging.h.

433#define LOGREF(...) \
434 do { \
435 } while (0)

◆ LOGREF2

#define LOGREF2 ( ...)
Value:
do { \
} while (0)

Definition at line 436 of file logging.h.

436#define LOGREF2(...) \
437 do { \
438 } while (0)

◆ LOGREF3

#define LOGREF3 ( ...)
Value:
do { \
} while (0)

Definition at line 439 of file logging.h.

439#define LOGREF3(...) \
440 do { \
441 } while (0)

◆ LOGREPRCLS

#define LOGREPRCLS ( ...)
Value:
do { \
} while (0)

Definition at line 427 of file logging.h.

427#define LOGREPRCLS(...) \
428 do { \
429 } while (0)

◆ LOGRES

#define LOGRES ( ...)
Value:
do { \
} while (0)

Definition at line 364 of file logging.h.

364#define LOGRES(...) \
365 do { \
366 } while (0)

◆ LOGRES2

#define LOGRES2 ( ...)
Value:
do { \
} while (0)

Definition at line 367 of file logging.h.

367#define LOGRES2(...) \
368 do { \
369 } while (0)

◆ LOGTMP

#define LOGTMP ( ...)
Value:
LOGLITS (SIZE_STACK (solver->clause), BEGIN_STACK (solver->clause), \
__VA_ARGS__)
BEGIN_STACK
#define BEGIN_STACK(S)
Definition stack.h:46
SIZE_STACK
#define SIZE_STACK(S)
Definition stack.h:19
LOGLITS
#define LOGLITS(...)
Definition cadical_kitten.c:374
solver
#define solver
Definition kitten.c:211

Definition at line 463 of file logging.h.

463#define LOGTMP(...) \
464 LOGLITS (SIZE_STACK (solver->clause), BEGIN_STACK (solver->clause), \
465 __VA_ARGS__)

◆ LOGUNARY

#define LOGUNARY ( ...)
Value:
do { \
} while (0)

Definition at line 451 of file logging.h.

451#define LOGUNARY(...) \
452 do { \
453 } while (0)

◆ LOGUNSIGNEDS2

#define LOGUNSIGNEDS2 ( ...)
Value:
do { \
} while (0)

Definition at line 400 of file logging.h.

400#define LOGUNSIGNEDS2(...) \
401 do { \
402 } while (0)

◆ LOGUNSIGNEDS3

#define LOGUNSIGNEDS3 ( ...)
Value:
do { \
} while (0)

Definition at line 403 of file logging.h.

403#define LOGUNSIGNEDS3(...) \
404 do { \
405 } while (0)

◆ LOGWATCH

#define LOGWATCH ( ...)
Value:
do { \
} while (0)

Definition at line 454 of file logging.h.

454#define LOGWATCH(...) \
455 do { \
456 } while (0)

◆ LOGXOR

#define LOGXOR ( ...)
Value:
do { \
} while (0)

Definition at line 457 of file logging.h.

457#define LOGXOR(...) \
458 do { \
459 } while (0)

◆ LOGXORGATE

#define LOGXORGATE ( ...)
Value:
do { \
} while (0)

Definition at line 409 of file logging.h.

409#define LOGXORGATE(...) \
410 do { \
411 } while (0)