57 std::vector<std::string>* varReplacements = NULL);
68 std::map<VariableKey, std::string>& varBindings,
69 std::set<const OperationDAGNode*>& alreadyHandled,
71 std::set<const OperationDAGNode*>& currentlyHandling,
72 std::map<std::string, std::string>* opReplace = NULL,
73 std::vector<std::string>* varReplacements = NULL);
static bool writeNode(std::string &retVal, const OperationDAG &dag, const OperationDAGNode &node, std::map< VariableKey, std::string > &varBindings, std::set< const OperationDAGNode * > &alreadyHandled, int &tempVarCount, std::set< const OperationDAGNode * > ¤tlyHandling, std::map< std::string, std::string > *opReplace=NULL, std::vector< std::string > *varReplacements=NULL)