Macros

c

• CNF_TO_PB_DECODER_C_INTERFACE (CnfToPbDecoder.hpp)

d

• DOCTEST_VALUE_PARAMETERIZED_DATA (TestNonIncrMaxSatSolver.hpp, TestClauseContainer.hpp, TestPbToCnfEncoder.hpp)
• DEFINE_INTERFACE_IMPLEMENTATION (definitions.hpp)

e

• EXTERNAL_PROPAGATOR_C_INTERFACE (Propagator.hpp)

g

• GENERATE_DOCTESTS_FOR_MAXSAT_SOLVER (TestMaxSatSolver.hpp)
• GENERATE_DOCTESTS_FOR_NON_INCR_MAXSAT_SOLVER (TestNonIncrMaxSatSolver.hpp)
• GENERATE_DOCTESTS_FOR_WEIGHTED_CLAUSE_CONTAINER (TestWClauseContainer.hpp)
• GENERATE_DOCTESTS_FOR_PLUGIN (TestPlugin.hpp)
• GENERATE_DOCTESTS_FOR_CLAUSE_CONTAINER (TestClauseContainer.hpp)
• GENERATE_DOCTESTS_FOR_NON_INCR_SAT_SOLVER (TestNonIncrSatSolver.hpp)
• GENERATE_DOCTESTS_FOR_PB_ENCODER_INTERFACE (TestPbToCnfEncoder.hpp)
• GENERATE_DOCTESTS_FOR_SAT_SOLVER (TestSatSolver.hpp)

l

• LEARNER_C_INTERFACE (Learner.hpp)

m

• MAXSAT_SOLVER_C_INTERFACE (MaxSatSolver.hpp)

n

• NON_INCR_MAXSAT_SOLVER_C_INTERFACE (NonIncrMaxSatSolver.hpp)
• NON_INCR_SATSOLVER_C_INTERFACE (NonIncrSatSolver.hpp)

p

• PB_TO_CNF_ENCODER_C_INTERFACE (PbToCnfEncoder.hpp)
• PARAMITA_EXPORT (definitions.hpp)

s

• SATSOLVER_C_INTERFACE (SatSolver.hpp)
• SKIPPABLE_SUBCASE (doctest_utils.hpp)