blob: c094872e5cef78c62326ce811e09ecdf109b8650 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.BackendSolver;
import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicSolverConfiguration;
@SuppressWarnings("all")
public class VampireSolverConfiguration extends LogicSolverConfiguration {
public int contCycleLevel = 0;
public boolean uniquenessDuplicates = false;
public int iteration = (-1);
public BackendSolver solver = BackendSolver.VAMPIRE;
public boolean genModel = true;
public boolean server = false;
}
|