Template Function SymEngine::and_or

Function Documentation

template<typename caller>
RCP<const Boolean> SymEngine::and_or(const set_boolean &s, const bool &op_x_notx)