UNPKG

@syntest/search

Version:

The common core of the SynTest Framework

16 lines 629 B
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