Predator  [unstable] git snapshot
Namespaces | Functions
adt_op_replace.hh File Reference
#include "adt_op_match.hh"
#include "cont_shape_var.hh"

Go to the source code of this file.

Namespaces

namespace  AdtOp

Functions

bool replaceAdtOps (TInsnWriter *pInsnWriter, const TMatchList &matchList, const TOpList &opList, const OpCollection &adtOps, const TShapeVarByShape &varMap, const TProgState &progState)