1 2 3 4 5 6
package ca.mcgill.ecse.dslreasoner.vampire.reasoner; @SuppressWarnings("all") public enum TypeMappingTechnique { FilteredTypes; }