search

Bram28 / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU Affero General Public License v3.0
2 stars 8 forks source link

Add linking rules&caserules #35

Closed aweinstock314 closed 11 years ago

aweinstock314 commented 11 years ago

Fix the tree-oriented basic rule verification (possibly to include extraDataDelta instead of extraData).

Tent-oriented basic rule: "If you have a tent that has no adjacent unknowns, and exactly one unlinked adjacent tree [i.e. everything else is known grass or already linked tree (and I suppose it could even be another tent ... but don't show that in the icon)] then link that tent with that tree"

Tent-oriented link case rule: "If a tent has no adjacent unknowns, and multiple adjacent unlinked trees, then the tent is linked to one of those trees"

Tree-oriented link case rule: "If a tree has no adjacent unknowns, and multiple adjacent unlinked tents, then the tree is linked to one of those tents"