cont_shape_var.hh File Reference

#include "adt_op_match.hh"
#include "fixed_point.hh"

Go to the source code of this file.

Namespaces
namespace	AdtOp

Typedefs
typedef int	TShapeVarId
typedef FixedPoint::TShapeIdent	TShapeIdent
typedef std::map< TShapeIdent, TShapeVarId >	TShapeVarByShape

Functions
TShapeVarId	acquireFreshShapeVar (void)
	return a (globally) unique shape var ID
bool	assignShapeVariables (TShapeVarByShape *pDst, TInsnWriter *pInsnWriter, const TMatchList &matchList, const TOpList &opList, const OpCollection &coll, const TProgState &progState)

Variables
const TShapeVarId	InvalidShapeVar