Project

General

Profile

« Previous | Next » 

Revision c1a08c36

IDc1a08c365e55349509f44a2c98160524adbc1a23
Parent 9944c81b
Child 4c4531ea

Added by Thorsten WiƟmann almost 2 years ago

CL: create enough rule 2 applications

The previous optimization in the rule 2 applications of coalition logic
left out some rule applications. Now, do enough but still do not
generate unnecessarily many rule applications.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences