#include "dfcc_loop_contract_mode.h"
#include <util/invariant.h>

Include dependency graph for dfcc_loop_contract_mode.cpp:

Functions
dfcc_loop_contract_modet	dfcc_loop_contract_mode_from_bools (bool apply_loop_contracts, bool unwind_transformed_loops)
	Generates an enum value from boolean flags for application and unwinding. More...

std::string	dfcc_loop_contract_mode_to_string (const dfcc_loop_contract_modet mode)

std::ostream &	operator<< (std::ostream &os, const dfcc_loop_contract_modet mode)

Function Documentation

◆ dfcc_loop_contract_mode_from_bools()

dfcc_loop_contract_modet dfcc_loop_contract_mode_from_bools	(	bool	apply_loop_contracts,
		bool	unwind_transformed_loops
	)

Generates an enum value from boolean flags for application and unwinding.

std::string dfcc_loop_contract_mode_to_string ( const dfcc_loop_contract_modet mode )

std::ostream& operator<<	(	std::ostream &	os,
		const dfcc_loop_contract_modet	mode
	)