DbWorklist

Undocumented in source.

struct DbWorklist {

}

Members

addToWorklist void addToWorklist(MutationStatusId id, long basePrio, MutationOrder userOrder): Add a mutant to the worklist.
clearWorklist void clearWorklist(): Undocumented in source. Be warned that the author may not have intended to support it.
getWorklistCount long getWorklistCount(): Undocumented in source. Be warned that the author may not have intended to support it.
removeFromWorklist void removeFromWorklist(MutationStatusId id): Remove a mutant from the worklist.
updateWorklist void updateWorklist(Mutation.Kind[] kinds, Mutation.Status[] status, long basePrio, MutationOrder userOrder): Add all mutants with the specific status to the worklist.