From 5a6b94ef09762b6704991236be1ab8cd6375e272 Mon Sep 17 00:00:00 2001 From: erwan <erwan.jahier@univ-grenoble-alpes.fr> Date: Tue, 27 Jul 2021 14:52:03 +0200 Subject: [PATCH] test: the coloring algo is for non-directed graphs only! --- test/coloring/p.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/test/coloring/p.ml b/test/coloring/p.ml index 650ae823..ae452c46 100644 --- a/test/coloring/p.ml +++ b/test/coloring/p.ml @@ -1,8 +1,11 @@ -(* Time-stamp: <modified the 02/09/2020 (at 10:37) by Erwan Jahier> *) +(* Time-stamp: <modified the 27/07/2021 (at 14:48) by Erwan Jahier> *) (* This is algo 3.1 in the book *) open Algo -let k=max_degree () + 1 +let k = if directed () then + failwith "this algo is for non-directed graphs!" card()+1 + else + max_degree () + 1 let (init_state: int -> string -> 'v) = fun i _ -> Random.int i -- GitLab