From: Versatile and declarative dynamic programming using pair algebras
Application | Result |
---|---|
wuchty98(bpmax***count,w) | [(2,4)] |
wuchty98(bpmax***pretty,w) | [(2,".((.......))"), (2,"..((......))"), (2,".((....))..."), (2,"..((...))...")] |
wuchty98(bpmax***enum,w) | [(2, Str (Ul (Bl (0,1) (Sr 'g' (Hl 'g' (3,10) 'c') 'u')))), (2, Str (Ul (Bl (0,2) (Sr 'g' (Hl 'g' (4,10) 'c') 'u')))), (2, Str (Cons (Bl (0,1) (Sr 'g' (Hl 'g' (3,7) 'c') 'c')) (Ul (Ss (9,12))))), (2, Str (Cons (Bl (0,2) (Sr 'g' (Hl 'g' (4,7) 'c') 'c')) (Ul (Ss (9,12)))))] |
wuchty98(bpmax***(enum***pretty,w) | [(2,(Str (Ul (Bl (0,1) (Sr 'g' (Hl 'g' (3,10) 'c') 'u'))), ".((.......))")), (2, (Str (Ul (Bl (0,2) (Sr 'g' (Hl 'g' (4,10) 'c') 'u'))), "..((......))")), (2,(Str (Cons (Bl (0,1) (Sr 'g' (Hl 'g' (3,7) 'c') 'c')) (Ul (Ss (9,12)))), ".((....))...")), (2, (Str (Cons (Bl (0,2) (Sr 'g' (Hl 'g' (4,7) 'c') 'c')) (Ul (Ss (9,12)))), "..((...))..."))] |
wuchty98(shape***count, w) | [("_ [_]", 2), ("_ [_]_", 2), ("_",1)] |
wuchty98(bpmax(5)***shape, w) | [(2,"_ [_]"), (2,"_ [_]_"), (0,"_")] |
wuchty98(bpmax(5)***(shape***count), w) | [(2, ("_[_]", 2)), (2, ("_[_]_", 2)), (0, ("_",1))] |
wuchty98(shape***bpmax, w) | [("_[_]", 2), ("_[_]_", 2), ("_",0)] |
wuchty98(bpmax***pretty', w) | [(2,".((....))...")] |
wuchty98(pretty***count, w) | [(".((.......))",1), ("..((......))",1), (".((....))...",1), ("..((....))...",1), ("............",1)] |