Masks for the verbosity vector

Verbosity masks
#define	VallstVerbosity_varExtensionWarning   ( (VallstVerbosityVector)1 << 0 )
#define	VallstVerbosity_emptyClauseWarning   ( (VallstVerbosityVector)1 << 1 )
#define	VallstVerbosity_theoryMemNotice   ( (VallstVerbosityVector)1 << 2 )
#define	VallstVerbosity_searchDetails   ( (VallstVerbosityVector)1 << 3 )
#define	VallstVerbosity_printModel   ( (VallstVerbosityVector)1 << 4 )
#define	VallstVerbosity_parseError   ( (VallstVerbosityVector)1 << 5 )
#define	VallstVerbosity_lesserError   ( (VallstVerbosityVector)1 << 6 )
#define	VallstVerbosity_printResult   ( (VallstVerbosityVector)1 << 7 )
#define	VallstVerbosity_varsSet   ( (VallstVerbosityVector)1 << 8 )
#define	VallstVerbosity_printSeed   ( (VallstVerbosityVector)1 << 9 )
#define	VallstVerbosity_time   ( (VallstVerbosityVector)1 << 10 )
#define	VallstVerbosity_hashInfo   ( (VallstVerbosityVector)1 << 11 )
#define	VallstVerbosity_printSettings   ( (VallstVerbosityVector)1 << 12 )
#define	VallstVerbosity_printPrologues   ( (VallstVerbosityVector)1 << 13 )
#define	VallstVerbosity_printEstimatedPrologues   ( (VallstVerbosityVector)1 << 14 )
#define	VallstVerbosity_equConversionNotice   ( (VallstVerbosityVector)1 << 15 )
#define	VallstVerbosity_nonAxInfo   ( (VallstVerbosityVector)1 << 16 )
#define	VallstVerbosity_optimizeInfo   ( (VallstVerbosityVector)1 << 17 )
#define	VallstVerbosity_redundancyNotice   ( (VallstVerbosityVector)1 << 18 )
#define	VallstVerbosity_lesserHashError   ( (VallstVerbosityVector)1 << 19 )
#define	VallstVerbosity_simpProgressDetails   ( (VallstVerbosityVector)1 << 22 )
#define	VallstVerbosity_failedProofImprovementNotice   ( (VallstVerbosityVector)1 << 23 )
#define	VallstVerbosity_proofImprovementDetails   ( (VallstVerbosityVector)1 << 24 )
#define	VallstVerbosity_hashDetails   ( (VallstVerbosityVector)1 << 25 )
#define	VallstVerbosity_restartDetails   ( (VallstVerbosityVector)1 << 26 )
#define	VallstVerbosity_progressDetails   ( (VallstVerbosityVector)1 << 27 )
#define	VallstVerbosity_branchingDetails   ( (VallstVerbosityVector)1 << 28 )
#define	VallstVerbosity_midairPruneNotice   ( (VallstVerbosityVector)1 << 29 )
#define	VallstVerbosity_midairPruneDetails   ( (VallstVerbosityVector)1 << 30 )
#define	VallstVerbosity_ignoredContradictionNotice   ( (VallstVerbosityVector)1 << 31 )

---

Define Documentation

#define VallstVerbosity_branchingDetails   ( (VallstVerbosityVector)1 << 28 )

Prints detailed info about a the search branching heuristic. Definition at line 693 of file vallstAPI.h.

#define VallstVerbosity_emptyClauseWarning   ( (VallstVerbosityVector)1 << 1 )

Warns when an empty (i.e. false) clause is added. Also warns about e.g. -<->{} I think. Not sure if every case that one wants to catch is caught. Definition at line 611 of file vallstAPI.h.

#define VallstVerbosity_equConversionNotice   ( (VallstVerbosityVector)1 << 15 )

Gives notice when clauses are converted to an equivalence. Definition at line 656 of file vallstAPI.h.

#define VallstVerbosity_failedProofImprovementNotice   ( (VallstVerbosityVector)1 << 23 )

Gives notice when a proof improvement attempt failed to prove false. Definition at line 676 of file vallstAPI.h.

#define VallstVerbosity_hashDetails   ( (VallstVerbosityVector)1 << 25 )

Prints detailed info about a the hash-table during consistency checks. Examples: vallst.c. Definition at line 684 of file vallstAPI.h.

#define VallstVerbosity_hashInfo   ( (VallstVerbosityVector)1 << 11 )

Prints some, easily obtainable, info about the hash-table. Examples: vallst.c. Definition at line 643 of file vallstAPI.h.

#define VallstVerbosity_ignoredContradictionNotice   ( (VallstVerbosityVector)1 << 31 )

