|
pl_search_cpp 1.4
|
This is the complete list of members for pl_search::DisjPred, including all inherited members.
| apply_choice() override | pl_search::DisjPred | inlinevirtual |
| continuation | pl_search::Pred | protected |
| DisjPred(Engine *eng, std::vector< PredPtr > preds) | pl_search::DisjPred | inline |
| engine | pl_search::Pred | protected |
| get_continuation() | pl_search::Pred | inline |
| get_name() | pl_search::Pred | inline |
| index | pl_search::DisjPred | protected |
| initialize_call() override | pl_search::DisjPred | inlinevirtual |
| is_non_det() | pl_search::Pred | inline |
| last_pred() | pl_search::Pred | |
| more_choices() override | pl_search::DisjPred | inlinevirtual |
| Pred(Engine *eng) | pl_search::Pred | inline |
| preds | pl_search::DisjPred | protected |
| set_continuation(PredPtr cont) | pl_search::Pred | inlinevirtual |
| wrap_with_once() | pl_search::Pred | |
| ~Pred()=default | pl_search::Pred | virtual |
1.9.8