Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/VampireSolverConfiguration.java


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;
}