summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/reasoner.h
AgeCommit message (Collapse)Author
2015-07-04the reasoner's states are now closures just like the code for the def rules. ↵krasimir
This means more compact JIT compiled code and uniformity with the code for def rules
2015-07-03merge the states for reasoning and evaluation into a single structurekrasimir
2013-08-16fixes in the C and Python API to make them closer to the Haskell APIkr.angelov
2013-06-26forgot to add reasoner.hkr.angelov