pl_search::ChoiceIterator Class Reference

Base class for choice iterators. More...

#include <choice_iterator.hpp>

Inheritance diagram for pl_search::ChoiceIterator:

Public Member Functions
virtual bool	has_next ()=0
	Checks if there are more choices available.
virtual bool	make_choice ()=0
	Makes a choice.
virtual bool	test_choice ()
	Tests a choice which would tyically involve constraint deductions based on the choice.
virtual	~ChoiceIterator ()=default
	Virtual destructor for proper cleanup.

Detailed Description

Base class for choice iterators.

Constructor & Destructor Documentation

~ChoiceIterator()

virtual pl_search::ChoiceIterator::~ChoiceIterator ( )

virtualdefault

Virtual destructor for proper cleanup.

Member Function Documentation

has_next()

virtual bool pl_search::ChoiceIterator::has_next ( )

pure virtual

Checks if there are more choices available.

Returns

True if there are more choices, false otherwise.

Implemented in pl_search::VarChoiceIterator.

make_choice()

virtual bool pl_search::ChoiceIterator::make_choice ( )

pure virtual

Makes a choice.

Returns

True if the choice is made successfully, false otherwise.

Implemented in pl_search::VarChoiceIterator.

test_choice()

virtual bool pl_search::ChoiceIterator::test_choice ( )

inlinevirtual

Tests a choice which would tyically involve constraint deductions based on the choice.

Returns

True if the choice is valid, false otherwise.

---

The documentation for this class was generated from the following file:

• include/pl_search/choice_iterator.hpp