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


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

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

@SuppressWarnings("all")
public class StormDftException extends RuntimeException {
  public StormDftException(final String s) {
    super(s);
  }
  
  public StormDftException(final String s, final Exception e) {
    super(s, e);
  }
}