SyTen

◆ apply_operator_directly_rec()

void syten::BTT::apply_operator_directly_rec ( State::Ptr  aptr,
const Operator::Ptr  optr,
bool const  cache 
)

Recursive helper for direct operator application.

References syten::BTT::Operator::aIdx, syten::BTT::State::aIdx, syten::BTT::State::aInt, syten::BTT::Operator::bIdx, syten::BTT::State::bIdx, syten::BTT::State::bInt, syten::BTT::Operator::dIdx, syten::genCombinator(), syten::genFuse(), syten::genSplit(), syten::BTT::State::pIdx, syten::BTT::State::pInt, syten::BTT::Operator::rIdx, syten::BTT::State::rIdx, SYTEN_ASSERT_DEBUG, and syten::BTT::Operator::uIdx.

Referenced by apply_operator_directly(), and syten::BTT::State::load().

+ Here is the call graph for this function:
+ Here is the caller graph for this function: