mcrl2/data/rewriter_tool.h

Include file:

#include "mcrl2/data/rewriter_tool.h"

Base class for tools that use a data rewriter.