TypeMappingTechnique.java « reasoner « vampire « dslreasoner « ecse « mcgill « ca « xtend-gen « ca.mcgill.ecse.dslreasoner.vampire.reasoner « Vampire-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/TypeMappingTechnique.java

blob: 8ffba2f1705e258fec90f0739a4ffc0880070f2f (plain) (blame)

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

@SuppressWarnings("all")
public enum TypeMappingTechnique {
  FilteredTypes;
}