parser.cpp File Reference

#include <util/base/i2string.h>
#include <util/lang/parser.h>
#include <util/message/message.h>

Include dependency graph for parser.cpp:

Functions
exprt &	_newstack (parsert &parser, unsigned &x)

Function Documentation

_newstack()

exprt & _newstack	(	parsert &	parser,
		unsigned &	x )