Project

General

Profile

« Previous | Next » 

Revision 16af388e

ID16af388e35d1cdf14be4be291e7c977ee0877513
Parent 8d6bf016
Child c13029a3

Added by Christoph Egger over 3 years ago

Make reasoner nodes include deferrals

This makes the identifying information be of type bset*bset instead of
bset and adds tracking of deferrals for propositional reasoning and --
in case of K -- for modal reasoning

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences