def construct_diagram(): pool = Pool(empty=True) pool.int_var("x") x = pool.terminal("x") zero = pool.terminal("0") test1 = pool.internal(LinearTest("x - 5", "<="), x, zero) test2 = pool.internal(LinearTest("x + 1", ">="), test1, zero) test3 = pool.internal(LinearTest("x + 2", "<="), x, test2) root = pool.internal(LinearTest("x", ">="), test1, test3) return Diagram(pool, root)
def get_looping_diagram(): pool = Pool() pool.int_var("x") test = LinearTest("x", "<=", "2") zero = pool.terminal(0) one = pool.terminal(1) node1 = pool.internal(test, one, zero) node2 = pool.internal(test, node1, zero) diagram = pool.diagram(node2) return diagram
def construct_diagram(): pool = Pool(empty=True) pool.int_var("x") x = pool.terminal("x") zero = pool.terminal("0") test1 = pool.internal(LinearTest("x - 5", "<="), x, zero) test2 = pool.internal(LinearTest("x + 1", ">="), test1, zero) test3 = pool.internal(LinearTest("x + 2", "<="), x, test2) root = pool.internal(LinearTest("x", ">="), test1, test3) return Diagram(pool, root)
def get_unordered_diagram(): pool = Pool() pool.int_var("x") test1 = LinearTest("x", "<=", "2") test2 = LinearTest("x", "<=", "3") zero = pool.terminal(0) one = pool.terminal(1) pool.internal(test1, one, zero) pool.internal(test2, one, zero) # test2 => test1 => 1 node1 = pool.internal(test1, one, zero) node2 = pool.internal(test2, node1, zero) diagram = pool.diagram(node2) return diagram