Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data DomainSize Source #
O | |
Type | |
|
connective :: Connective -> Form -> Form -> Form Source #
notInwards :: Form -> Form Source #
CNF | |
|
toLiterals :: Clause -> [Literal] Source #
data NoAnswerReason Source #
data UnsatReason Source #
explainAnswer :: Answer -> String Source #
Form :: TypeOf Form | |
Clause_ :: TypeOf Clause | |
Term :: TypeOf Term | |
Atomic :: TypeOf Atomic | |
Signed :: (Symbolic a, Symbolic (Signed a)) => TypeOf (Signed a) | |
Bind_ :: (Symbolic a, Symbolic (Bind a)) => TypeOf (Bind a) | |
List :: (Symbolic a, Symbolic [a]) => TypeOf [a] | |
Input_ :: (Symbolic a, Symbolic (Input a)) => TypeOf (Input a) | |
CNF_ :: TypeOf CNF |
recursively :: Symbolic a => (forall a. Symbolic a => a -> a) -> a -> a Source #
termsAndBinders :: forall a b. Symbolic a => (Term -> DList b) -> (forall a. Symbolic a => Bind a -> [b]) -> a -> [b] Source #
uniqueNames :: Symbolic a => a -> NameM a Source #