Clingo.Raw.Types

Documentation

type CBool = Word8

Basic types

type Literal = Int32

type Atom = Word32

type Identifier = Word32

type Weight = Int32

type Logger a = ClingoWarning -> Ptr CChar -> Ptr a -> IO ()

mkCallbackLogger :: Logger a -> IO (FunPtr (Logger a))

data Location

Constructors

Location

Fields

• locBeginFile :: CString
• locEndFile :: CString
• locBeginLine :: Word64
• locEndLine :: Word64
• locBeginCol :: Word64
• locEndCol :: Word64

Instances

Eq Location

Methods

(==) :: Location -> Location -> Bool

(/=) :: Location -> Location -> Bool

Show Location

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

Storable Location

Methods

sizeOf :: Location -> Int

alignment :: Location -> Int

peekElemOff :: Ptr Location -> Int -> IO Location

pokeElemOff :: Ptr Location -> Int -> Location -> IO ()

peekByteOff :: Ptr b -> Int -> IO Location

pokeByteOff :: Ptr b -> Int -> Location -> IO ()

peek :: Ptr Location -> IO Location

poke :: Ptr Location -> Location -> IO ()

Symbols

type Signature = Word64

type Symbol = Word64

data SymbolicLiteral

Constructors

SymbolicLiteral

Fields

• slitSymbol :: Symbol
• slitPositive :: CBool

Instances

Storable SymbolicLiteral

Methods

sizeOf :: SymbolicLiteral -> Int

alignment :: SymbolicLiteral -> Int

peekElemOff :: Ptr SymbolicLiteral -> Int -> IO SymbolicLiteral

pokeElemOff :: Ptr SymbolicLiteral -> Int -> SymbolicLiteral -> IO ()

peekByteOff :: Ptr b -> Int -> IO SymbolicLiteral

pokeByteOff :: Ptr b -> Int -> SymbolicLiteral -> IO ()

peek :: Ptr SymbolicLiteral -> IO SymbolicLiteral

poke :: Ptr SymbolicLiteral -> SymbolicLiteral -> IO ()

Model and Solving

newtype Model

Constructors

Model (Ptr Model)

Instances

Storable Model

Methods

sizeOf :: Model -> Int

alignment :: Model -> Int

peekElemOff :: Ptr Model -> Int -> IO Model

pokeElemOff :: Ptr Model -> Int -> Model -> IO ()

peekByteOff :: Ptr b -> Int -> IO Model

pokeByteOff :: Ptr b -> Int -> Model -> IO ()

peek :: Ptr Model -> IO Model

poke :: Ptr Model -> Model -> IO ()

newtype SolveHandle

Constructors

SolveHandle (Ptr SolveHandle)

Instances

Storable SolveHandle

Methods

sizeOf :: SolveHandle -> Int

alignment :: SolveHandle -> Int

peekElemOff :: Ptr SolveHandle -> Int -> IO SolveHandle

pokeElemOff :: Ptr SolveHandle -> Int -> SolveHandle -> IO ()

peekByteOff :: Ptr b -> Int -> IO SolveHandle

pokeByteOff :: Ptr b -> Int -> SolveHandle -> IO ()

peek :: Ptr SolveHandle -> IO SolveHandle

poke :: Ptr SolveHandle -> SolveHandle -> IO ()

newtype SolveControl

Constructors

SolveControl (Ptr SolveControl)

Instances

Storable SolveControl

Methods

sizeOf :: SolveControl -> Int

alignment :: SolveControl -> Int

peekElemOff :: Ptr SolveControl -> Int -> IO SolveControl

pokeElemOff :: Ptr SolveControl -> Int -> SolveControl -> IO ()

peekByteOff :: Ptr b -> Int -> IO SolveControl

pokeByteOff :: Ptr b -> Int -> SolveControl -> IO ()

peek :: Ptr SolveControl -> IO SolveControl

poke :: Ptr SolveControl -> SolveControl -> IO ()

Symbolic and Theory Atoms

newtype SymbolicAtoms

Constructors

SymbolicAtoms (Ptr SymbolicAtoms)

Instances

Storable SymbolicAtoms

Methods

sizeOf :: SymbolicAtoms -> Int

alignment :: SymbolicAtoms -> Int

