AlignmentMove

A single alignment step

Used as Input

functions accept this type

Used as Output

functions return this type(+2 nested)

Type Definition

10 nested items

struct | struct | struct— A single alignment step

variant 1:struct— Synchronous move (model and log agree)

variant 2:struct— Model move (only the model moves,)

variant 3:struct— Log move (only the log moves)

{
  "SyncMove": {
    "trace_event_index": 1,
    "transition": "example"
  }
}