{"inputSchema":{"type":"object","additionalProperties":false,"required":["artifact"],"properties":{"artifact":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"bddProbability":{"type":"object","properties":{"data":{"type":"object","properties":{"variables":{"type":"integer","minimum":0,"maximum":32},"order":{"type":"array","items":{"type":"integer","minimum":0,"maximum":31},"maxItems":32,"minItems":0},"weights":{"type":"array","items":{"type":"object","properties":{"numerator":{"type":"string","pattern":"^(0|[1-9][0-9]{0,8})$","not":{"pattern":"[^0-9]"}},"denominator":{"type":"string","pattern":"^[1-9][0-9]{0,8}$","not":{"pattern":"[^0-9]"}}},"required":["numerator","denominator"],"additionalProperties":false},"maxItems":32,"minItems":0},"evidence":{"type":"array","items":{"anyOf":[{"type":"boolean"},{"type":"null"}]},"maxItems":32,"minItems":0},"expression":{"$ref":"#/properties/artifact/%24defs/expression"}},"required":["variables","order","weights","evidence","expression"],"additionalProperties":false},"claim":{"$ref":"#/properties/artifact/%24defs/json"}},"required":["data","claim"],"additionalProperties":false}},"required":["bddProbability"],"additionalProperties":false,"$defs":{"expression":{"anyOf":[{"type":"object","properties":{"op":{"enum":["constant"]},"value":{"type":"boolean"}},"required":["op","value"],"additionalProperties":false},{"type":"object","properties":{"op":{"enum":["variable"]},"variable":{"type":"integer","minimum":0,"maximum":31}},"required":["op","variable"],"additionalProperties":false},{"type":"object","properties":{"op":{"enum":["not"]},"value":{"$ref":"#/properties/artifact/%24defs/expression"}},"required":["op","value"],"additionalProperties":false},{"type":"object","properties":{"op":{"enum":["and","or","xor","implies","iff"]},"left":{"$ref":"#/properties/artifact/%24defs/expression"},"right":{"$ref":"#/properties/artifact/%24defs/expression"}},"required":["op","left","right"],"additionalProperties":false},{"type":"object","properties":{"op":{"enum":["ite"]},"condition":{"$ref":"#/properties/artifact/%24defs/expression"},"then":{"$ref":"#/properties/artifact/%24defs/expression"},"else":{"$ref":"#/properties/artifact/%24defs/expression"}},"required":["op","condition","then","else"],"additionalProperties":false}]},"json":{"anyOf":[{"type":"null"},{"type":"boolean"},{"type":"number"},{"type":"string","maxLength":16000},{"type":"array","items":{"$ref":"#/properties/artifact/%24defs/json"},"maxItems":16000},{"type":"object","additionalProperties":{"$ref":"#/properties/artifact/%24defs/json"},"maxProperties":16000}]}}}}},"method":"POST","url":"https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-11/reduced-ordered-bdd-rational-conditioned-model-probability-marginals"}