Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

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