diff options
author | 2019-04-05 03:32:48 -0400 | |
---|---|---|
committer | 2020-06-07 19:36:25 -0400 | |
commit | b1bbb821c0e5a3f721de211826dab19c7d9dca4f (patch) | |
tree | ac4a87adba243916973a96141354adbed6f72979 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireAnalyzerConfiguration.xtend | |
parent | test push (diff) | |
download | VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.tar.gz VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.tar.zst VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.zip |
Implement containment circularity avoidance #20
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, 2 insertions, 1 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 618980a3..98967181 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,7 +4,8 @@ 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 contCycleLevel = 0 |
8 | public var boolean uniquenessDuplicates = false | ||
8 | //choose needed backend solver | 9 | //choose needed backend solver |
9 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J | 10 | // public var VampireBackendSolver solver = VampireBackendSolver.SAT4J |
10 | } | 11 | } |