template<class Base , class Value >

void printOp	(	std::ostream &	os,
		const player< Base > *	Rec,
		size_t	i_var,
		OpCode	op,
		const addr_t *	ind,
		size_t	nfz,
		const Value *	fz,
		size_t	nrz,
		const Value *	rz
	)

Prints a single operator, its operands, and the corresponding result values.

Template Parameters:

Base	Is the base type for these AD< Base > operations.
Value	Determines the type of the values that we are printing.

Parameters:

os	is the output stream that the information is printed on.
Rec	Is the entire recording for the tape that this operator is in.
i_var	is the index for the variable corresponding to the result of this operation (ignored if NumRes(op) == 0).
op	The operator code (OpCode) for this operation.
ind	is the vector of argument indices for this operation (must have NumArg(op) elements).
nfz	is the number of forward sweep calculated values of type Value that correspond to this operation (ignored if NumRes(op) == 0).
fz	points to the first forward calculated value that correspond to this operation (ignored if NumRes(op) == 0).
nrz	is the number of reverse sweep calculated values of type Value that correspond to this operation (ignored if NumRes(op) == 0).
rz	points to the first reverse calculated value that correspond to this operation (ignored if NumRes(op) == 0).

Definition at line 399 of file op_code.hpp.

Referenced by ForJacSweep(), forward0sweep(), forward_sweep(), ReverseSweep(), RevHesSweep(), and RevJacSweep().