A class of \(C^*\)-algebras generalizing both graph algebras and homeomorphism \(C^*\)-algebras IV, pure infiniteness

This is the final one in the series of papers where we introduce and study the \(C^*\)-algebras associated with topological graphs. In this paper, we get a sufficient condition on topological graphs so that the associated \(C^*\)-algebras are simple and purely infinite. Using this result, we give one method to construct all Kirchberg algebras as \(C^*\)-algebras associated with topological graphs.