Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Storage | |
|
Instances
class HasAssignment s a | s -> a where Source #
assignment :: Lens' s a Source #
Instances
HasAssignment (Storage s) Assignment Source # | |
Defined in Satyros.DPLL.Storage assignment :: Lens' (Storage s) Assignment Source # |
class HasClauses s a | s -> a where Source #
class HasUnassignedVariables s a | s -> a where Source #
unassignedVariables :: Lens' s a Source #
Instances
HasUnassignedVariables (Storage s) (Set Variable) Source # | |
Defined in Satyros.DPLL.Storage |
class HasVariableLevels s a | s -> a where Source #
variableLevels :: Lens' s a Source #