Representations of the vertex operator algebra

The rationality and C2-cofiniteness of the orbifold vertex operator algebra are established and all the irreducible modules are constructed and classified. This is part of classification of rational vertex operator algebras with c=1.