CostFunction
Cost function for alignment moves.
Defines the cost of model moves, log moves, synchronous moves, and silent moves.
Defines the cost of model moves, log moves, synchronous moves, and silent moves.
Used as Input
0
functions accept this type(+4 nested)
Used as Output
0
functions return this type
Type Definition
4 nested items
struct— Cost function for alignment moves.
log_move_cost*:u32— Default cost for a log move (log event not matched by model)
model_move_cost*:u32— Default cost for a model move (visible transition fires without matching log event)
silent_move_cost*:u32— Default cost for a silent/tau move
sync_move_cost*:u32— Default cost for a synchronous move
Example JSON Value
{
"log_move_cost": 1,
"model_move_cost": 1,
"silent_move_cost": 1,
"sync_move_cost": 1
}