Class Members¶
a¶
- add_clause (Paramita::ClauseContainer, Paramita::Testing::ClauseContainerDummy, Paramita::Testing::NonIncrMaxSatSolverDummy, Paramita::Testing::NonIncrSatSolverDummy, Paramita::Testing::SatSolverDummy, Paramita::Testing::WClauseContainerDummy, Paramita::WClauseContainer, test_utils::Solver, test_utils::VectorContainer)
- add_clauses (Paramita::ClauseContainer, Paramita::WClauseContainer)
- add_lit (Paramita::ClauseContainer, Paramita::WClauseContainer)
- assume (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver)
- add_parameter (Paramita::ParameterSpace)
- all_parameters (Paramita::ParameterSpace)
- add_observed_var (Paramita::SatSolver)
- add_soft_lit (Paramita::WClauseContainer)
- add_weight (Paramita::WClauseContainer)
- assign (test_utils::Solver)
b¶
- BooleanParameter (Paramita::BooleanParameter)
- bound (Paramita::PbConstraint)
c¶
- CategoricalParameter (Paramita::CategoricalParameter)
- choices (Paramita::CategoricalParameter)
- ClauseContainer (Paramita::ClauseContainer)
- clone (Paramita::ClauseContainer, Paramita::MaxSatSolver, Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver, Paramita::SatSolver, Paramita::WClauseContainer)
- CnfToPbDecoder (Paramita::CnfToPbDecoder)
- core (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver)
- Context (Paramita::PbToCnfEncoder)
- check_found_model (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
- connect_external_propagator (Paramita::SatSolver)
- connect_learner (Paramita::SatSolver)
- cpu_time_seconds (Paramita::SolvingBudget)
- choose_var (test_utils::Solver)
d¶
- default_value (Paramita::BooleanParameter, Paramita::CategoricalParameter, Paramita::IntegerParameter, Paramita::InterfaceParameter, Paramita::Parameter, Paramita::RealParameter)
- decode (Paramita::CnfToPbDecoder)
- decide (Paramita::Propagator)
- disconnect_external_propagator (Paramita::SatSolver)
- disconnect_learner (Paramita::SatSolver)
e¶
f¶
- failed (Paramita::NonIncrSatSolver)
- freeze (Paramita::NonIncrSatSolver)
- force_backtrack (Paramita::SatSolver)
g¶
- get_phase (Paramita::NonIncrSatSolver)
- get_parameter (Paramita::ParameterSpace)
- get (Paramita::Plugin)
- get_parameter_space (Paramita::Plugin)
- get_external_clause (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
- get_out_data (Paramita::Propagator)
- get_out_data_keys (Paramita::Propagator)
- get_reason_clause (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
h¶
- has_external_clause (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
i¶
- is_valid (Paramita::BooleanParameter, Paramita::CategoricalParameter, Paramita::IntegerParameter, Paramita::InterfaceParameter, Paramita::Parameter, Paramita::RealParameter)
- IntegerParameter (Paramita::IntegerParameter)
- InterfaceParameter (Paramita::InterfaceParameter)
- is_relevant (Paramita::Learner)
- interrupt (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver)
- is_fixed (Paramita::NonIncrSatSolver)
- is_frozen (Paramita::NonIncrSatSolver)
- is_decision (Paramita::SatSolver)
l¶
- Learner (Paramita::Learner)
- learnt (Paramita::Learner)
- lower_bound (Paramita::NonIncrMaxSatSolver)
- 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)
- max_var (Paramita::ClauseContainer, Paramita::Testing::ClauseContainerDummy, Paramita::Testing::NonIncrMaxSatSolverDummy, Paramita::Testing::NonIncrSatSolverDummy, Paramita::Testing::SatSolverDummy, Paramita::Testing::WClauseContainerDummy, Paramita::WClauseContainer, test_utils::Solver, test_utils::VectorContainer)
- m_range (Paramita::IntegerParameter, Paramita::RealParameter)
- max_value (Paramita::IntegerParameter, Paramita::RealParameter)
- min_value (Paramita::IntegerParameter, Paramita::RealParameter)
- m_api_version (Paramita::InterfaceInfo)
- m_implementation_name (Paramita::InterfaceInfo)
- m_interface_name (Paramita::InterfaceInfo)
- MaxSatSolver (Paramita::MaxSatSolver)
- model (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver, Paramita::Testing::NonIncrMaxSatSolverDummy, Paramita::Testing::NonIncrSatSolverDummy, Paramita::Testing::SatSolverDummy, test_utils::Solver)
- melt (Paramita::NonIncrSatSolver)
- 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_clauses (Paramita::ClauseContainer, Paramita::WClauseContainer)
- NonIncrMaxSatSolver (Paramita::NonIncrMaxSatSolver)
- num_conflicts (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver, Paramita::SolvingBudget)
- NonIncrSatSolver (Paramita::NonIncrSatSolver)
- num_active_vars (Paramita::NonIncrSatSolver)
- NotSolvedException (Paramita::NotSolvedException)
- num_propagations (Paramita::SolvingBudget)
o¶
- operator= (Paramita::BooleanParameter, Paramita::CategoricalParameter, Paramita::ClauseContainer, Paramita::CnfToPbDecoder, Paramita::IntegerParameter, Paramita::InterfaceParameter, Paramita::Learner, Paramita::MaxSatSolver, Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver, Paramita::Parameter, Paramita::PbToCnfEncoder, Paramita::Plugin, Paramita::Propagator, Paramita::RealParameter, Paramita::SatSolver, Paramita::WClauseContainer)
- OP (Paramita::PbConstraint)
- op (Paramita::PbConstraint)
- on_assignment (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
- on_backtrack (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
- on_new_decision_level (Paramita::Propagator, Paramita::Testing::PropagatorDummy)
p¶
- phase (Paramita::NonIncrSatSolver)
- propagate (Paramita::NonIncrSatSolver, Paramita::Propagator, Paramita::Testing::PropagatorDummy, test_utils::Solver)
- Parameter (Paramita::Parameter)
- ParameterSpace (Paramita::ParameterSpace)
- PbConstraint (Paramita::PbConstraint)
- PbToCnfEncoder (Paramita::PbToCnfEncoder)
- Plugin (Paramita::Plugin)
- Propagator (Paramita::Propagator)
- propagated2 (Paramita::Testing::PropagatorDummy)
r¶
- RealParameter (Paramita::RealParameter)
- remove_observed_var (Paramita::SatSolver)
- reset_observed_vars (Paramita::SatSolver)
s¶
- set_minimum_var (Paramita::ClauseContainer, Paramita::Testing::ClauseContainerDummy, Paramita::Testing::NonIncrMaxSatSolverDummy, Paramita::Testing::NonIncrSatSolverDummy, Paramita::Testing::SatSolverDummy, Paramita::Testing::WClauseContainerDummy, Paramita::WClauseContainer, test_utils::Solver, test_utils::VectorContainer)
- simplify (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver)
- solve (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver, Paramita::Testing::NonIncrMaxSatSolverDummy, Paramita::Testing::NonIncrSatSolverDummy, Paramita::Testing::SatSolverDummy, test_utils::Solver)
- set (Paramita::Plugin)
- SatSolver (Paramita::SatSolver)
- search (test_utils::Solver)
u¶
- unphase (Paramita::NonIncrSatSolver)
- UnsatisfiableException (Paramita::UnsatisfiableException)
- UnsupportedMethodException (Paramita::UnsupportedMethodException)
- undo (test_utils::Solver)
v¶
- val_lit (Paramita::NonIncrMaxSatSolver, Paramita::NonIncrSatSolver)
- val_objective (Paramita::NonIncrMaxSatSolver, Paramita::Testing::NonIncrMaxSatSolverDummy)
- Value (Paramita::OutData::Value, test_utils::Solver)
w¶
- what (Paramita::NotSolvedException, Paramita::UnsatisfiableException, Paramita::UnsupportedMethodException)
- weights (Paramita::PbConstraint)
- WClauseContainer (Paramita::WClauseContainer)
~¶
- ~BooleanParameter (Paramita::BooleanParameter)
- ~CategoricalParameter (Paramita::CategoricalParameter)
- ~ClauseContainer (Paramita::ClauseContainer)
- ~CnfToPbDecoder (Paramita::CnfToPbDecoder)
- ~IntegerParameter (Paramita::IntegerParameter)
- ~InterfaceParameter (Paramita::InterfaceParameter)
- ~Learner (Paramita::Learner)
- ~MaxSatSolver (Paramita::MaxSatSolver)
- ~NonIncrMaxSatSolver (Paramita::NonIncrMaxSatSolver)
- ~NonIncrSatSolver (Paramita::NonIncrSatSolver)
- ~Parameter (Paramita::Parameter)
- ~ContextState (Paramita::PbToCnfEncoder::ContextState)
- ~PbToCnfEncoder (Paramita::PbToCnfEncoder)
- ~Plugin (Paramita::Plugin)
- ~Propagator (Paramita::Propagator)
- ~RealParameter (Paramita::RealParameter)
- ~SatSolver (Paramita::SatSolver)
- ~WClauseContainer (Paramita::WClauseContainer)