package de.ugoe.cs.autoquest.commands.usage;
import java.util.Collection;
import java.util.Iterator;
import java.util.LinkedHashSet;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
import java.util.Set;
import java.util.logging.Level;
import de.ugoe.cs.autoquest.CommandHelpers;
import de.ugoe.cs.autoquest.coverage.SequenceTools;
import de.ugoe.cs.autoquest.eventcore.Event;
import de.ugoe.cs.autoquest.usageprofiles.IStochasticProcess;
import de.ugoe.cs.util.ArrayTools;
import de.ugoe.cs.util.console.Command;
import de.ugoe.cs.util.console.Console;
import de.ugoe.cs.util.console.GlobalDataContainer;
/**
*
* Command to generate test suite with a greedy strategy to achieve a desired
* coverage.
*
*
* @author Steffen Herbold
* @version 1.0
*/
public class CMDgenerateGreedy implements Command {
/**
*
* Tolerance for double comparisons
*
*/
final static double eps = 0.000000000001;
/*
* (non-Javadoc)
*
* @see de.ugoe.cs.util.console.Command#run(java.util.List)
*/
@Override
public void run(List