Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Assignment Source #
Instances
Show Assignment Source # | |
Defined in Satyros.DPLL.Assignment showsPrec :: Int -> Assignment -> ShowS # show :: Assignment -> String # showList :: [Assignment] -> ShowS # | |
Ixed Assignment Source # | |
Defined in Satyros.DPLL.Assignment ix :: Index Assignment -> Traversal' Assignment (IxValue Assignment) # | |
At Assignment Source # | |
Defined in Satyros.DPLL.Assignment at :: Index Assignment -> Lens' Assignment (Maybe (IxValue Assignment)) # | |
Wrapped Assignment Source # | |
Defined in Satyros.DPLL.Assignment type Unwrapped Assignment # | |
HasAssignment (Storage s) Assignment Source # | |
Defined in Satyros.DPLL.Storage assignment :: Lens' (Storage s) Assignment Source # | |
type Index Assignment Source # | |
Defined in Satyros.DPLL.Assignment | |
type IxValue Assignment Source # | |
Defined in Satyros.DPLL.Assignment | |
type Unwrapped Assignment Source # | |
Defined in Satyros.DPLL.Assignment |
assignVariable :: Literal -> Maybe Clause -> Assignment -> Assignment Source #
eraseVariables :: Set Variable -> Assignment -> Assignment Source #