{"service":"HALOWERK datenvertragswerk","endpoint":"/v1/binary-automaton-reset-word-ledger","method":"POST","content_type":"application/json","inputSchema":{"type":"object","additionalProperties":false,"required":["states","transitions","claimed_length"],"properties":{"states":{"type":"integer","minimum":1,"maximum":4},"transitions":{"anyOf":[{"type":"array","minItems":1,"maxItems":4,"items":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":0,"maximum":3}}},{"type":"null"}]},"claimed_length":{"anyOf":[{"type":"integer","minimum":-1,"maximum":14},{"type":"null"}]}}},"requestExample":{"states":4,"transitions":[[1,1],[1,2],[2,3],[3,0]],"claimed_length":9},"operations":[{"method":"POST","inputSchema":{"type":"object","additionalProperties":false,"required":["states","transitions","claimed_length"],"properties":{"states":{"type":"integer","minimum":1,"maximum":4},"transitions":{"anyOf":[{"type":"array","minItems":1,"maxItems":4,"items":{"type":"array","minItems":2,"maxItems":2,"items":{"type":"integer","minimum":0,"maximum":3}}},{"type":"null"}]},"claimed_length":{"anyOf":[{"type":"integer","minimum":-1,"maximum":14},{"type":"null"}]}}},"requestExample":{"states":4,"transitions":[[1,1],[1,2],[2,3],[3,0]],"claimed_length":9}}]}