diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-04 17:31:16 -0500 |
| commit | 2c05097ccbeeadd70b20f5001ebeb22ffdc465de (patch) | |
| tree | 88662460674d49bff71d051d3a59a0929f1cfa5f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | |
| parent | complete vsconfig files #19 (diff) | |
| download | VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.gz VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.tar.zst VIATRA-Generator-2c05097ccbeeadd70b20f5001ebeb22ffdc465de.zip | |
Begin handing of scope and fix type definitions.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend index 27e00ccf..618980a3 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | |||
| @@ -4,10 +4,9 @@ import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration | |||
| 4 | 4 | ||
| 5 | class VampireSolverConfiguration extends LogicSolverConfiguration { | 5 | class VampireSolverConfiguration extends LogicSolverConfiguration { |
| 6 | 6 | ||
| 7 | public var int symmetry = 0 // by default | 7 | //public var int symmetry = 0 // by default |
| 8 | //choose needed backend solver | 8 | //choose needed backend solver |
| 9 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J | 9 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J |
| 10 | public var boolean writeToFile = false | ||
| 11 | } | 10 | } |
| 12 | 11 | ||
| 13 | 12 | ||