Type Alias: TrailEntryDto
@kortexya/reasoninglayer / TrailEntryDto
Type Alias: TrailEntryDto
Section titled “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"; } | {termId:string;type:"term_creation"; } | {sortId:string;termId:string;type:"term_removal"; }
Defined in: src/types/execution.ts:52
A trail entry recording an undoable operation.
Remarks
Section titled “Remarks”Tagged union discriminated by type. Represents different kinds of
changes that can be undone during backtracking.