Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Eq Variable Source # | |
Ord Variable Source # | |
Defined in Satyros.CNF.Variable | |
Show Variable Source # | |
Generic Variable Source # | |
HasVariableLevels (Storage s) [(Maybe Variable, Set Variable)] Source # | |
Defined in Satyros.DPLL.Storage | |
HasUnassignedVariables (Storage s) (Set Variable) Source # | |
Defined in Satyros.DPLL.Storage | |
type Rep Variable Source # | |
Defined in Satyros.CNF.Variable |