peekElemOff :: Ptr SymbolicAtoms -> Int -> IO SymbolicAtoms

pokeElemOff :: Ptr SymbolicAtoms -> Int -> SymbolicAtoms -> IO ()

peekByteOff :: Ptr b -> Int -> IO SymbolicAtoms

pokeByteOff :: Ptr b -> Int -> SymbolicAtoms -> IO ()

peek :: Ptr SymbolicAtoms -> IO SymbolicAtoms

poke :: Ptr SymbolicAtoms -> SymbolicAtoms -> IO ()

type SymbolicAtomIterator = Word64

newtype TheoryAtoms

Constructors

TheoryAtoms (Ptr TheoryAtoms)

Instances

Storable TheoryAtoms

Methods

sizeOf :: TheoryAtoms -> Int

alignment :: TheoryAtoms -> Int

peekElemOff :: Ptr TheoryAtoms -> Int -> IO TheoryAtoms

pokeElemOff :: Ptr TheoryAtoms -> Int -> TheoryAtoms -> IO ()

peekByteOff :: Ptr b -> Int -> IO TheoryAtoms

pokeByteOff :: Ptr b -> Int -> TheoryAtoms -> IO ()

peek :: Ptr TheoryAtoms -> IO TheoryAtoms

poke :: Ptr TheoryAtoms -> TheoryAtoms -> IO ()

Propagators

newtype PropagateInit

Constructors

PropagateInit (Ptr PropagateInit)

Instances

Storable PropagateInit

Methods

sizeOf :: PropagateInit -> Int

alignment :: PropagateInit -> Int

peekElemOff :: Ptr PropagateInit -> Int -> IO PropagateInit

pokeElemOff :: Ptr PropagateInit -> Int -> PropagateInit -> IO ()

peekByteOff :: Ptr b -> Int -> IO PropagateInit

pokeByteOff :: Ptr b -> Int -> PropagateInit -> IO ()

peek :: Ptr PropagateInit -> IO PropagateInit

poke :: Ptr PropagateInit -> PropagateInit -> IO ()

newtype Assignment

Constructors

Assignment (Ptr Assignment)

Instances

Storable Assignment

Methods

sizeOf :: Assignment -> Int

alignment :: Assignment -> Int

peekElemOff :: Ptr Assignment -> Int -> IO Assignment

pokeElemOff :: Ptr Assignment -> Int -> Assignment -> IO ()

peekByteOff :: Ptr b -> Int -> IO Assignment

pokeByteOff :: Ptr b -> Int -> Assignment -> IO ()

peek :: Ptr Assignment -> IO Assignment

poke :: Ptr Assignment -> Assignment -> IO ()

newtype PropagateControl

Constructors

PropagateControl (Ptr PropagateControl)

Instances

Storable PropagateControl

Methods

sizeOf :: PropagateControl -> Int

alignment :: PropagateControl -> Int

peekElemOff :: Ptr PropagateControl -> Int -> IO PropagateControl

pokeElemOff :: Ptr PropagateControl -> Int -> PropagateControl -> IO ()

peekByteOff :: Ptr b -> Int -> IO PropagateControl

pokeByteOff :: Ptr b -> Int -> PropagateControl -> IO ()

peek :: Ptr PropagateControl -> IO PropagateControl

poke :: Ptr PropagateControl -> PropagateControl -> IO ()

type CallbackPropagatorInit a = PropagateInit -> Ptr a -> IO CBool

mkCallbackPropagatorInit :: CallbackPropagatorInit a -> IO (FunPtr (CallbackPropagatorInit a))

type CallbackPropagatorPropagate a = PropagateControl -> Ptr Literal -> CSize -> Ptr a -> IO CBool

mkCallbackPropagatorPropagate :: CallbackPropagatorPropagate a -> IO (FunPtr (CallbackPropagatorPropagate a))

type CallbackPropagatorUndo a = PropagateControl -> Ptr Literal -> CSize -> Ptr a -> IO CBool

mkCallbackPropagatorUndo :: CallbackPropagatorUndo a -> IO (FunPtr (CallbackPropagatorUndo a))

type CallbackPropagatorCheck a = PropagateControl -> Ptr a -> IO CBool

mkCallbackPropagatorCheck :: CallbackPropagatorCheck a -> IO (FunPtr (CallbackPropagatorCheck a))

