Python Circuit.find_number_wrong_inputの例

コード例 #1

ファイル: run2.py プロジェクト: matan230g/bfs-circuit

system = f.read()

observations = system.split('.')
observations.remove('')
observations_list = []

for o in observations:
    o = o.replace('(', '')
    o = o.replace(')', '')
    observations_list.append(Observation(o))

for object_observation in observations_list:
    c1.add_observation(object_observation)

    #sum_leq
    k = c1.find_number_wrong_input(object_observation)
    solver = MinimalSubset_2(k)

    for gate in c1.gates:
        # print("before ob")
        # print(gate.cnf)
        for node in object_observation.inputs:
            # print("node:",node.name , node.value)
            gate.cnf_leq = gate.cnf_leq.subs(node.symbol, node.value)
            # print(gate.cnf)

        for node in object_observation.outputs:
            # print("node:",node.name , node.value)
            gate.cnf_leq = gate.cnf_leq.subs(node.symbol, node.value)
            # print(gate.cnf)