k_induction.h File Reference

k-induction More...

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

Go to the source code of this file.

Functions
void	k_induction (goto_modelt &, bool base_case, bool step_case, unsigned k)

Detailed Description

k-induction

Definition in file k_induction.h.

Function Documentation

k_induction()

void k_induction	(	goto_modelt &	goto_model,
		bool	base_case,
		bool	step_case,
		unsigned	k
	)

Definition at line 168 of file k_induction.cpp.