search

data61 / PSL

Other
65 stars 9 forks source link

Abduction: Don't use Unsynchronized.inc for proof_id in Or_Node.ML #199

Closed yutakang closed 8 months ago

yutakang commented 1 year ago

It has to be synchronised.

yutakang commented 1 year ago

But we probably no longer need proof_id, since we convert abduction_graphs to abduction_trees.

yutakang commented 8 months ago

no longer used