ApproximationHeuristic.java « solver « transformation « faulttree « dslreasoner « inf « mit « bme « hu « xtend-gen « hu.bme.mit.inf.dslreasoner.faulttree.transformation « Stochastic - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ApproximationHeuristic.java

blob: 822d4f3634ad455a08c906d2968cd6bed08cfe99 (plain) (blame)

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

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