Class Hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

• class Context ContextState smart pointer.
• class Paramita::Parameter Base class for all parameter types.
  • class Paramita::BooleanParameter Represents a boolean-valued parameter.
  • class Paramita::CategoricalParameter Represents a categorical parameter with discrete choices.
  • class Paramita::IntegerParameter Represents an integer-valued parameter with a range of valid values.
  • class Paramita::InterfaceParameter
  • class Paramita::RealParameter Represents a floating-point parameter with range constraints.
• class Paramita::Plugin Provides capabilities to tweak parameters from the inheriting class.
  • class Paramita::ClauseContainer A container of clauses.
    • class Paramita::NonIncrSatSolver A SAT solver.
      • class Paramita::SatSolver An incremental SAT Solver.
        • class Paramita::Testing::SatSolverDummy
        • class test_utils::Solver
      • class Paramita::Testing::NonIncrSatSolverDummy
    • class Paramita::Testing::ClauseContainerDummy
    • class test_utils::VectorContainer
  • class Paramita::CnfToPbDecoder A decoder from CNF to Pseudo-Boolean (PB) constraints.
  • class Paramita::Learner Interface for components that consume learnt clauses.
  • class Paramita::PbToCnfEncoder An encoder from PB constraints to Satisfiability CNF.
    • class Paramita::Testing::PbToCnfEncoderDummy
  • class Paramita::Propagator Interface for implementing external propagation.
    • class Paramita::Testing::PropagatorDummy
  • class Paramita::Testing::PluginDummy
    • class Paramita::Testing::ClauseContainerDummy
  • class Paramita::WClauseContainer A container of weighted clauses. A clause is a multiset of literals.
    • class Paramita::NonIncrMaxSatSolver A MaxSAT solver.
      • class Paramita::MaxSatSolver An incremental MaxSAT solver.
      • class Paramita::Testing::NonIncrMaxSatSolverDummy
    • class Paramita::Testing::WClauseContainerDummy
• class Paramita::ParameterSpace Manages a collection of parameters, each identified by a unique name.
• class Paramita::PbToCnfEncoder::ContextState Opaque type for storing arbitrary context for incremental encoders.
• class Paramita::Range Represents a range of values (inclusive).
• struct Paramita::InterfaceInfo
• struct Paramita::PbConstraint A Pseudo-Boolean (PB) constraint.
• struct Paramita::SolvingBudget A budget for the underlying solver.
• class std::exception
  • class Paramita::NotSolvedException
  • class Paramita::UnsatisfiableException
  • class Paramita::UnsupportedMethodException The method is not implemented for this extension.
• class std::variant< std::nullptr_t, bool, int64_t, double, std::string, Array >
  • struct Paramita::OutData::Value