A General Theory of Convergence for Constrained Optimization Algorithms that Use Antizigzagging Provisions