Slava Pestov 634ca55764 RequirementMachine: Rework completion limits a bit ...

- Rename StepLimit to MaxRuleCount, DepthLimit to MaxRuleLength
- Rename command line flags to -requirement-machine-max-rule-{count,length}=
- Check limits outside of PropertyMap::buildPropertyMap()
- Simplify the logic in RequirementMachine::computeCompletion()

2022-02-07 08:20:59 -05:00

95 KiB

Raw Blame History

View Raw