Add flag for completion after only one branch is open
Closed this issue · 1 comments
connorjayr commented
Is your feature request related to a problem? Please describe.
In a truth tree, an open branch represents a truth assignment which satisfies the premises. In theory, this is all that is needed to complete the truth tree.
Describe the solution you'd like
The user (or instructor, for assignments) should have the option to change a flag which determines if the truth tree is completed after a single open branch.
Describe alternatives you've considered
This feature would be best implemented as a simple option, so no alternatives have been considered.
Additional context
There is no additional context.
jputlock commented
Added in rewrite.