blob: aff0dc9d5bdd21f794f9e8a92dce03c9ebde9cc4 (
plain) (
blame)
1
2
3
4
5
6
7
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.VampireModelInterpretation_TypeInterpretation;
@SuppressWarnings("all")
public class VampireModelInterpretation_TypeInterpretation_FilteredTypes implements VampireModelInterpretation_TypeInterpretation {
}
|