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

@SuppressWarnings("all")
public enum ApproximationHeuristic {
  NONE,
  
  DEPTH;
}