blob: e1bb36252f1b320d5d016164f6b96873c9e60bd5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
import com.google.common.base.Objects;
import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.ApproximationHeuristic;
import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.FtAnalysisObjective;
import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration;
@SuppressWarnings("all")
public final class StormDftConfiguration extends SolverConfiguration {
public static final String DEFAULT_SOLVER_PATH = "storm-dft";
public double precision = 1e-6;
public boolean bisimulation = true;
public boolean symmetryReduction = true;
public boolean modularization = true;
public boolean dontCarePropagation = true;
public double approximation = 0;
public ApproximationHeuristic approximationHeuristic = ApproximationHeuristic.NONE;
public FtAnalysisObjective objective;
public boolean isApproximationInUse() {
return (!Objects.equal(this.approximationHeuristic, ApproximationHeuristic.NONE));
}
}
|