Class Member Variables

b

• bound (Paramita::PbConstraint)

c

• cpu_time_seconds (Paramita::SolvingBudget)

l

• lits (Paramita::PbConstraint)
• lit1_true (Paramita::Testing::PropagatorDummy)

m

• m_default_value (Paramita::BooleanParameter, Paramita::CategoricalParameter, Paramita::IntegerParameter, Paramita::RealParameter)
• m_choices (Paramita::CategoricalParameter)
• m_interface_id (Paramita::ClauseContainer, Paramita::CnfToPbDecoder, Paramita::Learner, Paramita::MaxSatSolver, Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver, Paramita::PbToCnfEncoder, Paramita::Plugin, Paramita::Propagator, Paramita::SatSolver, Paramita::WClauseContainer)
• m_range (Paramita::IntegerParameter, Paramita::RealParameter)
• m_api_version (Paramita::InterfaceInfo)
• m_implementation_name (Paramita::InterfaceInfo)
• m_interface_name (Paramita::InterfaceInfo)
• m_message (Paramita::NotSolvedException, Paramita::UnsatisfiableException, Paramita::UnsupportedMethodException)
• m_params_map (Paramita::ParameterSpace)
• m_end (Paramita::Range)
• m_start (Paramita::Range)
• m_max_var (Paramita::Testing::ClauseContainerDummy, Paramita::Testing::NonIncrMaxSatSolverDummy, Paramita::Testing::NonIncrSatSolverDummy, Paramita::Testing::SatSolverDummy, Paramita::Testing::WClauseContainerDummy, test_utils::Solver, test_utils::VectorContainer)
• m_assignment (test_utils::Solver)
• m_clauses (test_utils::Solver, test_utils::VectorContainer)
• m_trail (test_utils::Solver)

n

• num_conflicts (Paramita::SolvingBudget)
• num_propagations (Paramita::SolvingBudget)

o

• op (Paramita::PbConstraint)

p

• propagated2 (Paramita::Testing::PropagatorDummy)

w

• weights (Paramita::PbConstraint)