pl_search::VarChoicePred Member List

This is the complete list of members for pl_search::VarChoicePred, including all inherited members.

call() override	pl_search::ChoicePred	virtual
call_continuation()	pl_search::Pred	inline
call_init() override	pl_search::VarChoicePred	inlinevirtual
ChoicePred(Trail *trail)	pl_search::ChoicePred	inline
choices	pl_search::VarChoicePred	protected
continuation	pl_search::Pred	protected
get_continuation()	pl_search::Pred	inline
get_name()	pl_search::Pred	inlinevirtual
has_next() override	pl_search::VarChoicePred	inlinevirtual
index	pl_search::VarChoicePred	protected
last_pred()	pl_search::Pred
make_choice() override	pl_search::VarChoicePred	inlinevirtual
Pred(Trail *trail)	pl_search::Pred	inline
set_continuation(PredPtr cont)	pl_search::Pred	inlinevirtual
test_choice()	pl_search::ChoicePred	inlinevirtual
trail	pl_search::Pred	protected
var	pl_search::VarChoicePred	protected
VarChoicePred(Trail *trail, PVarPtr v, std::vector< TermPtr > choices)	pl_search::VarChoicePred	inline
~Pred()=default	pl_search::Pred	virtual