|
pl_search_cpp 1.4
|
This is the complete list of members for pl_search::Cut, including all inherited members.
| apply_choice() override | pl_search::Cut | virtual |
| continuation | pl_search::Pred | protected |
| Cut(Engine *eng, int index) | pl_search::Cut | inline |
| DetPred(Engine *eng) | pl_search::DetPred | inline |
| engine | pl_search::Pred | protected |
| env_index | pl_search::Cut | protected |
| get_continuation() | pl_search::Pred | inline |
| get_name() | pl_search::Pred | inline |
| initialize_call() override | pl_search::Cut | inlinevirtual |
| is_non_det() | pl_search::SemiDetPred | inline |
| last_pred() | pl_search::Pred | |
| more_choices() override | pl_search::SemiDetPred | inlinevirtual |
| Pred(Engine *eng) | pl_search::Pred | inline |
| SemiDetPred(Engine *eng) | pl_search::SemiDetPred | inline |
| set_continuation(PredPtr cont) | pl_search::Pred | inlinevirtual |
| set_cut_point(int cut_point) | pl_search::Cut | inline |
| wrap_with_once() | pl_search::Pred | |
| ~Pred()=default | pl_search::Pred | virtual |
1.9.8