Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type ClingoError = Int32 Source #
pattern ErrorSuccess :: forall a. (Num a, Eq a) => a Source #
pattern ErrorRuntime :: forall a. (Num a, Eq a) => a Source #
pattern ErrorLogic :: forall a. (Num a, Eq a) => a Source #
pattern ErrorBadAlloc :: forall a. (Num a, Eq a) => a Source #
pattern ErrorUnknown :: forall a. (Num a, Eq a) => a Source #
type ClingoWarning = Int32 Source #
pattern WarnOpUndefined :: forall a. (Num a, Eq a) => a Source #
pattern WarnRTError :: forall a. (Num a, Eq a) => a Source #
pattern WarnAtomUndefined :: forall a. (Num a, Eq a) => a Source #
pattern WarnFileIncluded :: forall a. (Num a, Eq a) => a Source #
pattern WarnVariableUnbounded :: forall a. (Num a, Eq a) => a Source #
pattern WarnGlobalVariable :: forall a. (Num a, Eq a) => a Source #
type TruthValue = Int32 Source #
pattern TruthFalse :: forall a. (Num a, Eq a) => a Source #
type SymbolType = Int32 Source #
pattern SymInfimum :: forall a. (Num a, Eq a) => a Source #
pattern SymFunction :: forall a. (Num a, Eq a) => a Source #
pattern SymSupremum :: forall a. (Num a, Eq a) => a Source #
pattern StableModel :: forall a. (Num a, Eq a) => a Source #
pattern BraveConsequences :: forall a. (Num a, Eq a) => a Source #
pattern CautiousConsequences :: forall a. (Num a, Eq a) => a Source #
pattern ShowComplement :: forall a. (Num a, Eq a) => a Source #
type SolveResult = Word32 Source #
pattern ResultSatisfiable :: forall a. (Num a, Eq a) => a Source #
pattern ResultUnsatisfiable :: forall a. (Num a, Eq a) => a Source #
pattern ResultExhausted :: forall a. (Num a, Eq a) => a Source #
pattern ResultInterrupted :: forall a. (Num a, Eq a) => a Source #
pattern SolveModeAsync :: forall a. (Num a, Eq a) => a Source #
pattern SolveModeYield :: forall a. (Num a, Eq a) => a Source #
type SolveEvent = Word32 Source #
pattern SolveEventModel :: forall a. (Num a, Eq a) => a Source #
pattern SolveEventFinish :: forall a. (Num a, Eq a) => a Source #
type TheoryTermType = Int32 Source #
pattern TheoryTuple :: forall a. (Num a, Eq a) => a Source #
pattern TheoryList :: forall a. (Num a, Eq a) => a Source #
pattern TheoryFunction :: forall a. (Num a, Eq a) => a Source #
pattern TheoryNumber :: forall a. (Num a, Eq a) => a Source #
pattern TheorySymbol :: forall a. (Num a, Eq a) => a Source #
type ClauseType = Int32 Source #
pattern ClauseLearnt :: forall a. (Num a, Eq a) => a Source #
pattern ClauseStatic :: forall a. (Num a, Eq a) => a Source #
pattern ClauseVolatile :: forall a. (Num a, Eq a) => a Source #
pattern ClauseVolatileStatic :: forall a. (Num a, Eq a) => a Source #
type HeuristicType = Int32 Source #
pattern HeuristicLevel :: forall a. (Num a, Eq a) => a Source #
pattern HeuristicSign :: forall a. (Num a, Eq a) => a Source #
pattern HeuristicFactor :: forall a. (Num a, Eq a) => a Source #
pattern HeuristicInit :: forall a. (Num a, Eq a) => a Source #
pattern HeuristicTrue :: forall a. (Num a, Eq a) => a Source #
pattern HeuristicFalse :: forall a. (Num a, Eq a) => a Source #
type ExternalType = Int32 Source #
pattern ExternalFree :: forall a. (Num a, Eq a) => a Source #
pattern ExternalTrue :: forall a. (Num a, Eq a) => a Source #
pattern ExternalFalse :: forall a. (Num a, Eq a) => a Source #
pattern ExternalRelease :: forall a. (Num a, Eq a) => a Source #
type ConfigurationType = Word32 Source #
pattern ConfigValue :: forall a. (Num a, Eq a) => a Source #
pattern ConfigArray :: forall a. (Num a, Eq a) => a Source #
type StatisticsType = Int32 Source #
pattern StatsEmpty :: forall a. (Num a, Eq a) => a Source #
pattern StatsValue :: forall a. (Num a, Eq a) => a Source #
pattern StatsArray :: forall a. (Num a, Eq a) => a Source #