invariant_utils.cpp File Reference

Invariant helper utilities. More...

#include "invariant_utils.h"
#include "irep.h"

Include dependency graph for invariant_utils.cpp:

Go to the source code of this file.

Functions
std::string	pretty_print_invariant_with_irep (const irept &problem_node, const std::string &description)
	Produces a plain string error description from an irep and some explanatory text. More...

Detailed Description

Invariant helper utilities.

Definition in file invariant_utils.cpp.

Function Documentation

pretty_print_invariant_with_irep()

std::string pretty_print_invariant_with_irep	(	const irept &	problem_node,
		const std::string &	description
	)

Produces a plain string error description from an irep and some explanatory text.

If problem_node is nil, returns description.

Parameters

problem_node	irep to pretty-print
description	descriptive text to prepend

Returns

error message

Definition at line 16 of file invariant_utils.cpp.