{"service":"HALOWERK datenvertragswerk","endpoint":"/v1/minimum-degree-boolean-annihilator-family","method":"POST","content_type":"application/json","inputSchema":{"type":"object","properties":{"n":{"anyOf":[{"type":"integer","minimum":1,"maximum":3},{"type":"null"}]},"truth":{"anyOf":[{"type":"integer","minimum":0,"maximum":255},{"type":"null"}]},"claim":{"anyOf":[{"type":"object","properties":{"minimum_degree":{"type":"integer","minimum":0,"maximum":3},"annihilators":{"type":"array","items":{"type":"object","properties":{"side":{"type":"integer","minimum":0,"maximum":1},"coefficient_mask":{"type":"integer","minimum":1,"maximum":255},"truth_mask":{"type":"integer","minimum":1,"maximum":255}},"required":["side","coefficient_mask","truth_mask"],"additionalProperties":false},"minItems":1,"maxItems":30},"count":{"type":"integer","minimum":1,"maximum":30}},"required":["minimum_degree","annihilators","count"],"additionalProperties":false},{"type":"null"}]}},"required":["n","truth","claim"],"additionalProperties":false},"requestExample":{"n":1,"truth":0,"claim":{"minimum_degree":0,"annihilators":[{"side":0,"coefficient_mask":1,"truth_mask":3}],"count":1}},"operations":[{"method":"POST","inputSchema":{"type":"object","properties":{"n":{"anyOf":[{"type":"integer","minimum":1,"maximum":3},{"type":"null"}]},"truth":{"anyOf":[{"type":"integer","minimum":0,"maximum":255},{"type":"null"}]},"claim":{"anyOf":[{"type":"object","properties":{"minimum_degree":{"type":"integer","minimum":0,"maximum":3},"annihilators":{"type":"array","items":{"type":"object","properties":{"side":{"type":"integer","minimum":0,"maximum":1},"coefficient_mask":{"type":"integer","minimum":1,"maximum":255},"truth_mask":{"type":"integer","minimum":1,"maximum":255}},"required":["side","coefficient_mask","truth_mask"],"additionalProperties":false},"minItems":1,"maxItems":30},"count":{"type":"integer","minimum":1,"maximum":30}},"required":["minimum_degree","annihilators","count"],"additionalProperties":false},{"type":"null"}]}},"required":["n","truth","claim"],"additionalProperties":false},"requestExample":{"n":1,"truth":0,"claim":{"minimum_degree":0,"annihilators":[{"side":0,"coefficient_mask":1,"truth_mask":3}],"count":1}}}]}