VampireModelInterpretation_TypeInterpretation_FilteredTypes.xtend « builder « reasoner « vampire « dslreasoner « ecse « mcgill « ca « src « 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/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation_TypeInterpretation_FilteredTypes.xtend

blob: 863ec783479ed0067127bfb27ec8ac582afe2c01 (plain) (blame)

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

class VampireModelInterpretation_TypeInterpretation_FilteredTypes implements VampireModelInterpretation_TypeInterpretation {
	//TODO
}