Type Alias: TrailEntryDto
@kortexya/reasoninglayer / Execution / TrailEntryDto
Type Alias: TrailEntryDto
TrailEntryDto = {
featureName:string;previousValue?:ExecutionValueDto|null;termId:string;type:"term_binding"; } | {previousBinding?:string|null;type:"variable_binding";varId:string; } | {previousSort:string;termId:string;type:"sort_narrowing"; } | {featureName:string;termId:string;type:"feature_addition"; } | {previousCoref?:string|null;termId:string;type:"coref_change"; } | {prevLower:string;prevUpper:string;type:"rational_bounds_change"; }
Defined in: src/types/execution.ts:52
A trail entry recording an undoable operation.
Remarks
Tagged union discriminated by type. Represents different kinds of
changes that can be undone during backtracking.