46 for (
int i = 0; i < parent.
Count; i++)
52 if (parent[i] ==
null)
readonly SubstitutionList _subs
QilCloneVisitor(QilFactory fac)
override void BeginScope(QilNode node)
override QilNode VisitReference(QilNode oldNode)
QilNode Clone(QilNode node)
override QilNode Visit(QilNode oldNode)
QilNode FindClonedReference(QilNode node)
override QilNode VisitChildren(QilNode parent)
QilCloneVisitor(QilFactory fac, SubstitutionList subs)
override void EndScope(QilNode node)
static void Check(QilNode input)
virtual QilNode VisitAssumeReference(QilNode expr)
virtual bool IsReference(QilNode parent, int childNum)
void AddSubstitutionPair(QilNode find, QilNode replace)
QilNode FindReplacement(QilNode n)
void RemoveLastSubstitutionPair()