Commit 06c20e06 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

fixup! Implement random WTA generator

parent 26b4f209

src/random-wta/Output.hs

+2 −2
Original line number Diff line number Diff line
@@ -24,9 +24,9 @@ monoidForStates MaxInt = "Z" 
monoidForStates OrWord   = "N"

monoidForStates Powerset = "2"



withMonoidForWeights :: (MonoidType m) -> Builder -> Builder

withMonoidForWeights :: MonoidType m -> Builder -> Builder

withMonoidForWeights MaxInt   inner = "(Z, max)^(" <> inner <> ")"

withMonoidForWeights OrWord   inner = "(N, or)^(" <> inner <> ")"

withMonoidForWeights OrWord   inner = "(Word, or)^(" <> inner <> ")"

withMonoidForWeights Powerset inner = "P(" <> inner <> ")"



polynomial :: SymbolSpec -> Builder