Function _traverse

src/execution_plan/ops/op_conditional_traverse.c:48–70

evaluate algebraic expression: prepends filter matrix as the left most operand perform multiplications set iterator over result matrix removed filter matrix from original expression clears filter matrix

// removed filter matrix from original expression
// clears filter matrix
void _traverse(OpCondTraverse *op) {
	// if op->F is null, this is the first time we are traversing
	if(op->F == NULL) {
		// create both filter and result matrices
		size_t required_dim = Graph_RequiredMatrixDim(op->graph);
		RG_Matrix_new(&op->M, GrB_BOOL, op->record_cap, required_dim);
		RG_Matrix_new(&op->F, GrB_BOOL, op->record_cap, required_dim);

		// prepend filter matrix to algebraic expression as the leftmost operand
		AlgebraicExpression_MultiplyToTheLeft(&op->ae, op->F);

		// optimize the expression tree
		AlgebraicExpression_Optimize(&op->ae);
	}

	// populate filter matrix
	_populate_filter_matrix(op);

	// evaluate expression
	AlgebraicExpression_Eval(op->ae, op->M);

	RG_MatrixTupleIter_attach(&op->iter, op->M);
}

OpBase *NewCondTraverseOp
(