Project

General

Profile

« Previous | Next » 

Revision d283bf7a

IDd283bf7a0fcdee3fde65ef210864eb290b5ec7ce
Parent ea6ba714
Child f60698a6

Added by Thorsten WiƟmann over 2 years ago

Use different state sets for different sorts

Patch by Florian Widmann In order to fix the behaviour for the K*K
formulas

[pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3
[pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3 | [pi1][U]c4

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences