Rigidity results for Riemannian spin^c manifolds with foliated boundary

Given a Riemannian spin^c manifold whose boundary is endowed with a Riemannian flow, we show that any solution of the basic Dirac equation satisfies an integral inequality depending on geometric quantities, such as the mean curvature and the O'Neill tensor. We then characterize the equality case of the inequality when the ambient manifold is a domain of a K\"ahler-Einstein manifold or a Riemannian product of a K\"ahler-Einstein manifold with R (or with the circle S^1).