Gives notice when a contradiction is found but not acted on. Definition at line 702 of file vallstAPI.h.

#define VallstVerbosity_lesserError   ( (VallstVerbosityVector)1 << 6 )

Prints messages about other errors that the program will recover from and then continue. Definition at line 628 of file vallstAPI.h.

#define VallstVerbosity_lesserHashError   ( (VallstVerbosityVector)1 << 19 )

Prints message about failure to double the hash table size. The program will recover from this error and then continue. Definition at line 669 of file vallstAPI.h.

#define VallstVerbosity_midairPruneDetails   ( (VallstVerbosityVector)1 << 30 )

Prints various not too interesting midair pruning details. Definition at line 699 of file vallstAPI.h.

#define VallstVerbosity_midairPruneNotice   ( (VallstVerbosityVector)1 << 29 )

Gives notice of a midair pruning. Definition at line 696 of file vallstAPI.h.

#define VallstVerbosity_nonAxInfo   ( (VallstVerbosityVector)1 << 16 )

Prints info about non-axioms. Definition at line 659 of file vallstAPI.h.

#define VallstVerbosity_optimizeInfo   ( (VallstVerbosityVector)1 << 17 )

Prints info about optimization parts of a problem. Examples: vallst.c. Definition at line 662 of file vallstAPI.h.

#define VallstVerbosity_parseError   ( (VallstVerbosityVector)1 << 5 )

Prints parse error messages. Examples: vallst.c. Definition at line 624 of file vallstAPI.h.

#define VallstVerbosity_printEstimatedPrologues   ( (VallstVerbosityVector)1 << 14 )

Prints estimated prologue values. See vallst.c for an example. Examples: vallst.c. Definition at line 652 of file vallstAPI.h.

#define VallstVerbosity_printModel   ( (VallstVerbosityVector)1 << 4 )

Prints any model found. Examples: vallst.c. Definition at line 621 of file vallstAPI.h.

#define VallstVerbosity_printPrologues   ( (VallstVerbosityVector)1 << 13 )

Prints hindsighted prologue values. See vallst.c for an example. Examples: vallst.c. Definition at line 649 of file vallstAPI.h.

#define VallstVerbosity_printResult   ( (VallstVerbosityVector)1 << 7 )

Prints a brief notice of the result of the proof search. Examples: vallst.c. Definition at line 631 of file vallstAPI.h.

#define VallstVerbosity_printSeed   ( (VallstVerbosityVector)1 << 9 )

Prints the seed. Examples: vallst.c. Definition at line 637 of file vallstAPI.h.

#define VallstVerbosity_printSettings   ( (VallstVerbosityVector)1 << 12 )

Prints option settings. Examples: vallst.c. Definition at line 646 of file vallstAPI.h.

#define VallstVerbosity_progressDetails   ( (VallstVerbosityVector)1 << 27 )

Prints detailed progress info during the search. Definition at line 690 of file vallstAPI.h.

#define VallstVerbosity_proofImprovementDetails   ( (VallstVerbosityVector)1 << 24 )

Prints info about proof improvements during search as they happen. Definition at line 680 of file vallstAPI.h.

#define VallstVerbosity_redundancyNotice   ( (VallstVerbosityVector)1 << 18 )

Gives notice when an already existing clause is added. Definition at line 665 of file vallstAPI.h.

#define VallstVerbosity_restartDetails   ( (VallstVerbosityVector)1 << 26 )

Prints info about restarts during the search as they occur. Definition at line 687 of file vallstAPI.h.

#define VallstVerbosity_searchDetails   ( (VallstVerbosityVector)1 << 3 )

Prints info about a search when it's finished. Definition at line 618 of file vallstAPI.h.

#define VallstVerbosity_simpProgressDetails   ( (VallstVerbosityVector)1 << 22 )

Prints progress info during the simplification process. Definition at line 673 of file vallstAPI.h.

#define VallstVerbosity_theoryMemNotice   ( (VallstVerbosityVector)1 << 2 )

Gives you notice if you miss to oversee the allocation of the theory memory so that vallst will have to do it for you. Definition at line 615 of file vallstAPI.h.

#define VallstVerbosity_time   ( (VallstVerbosityVector)1 << 10 )

Prints the cpu time used. Examples: vallst.c. Definition at line 640 of file vallstAPI.h.

#define VallstVerbosity_varExtensionWarning   ( (VallstVerbosityVector)1 << 0 )

Warns when space dependent on the number of variables needs to be extended. Definition at line 607 of file vallstAPI.h.

#define VallstVerbosity_varsSet   ( (VallstVerbosityVector)1 << 8 )

Prints info about how many variables are set and unchecked. Examples: vallst.c. Definition at line 634 of file vallstAPI.h.

---