vertex enumeration