Abduction: The name Seed_Of_And_Node does not reflect what it is. - Githubissues

data61 / PSL

Other

65 stars 9 forks source link

Abduction: The name Seed_Of_And_Node does not reflect what it is. #208

Closed yutakang closed 1 year ago

yutakang commented 1 year ago

It is mostly about the seed to produce an or2and_labelled_edge.

yutakang commented 1 year ago

It has been renamed to Seed_Of_Or2And_Edge.