Module C2Imodel
Handles models for the C2I algorithm.
val update_colors : int -> Model.t list -> (Model.t * Model.t) list -> Model.t list -> Model.t list -> Model.t list -> Model.t list -> Model.t list * (Model.t * Model.t) list * Model.t list
Updates the white, grey and black model lists.
In theory thanks to the cost function the intersection between the new sets and the old ones is empty.