UNPKG

@syntest/search

Version:

The common core of the SynTest Framework

22 lines 772 B
import { Encoding } from "../../Encoding"; import { SearchSubject } from "../../SearchSubject"; import { ObjectiveFunction } from "../ObjectiveFunction"; import { ArchiveBasedObjectiveManager } from "./ArchiveBasedObjectiveManager"; /** * An objective manager that only tracks if an objective is covered * but doesn't provide any guidance. * * @author Mitchell Olsthoorn */ export declare class TrackingObjectiveManager<T extends Encoding> extends ArchiveBasedObjectiveManager<T> { /** * @inheritDoc * @protected */ protected _updateObjectives(objectiveFunction: ObjectiveFunction<T>): ObjectiveFunction<T>[]; /** * @inheritDoc */ load(subject: SearchSubject<T>): void; } //# sourceMappingURL=TrackingObjectiveManager.d.ts.map