fact: Fixpoint valid_decomp (cs : decomp) : bool := match cs with | nil => true | ci :: cs' => valid_decomp cs' && forallb (fun b => forallb (fun cj => forallb (fun c => negb (approx b c)) cj) cs') ci end.
imports: CoLoR(AGraph Union ATrs RelUtil ListUtil LogicUtil SN BoolUtil VecUtil)