blob: 1cac26337a33858f4659e1c3a8bd86bc9d274e9a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;
import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration;
import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace;
@SuppressWarnings("all")
public class VampireHandler {
public Object callSolver(final VampireModel problem, final ReasonerWorkspace workspace, final VampireSolverConfiguration configuration, final String vampireCode) {
return null;
}
}
|