Пример #1
0
 public override Expression CloneApplySuffix(ApplySuffix e)
 {
     if (_state.IsTacticCall(e))
     {
         _aps = base.CloneApplySuffix(e) as ApplySuffix;
         return(_aps);
     }
     return(base.CloneApplySuffix(e));
 }
Пример #2
0
        public override bool MatchStmt(Statement stmt, ProofState state)
        {
            var us = stmt as UpdateStmt;

            return(us != null && state.IsTacticCall(us));
        }