package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder

class VampireModelInterpretation_TypeInterpretation_FilteredTypes implements VampireModelInterpretation_TypeInterpretation {
	//TODO
}