542 void MultiplyOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
544 …degrees[index] = operand1->get_degree_from_array(degrees) + operand2->get_degree_from_array(degree…  in propagate_degree_forward()
548 void AddOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
550 …degrees[index] = std::max(operand1->get_degree_from_array(degrees), operand2->get_degree_from_arra…  in propagate_degree_forward()
554 void SubtractOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
556 …degrees[index] = std::max(operand1->get_degree_from_array(degrees), operand2->get_degree_from_arra…  in propagate_degree_forward()
560 void DivideOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
563 …degrees[index] = std::max(operand1->get_degree_from_array(degrees), 3*(operand2->get_degree_from_a…  in propagate_degree_forward()
567 void PowerOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
569   if (operand2->get_degree_from_array(degrees) != 0)  in propagate_degree_forward()
571       degrees[index] = 3;  in propagate_degree_forward()
579 	  degrees[index] = operand1->get_degree_from_array(degrees) * (int)val2;  in propagate_degree_forward()
583 	  degrees[index] = 3;  in propagate_degree_forward()
589 void NegationOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
591   degrees[index] = operand->get_degree_from_array(degrees);  in propagate_degree_forward()
595 void ExpOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
597   if (operand->get_degree_from_array(degrees) == 0)  in propagate_degree_forward()
599       degrees[index] = 0;  in propagate_degree_forward()
603       degrees[index] = 3;  in propagate_degree_forward()
608 void LogOperator::propagate_degree_forward(int* degrees, double* values)  in propagate_degree_forward()  argument
610   if (operand->get_degree_from_array(degrees) == 0)  in propagate_degree_forward()
612       degrees[index] = 0;  in propagate_degree_forward()
616       degrees[index] = 3;  in propagate_degree_forward()