witness_provider.h File Reference

Interface for outputting GraphML Witnesses for Goto Checkers. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	witness_providert
	An implementation of incremental_goto_checkert may implement this interface to provide GraphML witnesses. More...

Detailed Description

Interface for outputting GraphML Witnesses for Goto Checkers.

Definition in file witness_provider.h.