Project

General

Profile

« Previous | Next » 

Revision 6bfe1352

ID6bfe13523c5b9b62714305a7599e00be5a4fc694
Parent 5a7548b8
Child 65e44e2d

Added by Hans-Peter Deifel over 2 years ago

Properly calculate priority for partial permutations

- Compute n based on the size of the Fischer-Ladner-Closure and
maximum alternation depth of the input formula
- Handle the case where no formula has been removed or is active

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences