Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/FtAnalysisObjective.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14

package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;

@SuppressWarnings("all")
public abstract class FtAnalysisObjective {
  public static final class TimeBound extends FtAnalysisObjective {
    public double timeBound = 0;
  }
  
  public static final FtAnalysisObjective MTTF = new FtAnalysisObjective() {
  };
  
  private FtAnalysisObjective() {
  }
}