1 2 3 4 5 6 7 8 9 10
package ca.mcgill.ecse.dslreasoner.vampire.reasoner; 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; }