data Propagator a

Constructors

Propagator

Fields

• propagatorInit :: FunPtr (CallbackPropagatorInit a)
• propagatorPropagate :: FunPtr (CallbackPropagatorPropagate a)
• propagatorUndo :: FunPtr (CallbackPropagatorUndo a)
• propagatorCheck :: FunPtr (CallbackPropagatorCheck a)

Instances

Storable (Propagator a)

Methods

sizeOf :: Propagator a -> Int

alignment :: Propagator a -> Int

peekElemOff :: Ptr (Propagator a) -> Int -> IO (Propagator a)

pokeElemOff :: Ptr (Propagator a) -> Int -> Propagator a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Propagator a)

pokeByteOff :: Ptr b -> Int -> Propagator a -> IO ()

peek :: Ptr (Propagator a) -> IO (Propagator a)

poke :: Ptr (Propagator a) -> Propagator a -> IO ()

Program Builder

data WeightedLiteral

Constructors

WeightedLiteral

Fields

• wlLiteral :: Literal
• wlWeight :: Weight

Instances

Storable WeightedLiteral

Methods

sizeOf :: WeightedLiteral -> Int

alignment :: WeightedLiteral -> Int

peekElemOff :: Ptr WeightedLiteral -> Int -> IO WeightedLiteral

pokeElemOff :: Ptr WeightedLiteral -> Int -> WeightedLiteral -> IO ()

peekByteOff :: Ptr b -> Int -> IO WeightedLiteral

pokeByteOff :: Ptr b -> Int -> WeightedLiteral -> IO ()

peek :: Ptr WeightedLiteral -> IO WeightedLiteral

poke :: Ptr WeightedLiteral -> WeightedLiteral -> IO ()

newtype Backend

Constructors

Backend (Ptr Backend)

Instances

Storable Backend

Methods

sizeOf :: Backend -> Int

alignment :: Backend -> Int

peekElemOff :: Ptr Backend -> Int -> IO Backend

pokeElemOff :: Ptr Backend -> Int -> Backend -> IO ()

peekByteOff :: Ptr b -> Int -> IO Backend

pokeByteOff :: Ptr b -> Int -> Backend -> IO ()

peek :: Ptr Backend -> IO Backend

poke :: Ptr Backend -> Backend -> IO ()

newtype ProgramBuilder

Constructors

ProgramBuilder (Ptr ProgramBuilder)

Instances

Storable ProgramBuilder

Methods

sizeOf :: ProgramBuilder -> Int

alignment :: ProgramBuilder -> Int

peekElemOff :: Ptr ProgramBuilder -> Int -> IO ProgramBuilder

pokeElemOff :: Ptr ProgramBuilder -> Int -> ProgramBuilder -> IO ()

peekByteOff :: Ptr b -> Int -> IO ProgramBuilder

pokeByteOff :: Ptr b -> Int -> ProgramBuilder -> IO ()

peek :: Ptr ProgramBuilder -> IO ProgramBuilder

poke :: Ptr ProgramBuilder -> ProgramBuilder -> IO ()

Configuration & Statistics

newtype Configuration

Constructors

Configuration (Ptr Configuration)

Instances

Storable Configuration

Methods

sizeOf :: Configuration -> Int

alignment :: Configuration -> Int

peekElemOff :: Ptr Configuration -> Int -> IO Configuration

pokeElemOff :: Ptr Configuration -> Int -> Configuration -> IO ()

peekByteOff :: Ptr b -> Int -> IO Configuration

pokeByteOff :: Ptr b -> Int -> Configuration -> IO ()

peek :: Ptr Configuration -> IO Configuration

poke :: Ptr Configuration -> Configuration -> IO ()

newtype Statistics

Constructors

Statistics (Ptr Statistics)

Instances

Storable Statistics

Methods

sizeOf :: Statistics -> Int

alignment :: Statistics -> Int

peekElemOff :: Ptr Statistics -> Int -> IO Statistics

pokeElemOff :: Ptr Statistics -> Int -> Statistics -> IO ()

peekByteOff :: Ptr b -> Int -> IO Statistics

pokeByteOff :: Ptr b -> Int -> Statistics -> IO ()

peek :: Ptr Statistics -> IO Statistics

poke :: Ptr Statistics -> Statistics -> IO ()

