Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype Assignment Source #
Instances
assignVariable :: Literal -> Maybe Clause -> Assignment -> Assignment Source #
eraseVariables :: Set Variable -> Assignment -> Assignment Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
newtype Assignment Source #
assignVariable :: Literal -> Maybe Clause -> Assignment -> Assignment Source #
eraseVariables :: Set Variable -> Assignment -> Assignment Source #