range Namespace Reference

Functions
int	ESBMC_range_next_ (int curr, int step)
bool	ESBMC_range_has_next_ (int curr, int end, int step)

Function Documentation

ESBMC_range_has_next_()

bool range.ESBMC_range_has_next_	(	int	curr,
		int	end,
		int	step )

ESBMC_range_next_()

int range.ESBMC_range_next_	(	int	curr,
		int	step )