VIATRA-Generator
VIATRA-Generator copied to clipboard
viatra
An efficient graph solver for generating well-formed models
Generation of FOL file with a large scope takes a long time. Run the profiler and improve time-consuming areas.
Try new ways for Step 2 and 3 of containment handling. Use recursive subtypes for non-circular containment.
Consider the following: Type of quantified variable shold be specified after all quantifiers and before implies, in an AND
1. Handling \forall, \exists in rules 2. Handling distinctness of types 3. Handling case where ~Distinct 4. Handling Queries -> (RelationDefinitions) 5. Handling Initial Models -> (TypeDefinition, similar to Enum,...
Remove files such as .xtend-gen.
Remove typeHierarchy maps from [trace](https://github.com/viatra/VIATRA-Generator/blob/Vampire-New/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.xtend) and make them local
Fix "Dublicate" code in [Relation Handler](https://github.com/viatra/VIATRA-Generator/blob/Vampire-New/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_RelationMapper.xtend).