Show s => Show (Storage s) Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
Generic (Storage s) Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
RandomGen (Storage s) Source # | |
Instance detailsDefined in Satyros.DPLL.Storage Methods next :: Storage s -> (Int, Storage s) # genWord8 :: Storage s -> (Word8, Storage s) # genWord16 :: Storage s -> (Word16, Storage s) # genWord32 :: Storage s -> (Word32, Storage s) # genWord64 :: Storage s -> (Word64, Storage s) # genWord32R :: Word32 -> Storage s -> (Word32, Storage s) # genWord64R :: Word64 -> Storage s -> (Word64, Storage s) # genShortByteString :: Int -> Storage s -> (ShortByteString, Storage s) # genRange :: Storage s -> (Int, Int) # split :: Storage s -> (Storage s, Storage s) # |
Generic1 Storage Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
HasTheory (Storage s) s Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
HasStdGen (Storage s) StdGen Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
HasAssignment (Storage s) Assignment Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
HasVariableLevels (Storage s) [(Maybe Variable, Set Variable)] Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
HasUnassignedVariables (Storage s) (Set Variable) Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
HasClauses (Storage s) (Vector Clause) Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
Functor f => MonadState (Storage s) (DPLL s f) Source # | |
Instance detailsDefined in Satyros.DPLL.Effect |
type Rep (Storage s) Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |
type Rep1 Storage Source # | |
Instance detailsDefined in Satyros.DPLL.Storage |