@syntest/search
Version:
The common core of the SynTest Framework
16 lines • 629 B
TypeScript
import { Encoding } from "../../Encoding";
import { ObjectiveFunction } from "../ObjectiveFunction";
import { StructuralObjectiveManager } from "./StructuralObjectiveManager";
/**
* Objective manager that only evaluates an encoding on currently reachable.
*
* @author Mitchell Olsthoorn
*/
export declare class StructuralUncoveredObjectiveManager<T extends Encoding> extends StructuralObjectiveManager<T> {
/**
* @inheritDoc
* @protected
*/
protected _updateObjectives(objectiveFunction: ObjectiveFunction<T>): ObjectiveFunction<T>[];
}
//# sourceMappingURL=StructuralUncoveredObjectiveManager.d.ts.map