LoopBodyFactory is an abstract base class used for generating instances of a predicate class used in the body of a loop.
More...
#include <pred.hpp>
LoopBodyFactory is an abstract base class used for generating instances of a predicate class used in the body of a loop.
◆ LoopBodyFactory()
| pl_search::LoopBodyFactory::LoopBodyFactory |
( |
Engine * |
eng | ) |
|
|
inline |
◆ ~LoopBodyFactory()
| virtual pl_search::LoopBodyFactory::~LoopBodyFactory |
( |
| ) |
|
|
inlinevirtual |
◆ loop_continues()
| virtual bool pl_search::LoopBodyFactory::loop_continues |
( |
| ) |
|
|
pure virtual |
◆ make_body_pred()
| virtual PredPtr pl_search::LoopBodyFactory::make_body_pred |
( |
| ) |
|
|
pure virtual |
◆ engine
| Engine* pl_search::LoopBodyFactory::engine |
The documentation for this class was generated from the following file: