String nameOfDataset = PropertiesUtils.hasProperty(dsParams, ConfigParser.paramName) ? dsParams.getProperty(ConfigParser.paramName) : "UN-NAMED";
final int maxGoldYield = PropertiesUtils.getInt(options, "y", Integer.MAX_VALUE); final boolean VERBOSE = PropertiesUtils.getBool(options, "v", false); final boolean sortByF1 = PropertiesUtils.hasProperty(options, "s"); int worstKTreesToEmit = PropertiesUtils.getInt(options, "s", 0); PriorityQueue<Triple<Double,Tree,Tree>> queue = sortByF1 ? new PriorityQueue<>(2000, new F1Comparator()) : null;
DefaultPaths.DEFAULT_PARSER_MODEL); boolean parserDebug = PropertiesUtils.hasProperty(props, "parser.debug"); String parserFlags = props.getProperty("parser.flags"); String[] parserFlagList;
String nameOfDataset = PropertiesUtils.hasProperty(dsParams, ConfigParser.paramName) ? dsParams.getProperty(ConfigParser.paramName) : "UN-NAMED";
final int maxGoldYield = PropertiesUtils.getInt(options, "y", Integer.MAX_VALUE); final boolean VERBOSE = PropertiesUtils.getBool(options, "v", false); final boolean sortByF1 = PropertiesUtils.hasProperty(options, "s"); int worstKTreesToEmit = PropertiesUtils.getInt(options, "s", 0); PriorityQueue<Triple<Double,Tree,Tree>> queue = sortByF1 ? new PriorityQueue<>(2000, new F1Comparator()) : null;
final int maxGoldYield = PropertiesUtils.getInt(options, "y", Integer.MAX_VALUE); final boolean VERBOSE = PropertiesUtils.getBool(options, "v", false); final boolean sortByF1 = PropertiesUtils.hasProperty(options, "s"); int worstKTreesToEmit = PropertiesUtils.getInt(options, "s", 0); PriorityQueue<Triple<Double,Tree,Tree>> queue = sortByF1 ? new PriorityQueue<Triple<Double,Tree,Tree>>(2000, new F1Comparator()) : null;
final int maxGoldYield = PropertiesUtils.getInt(options, "y", Integer.MAX_VALUE); final boolean VERBOSE = PropertiesUtils.getBool(options, "v", false); final boolean sortByF1 = PropertiesUtils.hasProperty(options, "s"); int worstKTreesToEmit = PropertiesUtils.getInt(options, "s", 0); PriorityQueue<Triple<Double,Tree,Tree>> queue = sortByF1 ? new PriorityQueue<>(2000, new F1Comparator()) : null;