joshua/nominal-lstar
1
Fork 0
mirror of https://github.com/Jaxan/nominal-lstar.git synced 2025-04-27 22:57:45 +02:00
Code Issues Releases Activity

Optimization of size and maxSize functions.

Browse source
This commit is contained in:
Michał Szynwelski 2016-07-03 15:22:50 +02:00
parent 8d54c1a553
commit 5f51951b0d
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/Teacher.hs
View file

@ -92,7 +92,7 @@ teacherWithTargetAndIO aut = Teacher
-- 4. A teacher with state (hacked, since the types don't allow for it) -- 4. A teacher with state (hacked, since the types don't allow for it)
-- Useful for debugging and so on, but *very very hacky*! -- Useful for debugging and so on, but *very very hacky*!
countingTeacher :: (Show i, NominalType i) => Teacher i -> Teacher i countingTeacher :: (Show i, Contextual i, NominalType i) => Teacher i -> Teacher i
countingTeacher delegate = Teacher countingTeacher delegate = Teacher
{ membership = \qs -> increaseMQ qs `seq` membership delegate qs { membership = \qs -> increaseMQ qs `seq` membership delegate qs
, equivalent = \a -> increaseEQ a `seq` equivalent delegate a , equivalent = \a -> increaseEQ a `seq` equivalent delegate a
@ -109,7 +109,7 @@ countingTeacher delegate = Teacher
increaseMQ q = unsafePerformIO $ do increaseMQ q = unsafePerformIO $ do
new <- newOrbitsInCache q new <- newOrbitsInCache q
l <- readIORef mqCounter l <- readIORef mqCounter
let l2 = fromVariant new : l let l2 = new : l
writeIORef mqCounter l2 writeIORef mqCounter l2
{-# NOINLINE cache #-} {-# NOINLINE cache #-}
cache = unsafePerformIO $ newIORef empty cache = unsafePerformIO $ newIORef empty
@ -118,7 +118,7 @@ countingTeacher delegate = Teacher
oldCache <- readIORef cache oldCache <- readIORef cache
let newQs = qs \\ oldCache let newQs = qs \\ oldCache
writeIORef cache (oldCache `union` qs) writeIORef cache (oldCache `union` qs)
return $ setOrbitsNumber newQs return $ setOrbitsMaxNumber newQs
-- HACK: Counts number of equivalence queries -- HACK: Counts number of equivalence queries
eqCounter :: IORef Int eqCounter :: IORef Int