Program Inspection

data GroundProgramObserver a

Constructors

GroundProgramObserver

Fields

• gpoInitProgram :: FunPtr (CBool -> Ptr a -> IO CBool)
• gpoBeginStep :: FunPtr (Ptr a -> IO CBool)
• gpoEndStep :: FunPtr (Ptr a -> IO CBool)
• gpoRule :: FunPtr (CBool -> Ptr Atom -> CSize -> Ptr Literal -> CSize -> Ptr a -> IO CBool)
• gpoWeightRule :: FunPtr (CBool -> Ptr Atom -> CSize -> Weight -> Ptr WeightedLiteral -> CSize -> Ptr a -> IO CBool)
• gpoMinimize :: FunPtr (Weight -> Ptr WeightedLiteral -> CSize -> Ptr a -> IO CBool)
• gpoProject :: FunPtr (Ptr Atom -> CSize -> Ptr a -> IO CBool)
• gpoExternal :: FunPtr (Atom -> ExternalType -> Ptr a -> IO CBool)
• gpoAssume :: FunPtr (Ptr Literal -> CSize -> Ptr a -> IO CBool)
• gpoHeuristic :: FunPtr (Atom -> HeuristicType -> CInt -> CUInt -> Ptr Literal -> CSize -> Ptr a -> IO CBool)
• gpoAcycEdge :: FunPtr (CInt -> CInt -> Ptr Literal -> CSize -> Ptr a -> IO CBool)
• gpoTheoryTermNum :: FunPtr (Identifier -> CInt -> Ptr a -> IO CBool)
• gpoTheoryTermStr :: FunPtr (Identifier -> Ptr CChar -> Ptr a -> IO CBool)
• gpoTheoryTermCmp :: FunPtr (Identifier -> CInt -> Ptr Identifier -> CSize -> Ptr a -> IO CBool)
• gpoTheoryElement :: FunPtr (Identifier -> Ptr Identifier -> CSize -> Ptr Literal -> CSize -> Ptr a -> IO CBool)
• gpoTheoryAtom :: FunPtr (Identifier -> Identifier -> Ptr Identifier -> CSize -> IO CBool)
• gpoTheoryAtomGrd :: FunPtr (Identifier -> Identifier -> Ptr Identifier -> CSize -> Identifier -> Identifier -> Ptr a -> IO CBool)

Instances

Storable (GroundProgramObserver a)

Methods

sizeOf :: GroundProgramObserver a -> Int

alignment :: GroundProgramObserver a -> Int

peekElemOff :: Ptr (GroundProgramObserver a) -> Int -> IO (GroundProgramObserver a)

pokeElemOff :: Ptr (GroundProgramObserver a) -> Int -> GroundProgramObserver a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (GroundProgramObserver a)

pokeByteOff :: Ptr b -> Int -> GroundProgramObserver a -> IO ()

peek :: Ptr (GroundProgramObserver a) -> IO (GroundProgramObserver a)

poke :: Ptr (GroundProgramObserver a) -> GroundProgramObserver a -> IO ()

mkGpoInitProgram :: (CBool -> Ptr a -> IO CBool) -> IO (FunPtr (CBool -> Ptr a -> IO CBool))

mkGpoBeginStep :: (Ptr a -> IO CBool) -> IO (FunPtr (Ptr a -> IO CBool))

mkGpoEndStep :: (Ptr a -> IO CBool) -> IO (FunPtr (Ptr a -> IO CBool))

mkGpoRule :: (CBool -> Ptr Atom -> CSize -> Ptr Literal -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (CBool -> Ptr Atom -> CSize -> Ptr Literal -> CSize -> Ptr a -> IO CBool))

mkGpoWeightRule :: (CBool -> Ptr Atom -> CSize -> Weight -> Ptr WeightedLiteral -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (CBool -> Ptr Atom -> CSize -> Weight -> Ptr WeightedLiteral -> CSize -> Ptr a -> IO CBool))

mkGpoMinimize :: (Weight -> Ptr WeightedLiteral -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (Weight -> Ptr WeightedLiteral -> CSize -> Ptr a -> IO CBool))

mkGpoProject :: (Ptr Atom -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (Ptr Atom -> CSize -> Ptr a -> IO CBool))

