Skip to content
Commit 85a396bf authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Fixed a few small bugs; updated PDL. 

* Fixed: missing Formula::NF() call in KnowledgeBase::Entails().
* KnowledgeBase::BuildSpheres() is private now and called automatically.
* Updated PDL parser and examples for modalities.
* Added Formula::AsUnivClause() (which replaces two helper functions
  in Parser and KnowledgeBase).
parent decb03ad
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment