search

data61 / PSL

Other
65 stars 9 forks source link

Abduction: order the terms in the key for and-nodes. #207

Closed yutakang closed 1 year ago

yutakang commented 1 year ago

We may conjecture the same set of and-terms from different or-nodes.

If we store the list of terms as the keys for and-nodes in a certain order, we can use the list as the set of conjectures when checking equality.

yutakang commented 1 year ago

Done in this commit (c712a74ac84765379c8715a48b1a0d20357e5fda).

https://github.com/data61/PSL/blob/c712a74ac84765379c8715a48b1a0d20357e5fda/Abduction/Abduction_Graph.ML#L138