Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.Stats
Documentation
readStatsConflicts :: Stats s -> ST s Int Source #
incrStatsConflicts :: Stats s -> ST s () Source #
readStatsRestarts :: Stats s -> ST s Int Source #
incrStatsRestarts :: Stats s -> ST s () Source #
readStatsLearnt :: Stats s -> ST s Int Source #
incrStatsLearnt :: Stats s -> ST s () Source #
readStatsClauses :: Stats s -> ST s Int Source #
incrStatsClauses :: Stats s -> ST s () Source #
readStatsLearntLiterals :: Stats s -> ST s Int Source #
incrStatsLearntLiterals :: Stats s -> Int -> ST s () Source #