public class BasicExternalNodeBasedCoverageExtender extends java.lang.Object implements CoverageExtender
| Constructor and Description |
|---|
BasicExternalNodeBasedCoverageExtender() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<java.lang.String> |
find(java.util.List<Phylogeny> phylogenies,
java.util.List<java.lang.String> already_covered,
int number_names_to_find,
CoverageCalculationOptions options,
java.io.PrintStream out) |
public BasicExternalNodeBasedCoverageExtender()
public java.util.List<java.lang.String> find(java.util.List<Phylogeny> phylogenies, java.util.List<java.lang.String> already_covered, int number_names_to_find, CoverageCalculationOptions options, java.io.PrintStream out)
find in interface CoverageExtender