Skip to main content

AlignmentOptions

Options for computing alignment
Used as Input

4

functions accept this type

Used as Output

0

functions return this type

Type Definition

6 nested items
AlignmentOptionsOptions for computing alignment
cost_fn*:CostFunctionCost function for alignment moves.
log_move_cost*:u32Default cost for a log move (log event not matched by model)
model_move_cost*:u32Default cost for a model move (visible transition fires without matching log event)
silent_move_cost*:u32Default cost for a silent/tau move
sync_move_cost*:u32Default cost for a synchronous move
max_states:Option<i64>Maximum number of states to visit before aborting (per trace).

Example JSON Value

{
  "cost_fn": {
    "log_move_cost": 1,
    "model_move_cost": 1,
    "silent_move_cost": 1,
    "sync_move_cost": 1
  }
}

Functions Accepting This Type(4)