/**
* Interface for a termination trigger that stops the search process.
*
* @author Mitchell Olsthoorn
*/
export interfaceTerminationTrigger{
/**
* Return if the termination trigger has been triggered.
*/isTriggered(): boolean;
}
//# sourceMappingURL=TerminationTrigger.d.ts.map