Squash "SA" within existential graph tree

samanthajlee2 / ExistentialGraphProofGenerator

Generates Existential Graph Proofs from set of premises to a goal.

0 stars 1 forks source link

Open sihsob opened 7 years ago

sihsob commented 7 years ago

Remove any SA that isn't the root node in an existential graph tree

Remove SA node
Move children from removed to node to become children of the previous node (This may require an adjustment in the class structure)