Project

General

Profile

« Previous | Next » 

Revision 6553983f

ID6553983f70e1e15aebace9b4cc43caeb62572b20
Parent cc07e93d
Child 5ec97220

Added by Christoph Egger over 3 years ago

Add fixpoint-unfold to detClosure

should now properly calculate the FL-Closure

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences