@syntest/search
Version:
The common core of the SynTest Framework
22 lines • 772 B
TypeScript
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