1 2 3 4 5 6 7 8
package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver; @SuppressWarnings("all") public enum ApproximationHeuristic { NONE, DEPTH; }