mkGpoExternal :: (Atom -> ExternalType -> Ptr a -> IO CBool) -> IO (FunPtr (Atom -> ExternalType -> Ptr a -> IO CBool))

mkGpoAssume :: (Ptr Literal -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (Ptr Literal -> CSize -> Ptr a -> IO CBool))

mkGpoHeuristic :: (Atom -> HeuristicType -> CInt -> CUInt -> Ptr Literal -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (Atom -> HeuristicType -> CInt -> CUInt -> Ptr Literal -> CSize -> Ptr a -> IO CBool))

mkGpoAcycEdge :: (CInt -> CInt -> Ptr Literal -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (CInt -> CInt -> Ptr Literal -> CSize -> Ptr a -> IO CBool))

mkGpoTheoryTermNum :: (Identifier -> CInt -> Ptr a -> IO CBool) -> IO (FunPtr (Identifier -> CInt -> Ptr a -> IO CBool))

mkGpoTheoryTermStr :: (Identifier -> Ptr CChar -> Ptr a -> IO CBool) -> IO (FunPtr (Identifier -> Ptr CChar -> Ptr a -> IO CBool))

mkGpoTheoryTermCmp :: (Identifier -> CInt -> Ptr Identifier -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (Identifier -> CInt -> Ptr Identifier -> CSize -> Ptr a -> IO CBool))

mkGpoTheoryElement :: (Identifier -> Ptr Identifier -> CSize -> Ptr Literal -> CSize -> Ptr a -> IO CBool) -> IO (FunPtr (Identifier -> Ptr Identifier -> CSize -> Ptr Literal -> CSize -> Ptr a -> IO CBool))

mkGpoTheoryAtom :: (Identifier -> Identifier -> Ptr Identifier -> CSize -> IO CBool) -> IO (FunPtr (Identifier -> Identifier -> Ptr Identifier -> CSize -> IO CBool))

mkGpoTheoryAtomGrd :: (Identifier -> Identifier -> Ptr Identifier -> CSize -> Identifier -> Identifier -> Ptr a -> IO CBool) -> IO (FunPtr (Identifier -> Identifier -> Ptr Identifier -> CSize -> Identifier -> Identifier -> Ptr a -> IO CBool))

Control

newtype Control

Constructors

Control (Ptr Control)

Instances

Storable Control

Methods

sizeOf :: Control -> Int

alignment :: Control -> Int

peekElemOff :: Ptr Control -> Int -> IO Control

pokeElemOff :: Ptr Control -> Int -> Control -> IO ()

peekByteOff :: Ptr b -> Int -> IO Control

pokeByteOff :: Ptr b -> Int -> Control -> IO ()

peek :: Ptr Control -> IO Control

poke :: Ptr Control -> Control -> IO ()

data Part

Constructors

Part

Fields

• partName :: CString
• partParams :: Ptr Symbol
• partSize :: CSize

Instances

Storable Part

Methods

sizeOf :: Part -> Int

alignment :: Part -> Int

peekElemOff :: Ptr Part -> Int -> IO Part

pokeElemOff :: Ptr Part -> Int -> Part -> IO ()

peekByteOff :: Ptr b -> Int -> IO Part

pokeByteOff :: Ptr b -> Int -> Part -> IO ()

peek :: Ptr Part -> IO Part

poke :: Ptr Part -> Part -> IO ()

type CallbackSymbol a = Ptr Symbol -> CSize -> Ptr a -> IO CBool

mkCallbackSymbol :: CallbackSymbol a -> IO (FunPtr (CallbackSymbol a))

getCallbackSymbol :: FunPtr (CallbackSymbol a) -> CallbackSymbol a

type CallbackGround a = Ptr Location -> Ptr CChar -> Ptr Symbol -> CSize -> Ptr a -> FunPtr (CallbackSymbol a) -> Ptr a -> IO CBool

mkCallbackGround :: CallbackGround a -> IO (FunPtr (CallbackGround a))

type CallbackEvent a = SolveEvent -> Ptr Model -> Ptr a -> Ptr CBool -> IO CBool

mkCallbackEvent :: CallbackEvent a -> IO (FunPtr (CallbackEvent a))

type CallbackFinish a = SolveResult -> Ptr a -> IO CBool

mkCallbackFinish :: CallbackFinish a -> IO (FunPtr (CallbackFinish a))