Prove-It icon indicating copy to clipboard operation
Prove-It copied to clipboard

Published 20 hours ago • verified publisher icon sandialabs

Minimal_Automation flag in InSet.conclude()

Open wdcraft01 opened this issue 5 years ago • 4 comments
trafficstars

Would be useful to augment the InSet.conclude() method with a minimal_automation argument, defaulting minimal_automation=False. If minimal_automation = True, then it would (1) first check to see if already proven(), then (2) only use the code section involving InSet.knownMemberships dictionary.

wdcraft01 avatar May 04 '20 20:05 wdcraft01