Clingo.Raw.AST

Enumerations

type AstComparisonOperator = Int32

pattern AstComparisonOperatorGreaterThan :: forall a. (Num a, Eq a) => a

pattern AstComparisonOperatorLessThan :: forall a. (Num a, Eq a) => a

pattern AstComparisonOperatorLessEqual :: forall a. (Num a, Eq a) => a

pattern AstComparisonOperatorGreaterEqual :: forall a. (Num a, Eq a) => a

pattern AstComparisonOperatorNotEqual :: forall a. (Num a, Eq a) => a

pattern AstComparisonOperatorEqual :: forall a. (Num a, Eq a) => a

type AstSign = Int32

pattern AstSignNone :: forall a. (Num a, Eq a) => a

pattern AstSignNegation :: forall a. (Num a, Eq a) => a

pattern AstSignDoubleNegation :: forall a. (Num a, Eq a) => a

type AstTermType = Int32

pattern AstTermTypeSymbol :: forall a. (Num a, Eq a) => a

pattern AstTermTypeVariable :: forall a. (Num a, Eq a) => a

pattern AstTermTypeUnaryOperation :: forall a. (Num a, Eq a) => a

pattern AstTermTypeBinaryOperation :: forall a. (Num a, Eq a) => a

pattern AstTermTypeInterval :: forall a. (Num a, Eq a) => a

pattern AstTermTypeFunction :: forall a. (Num a, Eq a) => a

pattern AstTermTypeExternalFunction :: forall a. (Num a, Eq a) => a

pattern AstTermTypePool :: forall a. (Num a, Eq a) => a

type AstUnaryOperator = Int32

pattern AstUnaryOperatorMinus :: forall a. (Num a, Eq a) => a

pattern AstUnaryOperatorNegation :: forall a. (Num a, Eq a) => a

pattern AstUnaryOperatorAbsolute :: forall a. (Num a, Eq a) => a

type AstBinaryOperator = Int32

pattern AstBinaryOperatorXor :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorOr :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorAnd :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorPlus :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorMinus :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorMultiplication :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorDivision :: forall a. (Num a, Eq a) => a

pattern AstBinaryOperatorModulo :: forall a. (Num a, Eq a) => a

type AstLiteralType = Int32

pattern AstLiteralTypeBoolean :: forall a. (Num a, Eq a) => a

pattern AstLiteralTypeSymbolic :: forall a. (Num a, Eq a) => a

pattern AstLiteralTypeComparison :: forall a. (Num a, Eq a) => a

pattern AstLiteralTypeCsp :: forall a. (Num a, Eq a) => a

type AstAggregateFunction = Int32

pattern AstAggregateFunctionCount :: forall a. (Num a, Eq a) => a

pattern AstAggregateFunctionSum :: forall a. (Num a, Eq a) => a

pattern AstAggregateFunctionSump :: forall a. (Num a, Eq a) => a

pattern AstAggregateFunctionMin :: forall a. (Num a, Eq a) => a

pattern AstAggregateFunctionMax :: forall a. (Num a, Eq a) => a

type AstTheoryTermType = Int32

pattern AstTheoryTermTypeSymbol :: forall a. (Num a, Eq a) => a

pattern AstTheoryTermTypeVariable :: forall a. (Num a, Eq a) => a

pattern AstTheoryTermTypeTuple :: forall a. (Num a, Eq a) => a

pattern AstTheoryTermTypeList :: forall a. (Num a, Eq a) => a

pattern AstTheoryTermTypeSet :: forall a. (Num a, Eq a) => a

pattern AstTheoryTermTypeFunction :: forall a. (Num a, Eq a) => a

pattern AstTheoryTermTypeUnparsedTerm :: forall a. (Num a, Eq a) => a

type AstHeadLiteralType = Int32

pattern AstHeadLiteralTypeLiteral :: forall a. (Num a, Eq a) => a

pattern AstHeadLiteralTypeDisjunction :: forall a. (Num a, Eq a) => a

pattern AstHeadLiteralTypeAggregate :: forall a. (Num a, Eq a) => a

pattern AstHeadLiteralTypeHeadAggregate :: forall a. (Num a, Eq a) => a

pattern AstHeadLiteralTypeTheoryAtom :: forall a. (Num a, Eq a) => a

type AstBodyLiteralType = Int32

pattern AstBodyLiteralTypeLiteral :: forall a. (Num a, Eq a) => a

pattern AstBodyLiteralTypeConditional :: forall a. (Num a, Eq a) => a

pattern AstBodyLiteralTypeAggregate :: forall a. (Num a, Eq a) => a

pattern AstBodyLiteralTypeBodyAggregate :: forall a. (Num a, Eq a) => a

pattern AstBodyLiteralTypeTheoryAtom :: forall a. (Num a, Eq a) => a

pattern AstBodyLiteralTypeDisjoint :: forall a. (Num a, Eq a) => a

type AstTheoryOperatorType = Int32

pattern AstTheoryOperatorTypeUnary :: forall a. (Num a, Eq a) => a

pattern AstTheoryOperatorTypeBinaryLeft :: forall a. (Num a, Eq a) => a

pattern AstTheoryOperatorTypeBinaryRight :: forall a. (Num a, Eq a) => a

type AstTheoryAtomDefType = Int32

pattern AstTheoryAtomDefinitionTypeHead :: forall a. (Num a, Eq a) => a

pattern AstTheoryAtomDefinitionTypeBody :: forall a. (Num a, Eq a) => a

pattern AstTheoryAtomDefinitionTypeAny :: forall a. (Num a, Eq a) => a

pattern AstTheoryAtomDefinitionTypeDirective :: forall a. (Num a, Eq a) => a

type AstScriptType = Int32

pattern AstScriptTypeLua :: forall a. (Num a, Eq a) => a

pattern AstScriptTypePython :: forall a. (Num a, Eq a) => a

type AstStatementType = Int32

pattern AstStatementTypeRule :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeConst :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeShowSignature :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeShowTerm :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeMinimize :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeScript :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeProgram :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeExternal :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeEdge :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeHeuristic :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeProjectAtom :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeProjectAtomSignature :: forall a. (Num a, Eq a) => a

pattern AstStatementTypeTheoryDefinition :: forall a. (Num a, Eq a) => a

Syntax Tree Definitions

data AstUnaryOperation

Constructors

AstUnaryOperation AstUnaryOperator AstTerm

Instances

Eq AstUnaryOperation

Methods

(==) :: AstUnaryOperation -> AstUnaryOperation -> Bool

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

Show AstUnaryOperation

Methods

showsPrec :: Int -> AstUnaryOperation -> ShowS

show :: AstUnaryOperation -> String

showList :: [AstUnaryOperation] -> ShowS

Storable AstUnaryOperation

Methods

sizeOf :: AstUnaryOperation -> Int

alignment :: AstUnaryOperation -> Int

peekElemOff :: Ptr AstUnaryOperation -> Int -> IO AstUnaryOperation

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

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

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

peek :: Ptr AstUnaryOperation -> IO AstUnaryOperation

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

data AstBinaryOperation

Constructors

AstBinaryOperation AstBinaryOperator AstTerm AstTerm

Instances

Eq AstBinaryOperation

Methods

(==) :: AstBinaryOperation -> AstBinaryOperation -> Bool

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

Show AstBinaryOperation

Methods

showsPrec :: Int -> AstBinaryOperation -> ShowS

show :: AstBinaryOperation -> String

showList :: [AstBinaryOperation] -> ShowS

Storable AstBinaryOperation

Methods

sizeOf :: AstBinaryOperation -> Int

alignment :: AstBinaryOperation -> Int

peekElemOff :: Ptr AstBinaryOperation -> Int -> IO AstBinaryOperation

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

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

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

peek :: Ptr AstBinaryOperation -> IO AstBinaryOperation

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

data AstInterval

Constructors

AstInterval AstTerm AstTerm

Instances

Eq AstInterval

Methods

(==) :: AstInterval -> AstInterval -> Bool

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

Show AstInterval

Methods

showsPrec :: Int -> AstInterval -> ShowS

show :: AstInterval -> String

showList :: [AstInterval] -> ShowS

Storable AstInterval

Methods

sizeOf :: AstInterval -> Int

alignment :: AstInterval -> Int

peekElemOff :: Ptr AstInterval -> Int -> IO AstInterval

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

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

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

peek :: Ptr AstInterval -> IO AstInterval

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

data AstFunction

Constructors

AstFunction CString (Ptr AstTerm) CSize

Instances

Eq AstFunction

Methods

(==) :: AstFunction -> AstFunction -> Bool

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

Show AstFunction

Methods

showsPrec :: Int -> AstFunction -> ShowS

show :: AstFunction -> String

showList :: [AstFunction] -> ShowS

Storable AstFunction

Methods

sizeOf :: AstFunction -> Int

alignment :: AstFunction -> Int

peekElemOff :: Ptr AstFunction -> Int -> IO AstFunction

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

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

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

peek :: Ptr AstFunction -> IO AstFunction

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

data AstPool

Constructors

AstPool (Ptr AstTerm) CSize

Instances

Eq AstPool

Methods

(==) :: AstPool -> AstPool -> Bool

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

Show AstPool

Methods

showsPrec :: Int -> AstPool -> ShowS

show :: AstPool -> String

showList :: [AstPool] -> ShowS

Storable AstPool

Methods

sizeOf :: AstPool -> Int

alignment :: AstPool -> Int

peekElemOff :: Ptr AstPool -> Int -> IO AstPool

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

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

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

peek :: Ptr AstPool -> IO AstPool

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

data AstTerm

Constructors

AstTermSymbol Location Symbol

AstTermVariable Location CString

AstTermUOp Location (Ptr AstUnaryOperation)

AstTermBOp Location (Ptr AstBinaryOperation)

AstTermInterval Location (Ptr AstInterval)

AstTermFunction Location (Ptr AstFunction)

AstTermExtFunction Location (Ptr AstFunction)

AstTermPool Location (Ptr AstPool)

Instances

Eq AstTerm

Methods

(==) :: AstTerm -> AstTerm -> Bool

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

Show AstTerm

Methods

showsPrec :: Int -> AstTerm -> ShowS

show :: AstTerm -> String

showList :: [AstTerm] -> ShowS

Storable AstTerm

Methods

sizeOf :: AstTerm -> Int

alignment :: AstTerm -> Int

peekElemOff :: Ptr AstTerm -> Int -> IO AstTerm

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

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

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

peek :: Ptr AstTerm -> IO AstTerm

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

data AstCspProductTerm

Constructors

AstCspProductTerm Location AstTerm (Ptr AstTerm)

Instances

Eq AstCspProductTerm

Methods

(==) :: AstCspProductTerm -> AstCspProductTerm -> Bool

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

Show AstCspProductTerm

Methods

showsPrec :: Int -> AstCspProductTerm -> ShowS

show :: AstCspProductTerm -> String

showList :: [AstCspProductTerm] -> ShowS

Storable AstCspProductTerm

Methods

sizeOf :: AstCspProductTerm -> Int

alignment :: AstCspProductTerm -> Int

peekElemOff :: Ptr AstCspProductTerm -> Int -> IO AstCspProductTerm

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

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

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

peek :: Ptr AstCspProductTerm -> IO AstCspProductTerm

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

data AstCspSumTerm

Constructors

AstCspSumTerm Location (Ptr AstCspProductTerm) CSize

Instances

Eq AstCspSumTerm

Methods

(==) :: AstCspSumTerm -> AstCspSumTerm -> Bool

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

Show AstCspSumTerm

Methods

showsPrec :: Int -> AstCspSumTerm -> ShowS

show :: AstCspSumTerm -> String

showList :: [AstCspSumTerm] -> ShowS

Storable AstCspSumTerm

Methods

sizeOf :: AstCspSumTerm -> Int

alignment :: AstCspSumTerm -> Int

peekElemOff :: Ptr AstCspSumTerm -> Int -> IO AstCspSumTerm

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

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

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

peek :: Ptr AstCspSumTerm -> IO AstCspSumTerm

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

data AstCspGuard

Constructors

AstCspGuard AstComparisonOperator AstCspSumTerm

Instances

Eq AstCspGuard

Methods

(==) :: AstCspGuard -> AstCspGuard -> Bool

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

Show AstCspGuard

Methods

showsPrec :: Int -> AstCspGuard -> ShowS

show :: AstCspGuard -> String

showList :: [AstCspGuard] -> ShowS

Storable AstCspGuard

Methods

sizeOf :: AstCspGuard -> Int

alignment :: AstCspGuard -> Int

peekElemOff :: Ptr AstCspGuard -> Int -> IO AstCspGuard

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

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

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

peek :: Ptr AstCspGuard -> IO AstCspGuard

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

data AstCspLiteral

Constructors

AstCspLiteral AstCspSumTerm (Ptr AstCspGuard) CSize

Instances

Eq AstCspLiteral

Methods

(==) :: AstCspLiteral -> AstCspLiteral -> Bool

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

Show AstCspLiteral

Methods

showsPrec :: Int -> AstCspLiteral -> ShowS

show :: AstCspLiteral -> String

showList :: [AstCspLiteral] -> ShowS

Storable AstCspLiteral

Methods

sizeOf :: AstCspLiteral -> Int

alignment :: AstCspLiteral -> Int

peekElemOff :: Ptr AstCspLiteral -> Int -> IO AstCspLiteral

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

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

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

peek :: Ptr AstCspLiteral -> IO AstCspLiteral

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

data AstId

Constructors

AstId Location CString

Instances

Eq AstId

Methods

(==) :: AstId -> AstId -> Bool

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

Show AstId

Methods

showsPrec :: Int -> AstId -> ShowS

show :: AstId -> String

showList :: [AstId] -> ShowS

Storable AstId

Methods

sizeOf :: AstId -> Int

alignment :: AstId -> Int

peekElemOff :: Ptr AstId -> Int -> IO AstId

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

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

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

peek :: Ptr AstId -> IO AstId

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

data AstComparison

Constructors

AstComparison AstComparisonOperator AstTerm AstTerm

Instances

Eq AstComparison

Methods

(==) :: AstComparison -> AstComparison -> Bool

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

Show AstComparison

Methods

showsPrec :: Int -> AstComparison -> ShowS

show :: AstComparison -> String

showList :: [AstComparison] -> ShowS

Storable AstComparison

Methods

sizeOf :: AstComparison -> Int

alignment :: AstComparison -> Int

peekElemOff :: Ptr AstComparison -> Int -> IO AstComparison

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

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

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

peek :: Ptr AstComparison -> IO AstComparison

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

data AstLiteral

Constructors

AstLiteralBool Location AstSign CBool

AstLiteralTerm Location AstSign (Ptr AstTerm)

AstLiteralComp Location AstSign (Ptr AstComparison)

AstLiteralCSPL Location AstSign (Ptr AstCspLiteral)

Instances

Eq AstLiteral

Methods

(==) :: AstLiteral -> AstLiteral -> Bool

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

Show AstLiteral

Methods

showsPrec :: Int -> AstLiteral -> ShowS

show :: AstLiteral -> String

showList :: [AstLiteral] -> ShowS

Storable AstLiteral

Methods

sizeOf :: AstLiteral -> Int

alignment :: AstLiteral -> Int

peekElemOff :: Ptr AstLiteral -> Int -> IO AstLiteral

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

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

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

peek :: Ptr AstLiteral -> IO AstLiteral

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

data AstAggregateGuard

Constructors

AstAggregateGuard AstComparisonOperator AstTerm

Instances

Eq AstAggregateGuard

Methods

(==) :: AstAggregateGuard -> AstAggregateGuard -> Bool

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

Show AstAggregateGuard

Methods

showsPrec :: Int -> AstAggregateGuard -> ShowS

show :: AstAggregateGuard -> String

showList :: [AstAggregateGuard] -> ShowS

Storable AstAggregateGuard

Methods

sizeOf :: AstAggregateGuard -> Int

alignment :: AstAggregateGuard -> Int

peekElemOff :: Ptr AstAggregateGuard -> Int -> IO AstAggregateGuard

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

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

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

peek :: Ptr AstAggregateGuard -> IO AstAggregateGuard

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

data AstConditionalLiteral

Constructors

AstConditionalLiteral AstLiteral (Ptr AstLiteral) CSize

Instances

Eq AstConditionalLiteral

Methods

(==) :: AstConditionalLiteral -> AstConditionalLiteral -> Bool

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

Show AstConditionalLiteral

Methods

showsPrec :: Int -> AstConditionalLiteral -> ShowS

show :: AstConditionalLiteral -> String

showList :: [AstConditionalLiteral] -> ShowS

Storable AstConditionalLiteral

Methods

sizeOf :: AstConditionalLiteral -> Int

alignment :: AstConditionalLiteral -> Int

peekElemOff :: Ptr AstConditionalLiteral -> Int -> IO AstConditionalLiteral

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

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

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

peek :: Ptr AstConditionalLiteral -> IO AstConditionalLiteral

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

data AstAggregate

Constructors

AstAggregate (Ptr AstConditionalLiteral) CSize (Ptr AstAggregateGuard) (Ptr AstAggregateGuard)

Instances

Eq AstAggregate

Methods

(==) :: AstAggregate -> AstAggregate -> Bool

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

Show AstAggregate

Methods

showsPrec :: Int -> AstAggregate -> ShowS

show :: AstAggregate -> String

showList :: [AstAggregate] -> ShowS

Storable AstAggregate

Methods

sizeOf :: AstAggregate -> Int

alignment :: AstAggregate -> Int

peekElemOff :: Ptr AstAggregate -> Int -> IO AstAggregate

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

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

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

peek :: Ptr AstAggregate -> IO AstAggregate

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

data AstBodyAggregateElement

Constructors

AstBodyAggregateElement (Ptr AstTerm) CSize (Ptr AstLiteral) CSize

Instances

Eq AstBodyAggregateElement

Methods

(==) :: AstBodyAggregateElement -> AstBodyAggregateElement -> Bool

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

Show AstBodyAggregateElement

Methods

showsPrec :: Int -> AstBodyAggregateElement -> ShowS

show :: AstBodyAggregateElement -> String

showList :: [AstBodyAggregateElement] -> ShowS

Storable AstBodyAggregateElement

Methods

sizeOf :: AstBodyAggregateElement -> Int

alignment :: AstBodyAggregateElement -> Int

peekElemOff :: Ptr AstBodyAggregateElement -> Int -> IO AstBodyAggregateElement

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

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

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

peek :: Ptr AstBodyAggregateElement -> IO AstBodyAggregateElement

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

data AstBodyAggregate

Constructors

AstBodyAggregate AstAggregateFunction (Ptr AstBodyAggregateElement) CSize (Ptr AstAggregateGuard) (Ptr AstAggregateGuard)

Instances

Eq AstBodyAggregate

Methods

(==) :: AstBodyAggregate -> AstBodyAggregate -> Bool

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

Show AstBodyAggregate

Methods

showsPrec :: Int -> AstBodyAggregate -> ShowS

show :: AstBodyAggregate -> String

showList :: [AstBodyAggregate] -> ShowS

Storable AstBodyAggregate

Methods

sizeOf :: AstBodyAggregate -> Int

alignment :: AstBodyAggregate -> Int

peekElemOff :: Ptr AstBodyAggregate -> Int -> IO AstBodyAggregate

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

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

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

peek :: Ptr AstBodyAggregate -> IO AstBodyAggregate

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

data AstHeadAggregateElement

Constructors

AstHeadAggregateElement (Ptr AstTerm) CSize AstConditionalLiteral

Instances

Eq AstHeadAggregateElement

Methods

(==) :: AstHeadAggregateElement -> AstHeadAggregateElement -> Bool

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

Show AstHeadAggregateElement

Methods

showsPrec :: Int -> AstHeadAggregateElement -> ShowS

show :: AstHeadAggregateElement -> String

showList :: [AstHeadAggregateElement] -> ShowS

Storable AstHeadAggregateElement

Methods

sizeOf :: AstHeadAggregateElement -> Int

alignment :: AstHeadAggregateElement -> Int

peekElemOff :: Ptr AstHeadAggregateElement -> Int -> IO AstHeadAggregateElement

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

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

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

peek :: Ptr AstHeadAggregateElement -> IO AstHeadAggregateElement

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

data AstHeadAggregate

Constructors

AstHeadAggregate AstAggregateFunction (Ptr AstHeadAggregateElement) CSize (Ptr AstAggregateGuard) (Ptr AstAggregateGuard)

Instances

Eq AstHeadAggregate

Methods

(==) :: AstHeadAggregate -> AstHeadAggregate -> Bool

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

Show AstHeadAggregate

Methods

showsPrec :: Int -> AstHeadAggregate -> ShowS

show :: AstHeadAggregate -> String

showList :: [AstHeadAggregate] -> ShowS

Storable AstHeadAggregate

Methods

sizeOf :: AstHeadAggregate -> Int

alignment :: AstHeadAggregate -> Int

peekElemOff :: Ptr AstHeadAggregate -> Int -> IO AstHeadAggregate

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

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

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

peek :: Ptr AstHeadAggregate -> IO AstHeadAggregate

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

data AstDisjunction

Constructors

AstDisjunction (Ptr AstConditionalLiteral) CSize

Instances

Eq AstDisjunction

Methods

(==) :: AstDisjunction -> AstDisjunction -> Bool

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

Show AstDisjunction

Methods

showsPrec :: Int -> AstDisjunction -> ShowS

show :: AstDisjunction -> String

showList :: [AstDisjunction] -> ShowS

Storable AstDisjunction

Methods

sizeOf :: AstDisjunction -> Int

alignment :: AstDisjunction -> Int

peekElemOff :: Ptr AstDisjunction -> Int -> IO AstDisjunction

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

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

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

peek :: Ptr AstDisjunction -> IO AstDisjunction

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

data AstDisjointElement

Constructors

AstDisjointElement Location (Ptr AstTerm) CSize AstCspSumTerm (Ptr AstLiteral) CSize

Instances

Eq AstDisjointElement

Methods

(==) :: AstDisjointElement -> AstDisjointElement -> Bool

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

Show AstDisjointElement

Methods

showsPrec :: Int -> AstDisjointElement -> ShowS

show :: AstDisjointElement -> String

showList :: [AstDisjointElement] -> ShowS

Storable AstDisjointElement

Methods

sizeOf :: AstDisjointElement -> Int

alignment :: AstDisjointElement -> Int

peekElemOff :: Ptr AstDisjointElement -> Int -> IO AstDisjointElement

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

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

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

peek :: Ptr AstDisjointElement -> IO AstDisjointElement

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

data AstDisjoint

Constructors

AstDisjoint (Ptr AstDisjointElement) CSize

Instances

Eq AstDisjoint

Methods

(==) :: AstDisjoint -> AstDisjoint -> Bool

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

Show AstDisjoint

Methods

showsPrec :: Int -> AstDisjoint -> ShowS

show :: AstDisjoint -> String

showList :: [AstDisjoint] -> ShowS

Storable AstDisjoint

Methods

sizeOf :: AstDisjoint -> Int

alignment :: AstDisjoint -> Int

peekElemOff :: Ptr AstDisjoint -> Int -> IO AstDisjoint

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

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

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

peek :: Ptr AstDisjoint -> IO AstDisjoint

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

data AstTheoryTermArray

Constructors

AstTheoryTermArray (Ptr AstTheoryTerm) CSize

Instances

Eq AstTheoryTermArray

Methods

(==) :: AstTheoryTermArray -> AstTheoryTermArray -> Bool

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

Show AstTheoryTermArray

Methods

showsPrec :: Int -> AstTheoryTermArray -> ShowS

show :: AstTheoryTermArray -> String

showList :: [AstTheoryTermArray] -> ShowS

Storable AstTheoryTermArray

Methods

sizeOf :: AstTheoryTermArray -> Int

alignment :: AstTheoryTermArray -> Int

peekElemOff :: Ptr AstTheoryTermArray -> Int -> IO AstTheoryTermArray

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

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

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

peek :: Ptr AstTheoryTermArray -> IO AstTheoryTermArray

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

data AstTheoryFunction

Constructors

AstTheoryFunction CString (Ptr AstTheoryTerm) CSize

Instances

Eq AstTheoryFunction

Methods

(==) :: AstTheoryFunction -> AstTheoryFunction -> Bool

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

Show AstTheoryFunction

Methods

showsPrec :: Int -> AstTheoryFunction -> ShowS

show :: AstTheoryFunction -> String

showList :: [AstTheoryFunction] -> ShowS

Storable AstTheoryFunction

Methods

sizeOf :: AstTheoryFunction -> Int

alignment :: AstTheoryFunction -> Int

peekElemOff :: Ptr AstTheoryFunction -> Int -> IO AstTheoryFunction

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

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

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

peek :: Ptr AstTheoryFunction -> IO AstTheoryFunction

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

data AstTheoryUnparsedTermElement

Constructors

AstTheoryUnparsedTermElement (Ptr CString) CSize AstTheoryTerm

Instances

Eq AstTheoryUnparsedTermElement

Methods

(==) :: AstTheoryUnparsedTermElement -> AstTheoryUnparsedTermElement -> Bool

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

Show AstTheoryUnparsedTermElement

Methods

showsPrec :: Int -> AstTheoryUnparsedTermElement -> ShowS

show :: AstTheoryUnparsedTermElement -> String

showList :: [AstTheoryUnparsedTermElement] -> ShowS

Storable AstTheoryUnparsedTermElement

Methods

sizeOf :: AstTheoryUnparsedTermElement -> Int

alignment :: AstTheoryUnparsedTermElement -> Int

peekElemOff :: Ptr AstTheoryUnparsedTermElement -> Int -> IO AstTheoryUnparsedTermElement

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

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

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

peek :: Ptr AstTheoryUnparsedTermElement -> IO AstTheoryUnparsedTermElement

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

data AstTheoryUnparsedTerm

Constructors

AstTheoryUnparsedTerm (Ptr AstTheoryUnparsedTermElement) CSize

Instances

Eq AstTheoryUnparsedTerm

Methods

(==) :: AstTheoryUnparsedTerm -> AstTheoryUnparsedTerm -> Bool

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

Show AstTheoryUnparsedTerm

Methods

showsPrec :: Int -> AstTheoryUnparsedTerm -> ShowS

show :: AstTheoryUnparsedTerm -> String

showList :: [AstTheoryUnparsedTerm] -> ShowS

Storable AstTheoryUnparsedTerm

Methods

sizeOf :: AstTheoryUnparsedTerm -> Int

alignment :: AstTheoryUnparsedTerm -> Int

peekElemOff :: Ptr AstTheoryUnparsedTerm -> Int -> IO AstTheoryUnparsedTerm

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

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

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

peek :: Ptr AstTheoryUnparsedTerm -> IO AstTheoryUnparsedTerm

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

data AstTheoryTerm

Constructors

AstTheoryTermSymbol Location Symbol

AstTheoryTermVariable Location CString

AstTheoryTermTuple Location (Ptr AstTheoryTermArray)

AstTheoryTermList Location (Ptr AstTheoryTermArray)

AstTheoryTermSet Location (Ptr AstTheoryTermArray)

AstTheoryTermFunction Location (Ptr AstTheoryFunction)

AstTheoryTermUnparsed Location (Ptr AstTheoryUnparsedTerm)

Instances

Eq AstTheoryTerm

Methods

(==) :: AstTheoryTerm -> AstTheoryTerm -> Bool

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

Show AstTheoryTerm

Methods

showsPrec :: Int -> AstTheoryTerm -> ShowS

show :: AstTheoryTerm -> String

showList :: [AstTheoryTerm] -> ShowS

Storable AstTheoryTerm

Methods

sizeOf :: AstTheoryTerm -> Int

alignment :: AstTheoryTerm -> Int

peekElemOff :: Ptr AstTheoryTerm -> Int -> IO AstTheoryTerm

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

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

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

peek :: Ptr AstTheoryTerm -> IO AstTheoryTerm

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

data AstTheoryAtomElement

Constructors

AstTheoryAtomElement (Ptr AstTheoryTerm) CSize (Ptr AstLiteral) CSize

Instances

Eq AstTheoryAtomElement

Methods

(==) :: AstTheoryAtomElement -> AstTheoryAtomElement -> Bool

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

Show AstTheoryAtomElement

Methods

showsPrec :: Int -> AstTheoryAtomElement -> ShowS

show :: AstTheoryAtomElement -> String

showList :: [AstTheoryAtomElement] -> ShowS

Storable AstTheoryAtomElement

Methods

sizeOf :: AstTheoryAtomElement -> Int

alignment :: AstTheoryAtomElement -> Int

peekElemOff :: Ptr AstTheoryAtomElement -> Int -> IO AstTheoryAtomElement

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

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

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

peek :: Ptr AstTheoryAtomElement -> IO AstTheoryAtomElement

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

data AstTheoryGuard

Constructors

AstTheoryGuard CString AstTheoryTerm

Instances

Eq AstTheoryGuard

Methods

(==) :: AstTheoryGuard -> AstTheoryGuard -> Bool

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

Show AstTheoryGuard

Methods

showsPrec :: Int -> AstTheoryGuard -> ShowS

show :: AstTheoryGuard -> String

showList :: [AstTheoryGuard] -> ShowS

Storable AstTheoryGuard

Methods

sizeOf :: AstTheoryGuard -> Int

alignment :: AstTheoryGuard -> Int

peekElemOff :: Ptr AstTheoryGuard -> Int -> IO AstTheoryGuard

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

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

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

peek :: Ptr AstTheoryGuard -> IO AstTheoryGuard

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

data AstTheoryAtom

Constructors

AstTheoryAtom AstTerm (Ptr AstTheoryAtomElement) CSize AstTheoryGuard

Instances

Eq AstTheoryAtom

Methods

(==) :: AstTheoryAtom -> AstTheoryAtom -> Bool

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

Show AstTheoryAtom

Methods

showsPrec :: Int -> AstTheoryAtom -> ShowS

show :: AstTheoryAtom -> String

showList :: [AstTheoryAtom] -> ShowS

Storable AstTheoryAtom

Methods

sizeOf :: AstTheoryAtom -> Int

alignment :: AstTheoryAtom -> Int

peekElemOff :: Ptr AstTheoryAtom -> Int -> IO AstTheoryAtom

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

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

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

peek :: Ptr AstTheoryAtom -> IO AstTheoryAtom

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

data AstHeadLiteral

Constructors

AstHeadLiteral Location (Ptr AstLiteral)

AstHeadDisjunction Location (Ptr AstDisjunction)

AstHeadLitAggregate Location (Ptr AstAggregate)

AstHeadHeadAggregate Location (Ptr AstHeadAggregate)

AstHeadTheoryAtom Location (Ptr AstTheoryAtom)

Instances

Eq AstHeadLiteral

Methods

(==) :: AstHeadLiteral -> AstHeadLiteral -> Bool

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

Show AstHeadLiteral

Methods

showsPrec :: Int -> AstHeadLiteral -> ShowS

show :: AstHeadLiteral -> String

showList :: [AstHeadLiteral] -> ShowS

Storable AstHeadLiteral

Methods

sizeOf :: AstHeadLiteral -> Int

alignment :: AstHeadLiteral -> Int

peekElemOff :: Ptr AstHeadLiteral -> Int -> IO AstHeadLiteral

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

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

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

peek :: Ptr AstHeadLiteral -> IO AstHeadLiteral

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

data AstBodyLiteral

Constructors

AstBodyLiteral Location AstSign (Ptr AstLiteral)

AstBodyConditional Location (Ptr AstConditionalLiteral)

AstBodyLitAggregate Location AstSign (Ptr AstAggregate)

AstBodyBodyAggregate Location AstSign (Ptr AstBodyAggregate)

AstBodyTheoryAtom Location AstSign (Ptr AstTheoryAtom)

AstBodyDisjoint Location AstSign (Ptr AstDisjoint)

Instances

Eq AstBodyLiteral

Methods

(==) :: AstBodyLiteral -> AstBodyLiteral -> Bool

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

Show AstBodyLiteral

Methods

showsPrec :: Int -> AstBodyLiteral -> ShowS

show :: AstBodyLiteral -> String

showList :: [AstBodyLiteral] -> ShowS

Storable AstBodyLiteral

Methods

sizeOf :: AstBodyLiteral -> Int

alignment :: AstBodyLiteral -> Int

peekElemOff :: Ptr AstBodyLiteral -> Int -> IO AstBodyLiteral

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

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

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

peek :: Ptr AstBodyLiteral -> IO AstBodyLiteral

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

data AstTheoryOperatorDefinition

Constructors

AstTheoryOperatorDefinition Location CString CUInt AstTheoryOperatorType

Instances

Eq AstTheoryOperatorDefinition

Methods

(==) :: AstTheoryOperatorDefinition -> AstTheoryOperatorDefinition -> Bool

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

Show AstTheoryOperatorDefinition

Methods

showsPrec :: Int -> AstTheoryOperatorDefinition -> ShowS

show :: AstTheoryOperatorDefinition -> String

showList :: [AstTheoryOperatorDefinition] -> ShowS

Storable AstTheoryOperatorDefinition

Methods

sizeOf :: AstTheoryOperatorDefinition -> Int

alignment :: AstTheoryOperatorDefinition -> Int

peekElemOff :: Ptr AstTheoryOperatorDefinition -> Int -> IO AstTheoryOperatorDefinition

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

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

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

peek :: Ptr AstTheoryOperatorDefinition -> IO AstTheoryOperatorDefinition

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

data AstTheoryTermDefinition

Constructors

AstTheoryTermDefinition Location CString (Ptr AstTheoryOperatorDefinition) CSize

Instances

Eq AstTheoryTermDefinition

Methods

(==) :: AstTheoryTermDefinition -> AstTheoryTermDefinition -> Bool

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

Show AstTheoryTermDefinition

Methods

showsPrec :: Int -> AstTheoryTermDefinition -> ShowS

show :: AstTheoryTermDefinition -> String

showList :: [AstTheoryTermDefinition] -> ShowS

Storable AstTheoryTermDefinition

Methods

sizeOf :: AstTheoryTermDefinition -> Int

alignment :: AstTheoryTermDefinition -> Int

peekElemOff :: Ptr AstTheoryTermDefinition -> Int -> IO AstTheoryTermDefinition

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

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

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

peek :: Ptr AstTheoryTermDefinition -> IO AstTheoryTermDefinition

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

data AstTheoryGuardDefinition

Constructors

AstTheoryGuardDefinition CString (Ptr CString) CSize

Instances

Eq AstTheoryGuardDefinition

Methods

(==) :: AstTheoryGuardDefinition -> AstTheoryGuardDefinition -> Bool

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

Show AstTheoryGuardDefinition

Methods

showsPrec :: Int -> AstTheoryGuardDefinition -> ShowS

show :: AstTheoryGuardDefinition -> String

showList :: [AstTheoryGuardDefinition] -> ShowS

Storable AstTheoryGuardDefinition

Methods

sizeOf :: AstTheoryGuardDefinition -> Int

alignment :: AstTheoryGuardDefinition -> Int

peekElemOff :: Ptr AstTheoryGuardDefinition -> Int -> IO AstTheoryGuardDefinition

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

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

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

peek :: Ptr AstTheoryGuardDefinition -> IO AstTheoryGuardDefinition

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

data AstTheoryAtomDefinition

Constructors

AstTheoryAtomDefinition Location AstTheoryAtomDefType CString CUInt CString (Ptr AstTheoryGuardDefinition)

Instances

Eq AstTheoryAtomDefinition

Methods

(==) :: AstTheoryAtomDefinition -> AstTheoryAtomDefinition -> Bool

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

Show AstTheoryAtomDefinition

Methods

showsPrec :: Int -> AstTheoryAtomDefinition -> ShowS

show :: AstTheoryAtomDefinition -> String

showList :: [AstTheoryAtomDefinition] -> ShowS

Storable AstTheoryAtomDefinition

Methods

sizeOf :: AstTheoryAtomDefinition -> Int

alignment :: AstTheoryAtomDefinition -> Int

peekElemOff :: Ptr AstTheoryAtomDefinition -> Int -> IO AstTheoryAtomDefinition

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

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

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

peek :: Ptr AstTheoryAtomDefinition -> IO AstTheoryAtomDefinition

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

data AstTheoryDefinition

Constructors

AstTheoryDefinition CString (Ptr AstTheoryTermDefinition) CSize (Ptr AstTheoryAtomDefinition) CSize

Instances

Eq AstTheoryDefinition

Methods

(==) :: AstTheoryDefinition -> AstTheoryDefinition -> Bool

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

Show AstTheoryDefinition

Methods

showsPrec :: Int -> AstTheoryDefinition -> ShowS

show :: AstTheoryDefinition -> String

showList :: [AstTheoryDefinition] -> ShowS

Storable AstTheoryDefinition

Methods

sizeOf :: AstTheoryDefinition -> Int

alignment :: AstTheoryDefinition -> Int

peekElemOff :: Ptr AstTheoryDefinition -> Int -> IO AstTheoryDefinition

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

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

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

peek :: Ptr AstTheoryDefinition -> IO AstTheoryDefinition

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

data AstRule

Constructors

AstRule AstHeadLiteral (Ptr AstBodyLiteral) CSize

Instances

Eq AstRule

Methods

(==) :: AstRule -> AstRule -> Bool

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

Show AstRule

Methods

showsPrec :: Int -> AstRule -> ShowS

show :: AstRule -> String

showList :: [AstRule] -> ShowS

Storable AstRule

Methods

sizeOf :: AstRule -> Int

alignment :: AstRule -> Int

peekElemOff :: Ptr AstRule -> Int -> IO AstRule

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

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

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

peek :: Ptr AstRule -> IO AstRule

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

data AstDefinition

Constructors

AstDefinition CString AstTerm CBool

Instances

Eq AstDefinition

Methods

(==) :: AstDefinition -> AstDefinition -> Bool

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

Show AstDefinition

Methods

showsPrec :: Int -> AstDefinition -> ShowS

show :: AstDefinition -> String

showList :: [AstDefinition] -> ShowS

Storable AstDefinition

Methods

sizeOf :: AstDefinition -> Int

alignment :: AstDefinition -> Int

peekElemOff :: Ptr AstDefinition -> Int -> IO AstDefinition

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

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

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

peek :: Ptr AstDefinition -> IO AstDefinition

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

data AstShowSignature

Constructors

AstShowSignature Signature CBool

Instances

Eq AstShowSignature

Methods

(==) :: AstShowSignature -> AstShowSignature -> Bool

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

Show AstShowSignature

Methods

showsPrec :: Int -> AstShowSignature -> ShowS

show :: AstShowSignature -> String

showList :: [AstShowSignature] -> ShowS

Storable AstShowSignature

Methods

sizeOf :: AstShowSignature -> Int

alignment :: AstShowSignature -> Int

peekElemOff :: Ptr AstShowSignature -> Int -> IO AstShowSignature

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

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

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

peek :: Ptr AstShowSignature -> IO AstShowSignature

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

data AstShowTerm

Constructors

AstShowTerm AstTerm (Ptr AstBodyLiteral) CSize CBool

Instances

Eq AstShowTerm

Methods

(==) :: AstShowTerm -> AstShowTerm -> Bool

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

Show AstShowTerm

Methods

showsPrec :: Int -> AstShowTerm -> ShowS

show :: AstShowTerm -> String

showList :: [AstShowTerm] -> ShowS

Storable AstShowTerm

Methods

sizeOf :: AstShowTerm -> Int

alignment :: AstShowTerm -> Int

peekElemOff :: Ptr AstShowTerm -> Int -> IO AstShowTerm

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

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

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

peek :: Ptr AstShowTerm -> IO AstShowTerm

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

data AstMinimize

Constructors

AstMinimize AstTerm AstTerm (Ptr AstTerm) CSize (Ptr AstBodyLiteral) CSize

Instances

Eq AstMinimize

Methods

(==) :: AstMinimize -> AstMinimize -> Bool

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

Show AstMinimize

Methods

showsPrec :: Int -> AstMinimize -> ShowS

show :: AstMinimize -> String

showList :: [AstMinimize] -> ShowS

Storable AstMinimize

Methods

sizeOf :: AstMinimize -> Int

alignment :: AstMinimize -> Int

peekElemOff :: Ptr AstMinimize -> Int -> IO AstMinimize

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

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

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

peek :: Ptr AstMinimize -> IO AstMinimize

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

data AstScript

Constructors

AstScript AstScriptType CString

Instances

Eq AstScript

Methods

(==) :: AstScript -> AstScript -> Bool

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

Show AstScript

Methods

showsPrec :: Int -> AstScript -> ShowS

show :: AstScript -> String

showList :: [AstScript] -> ShowS

Storable AstScript

Methods

sizeOf :: AstScript -> Int

alignment :: AstScript -> Int

peekElemOff :: Ptr AstScript -> Int -> IO AstScript

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

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

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

peek :: Ptr AstScript -> IO AstScript

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

data AstProgram

Constructors

AstProgram CString (Ptr AstId) CSize

Instances

Eq AstProgram

Methods

(==) :: AstProgram -> AstProgram -> Bool

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

Show AstProgram

Methods

showsPrec :: Int -> AstProgram -> ShowS

show :: AstProgram -> String

showList :: [AstProgram] -> ShowS

Storable AstProgram

Methods

sizeOf :: AstProgram -> Int

alignment :: AstProgram -> Int

peekElemOff :: Ptr AstProgram -> Int -> IO AstProgram

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

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

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

peek :: Ptr AstProgram -> IO AstProgram

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

data AstExternal

Constructors

AstExternal AstTerm (Ptr AstBodyLiteral) CSize

Instances

Eq AstExternal

Methods

(==) :: AstExternal -> AstExternal -> Bool

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

Show AstExternal

Methods

showsPrec :: Int -> AstExternal -> ShowS

show :: AstExternal -> String

showList :: [AstExternal] -> ShowS

Storable AstExternal

Methods

sizeOf :: AstExternal -> Int

alignment :: AstExternal -> Int

peekElemOff :: Ptr AstExternal -> Int -> IO AstExternal

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

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

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

peek :: Ptr AstExternal -> IO AstExternal

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

data AstEdge

Constructors

AstEdge AstTerm AstTerm (Ptr AstBodyLiteral) CSize

Instances

Eq AstEdge

Methods

(==) :: AstEdge -> AstEdge -> Bool

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

Show AstEdge

Methods

showsPrec :: Int -> AstEdge -> ShowS

show :: AstEdge -> String

showList :: [AstEdge] -> ShowS

Storable AstEdge

Methods

sizeOf :: AstEdge -> Int

alignment :: AstEdge -> Int

peekElemOff :: Ptr AstEdge -> Int -> IO AstEdge

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

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

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

peek :: Ptr AstEdge -> IO AstEdge

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

data AstHeuristic

Constructors

AstHeuristic AstTerm (Ptr AstBodyLiteral) CSize AstTerm AstTerm AstTerm

Instances

Eq AstHeuristic

Methods

(==) :: AstHeuristic -> AstHeuristic -> Bool

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

Show AstHeuristic

Methods

showsPrec :: Int -> AstHeuristic -> ShowS

show :: AstHeuristic -> String

showList :: [AstHeuristic] -> ShowS

Storable AstHeuristic

Methods

sizeOf :: AstHeuristic -> Int

alignment :: AstHeuristic -> Int

peekElemOff :: Ptr AstHeuristic -> Int -> IO AstHeuristic

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

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

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

peek :: Ptr AstHeuristic -> IO AstHeuristic

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

data AstProject

Constructors

AstProject AstTerm (Ptr AstBodyLiteral) CSize

Instances

Eq AstProject

Methods

(==) :: AstProject -> AstProject -> Bool

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

Show AstProject

Methods

showsPrec :: Int -> AstProject -> ShowS

show :: AstProject -> String

showList :: [AstProject] -> ShowS

Storable AstProject

Methods

sizeOf :: AstProject -> Int

alignment :: AstProject -> Int

peekElemOff :: Ptr AstProject -> Int -> IO AstProject

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

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

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

peek :: Ptr AstProject -> IO AstProject

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

data AstStatement

Constructors

AstStmtRule Location (Ptr AstRule)

AstStmtDefinition Location (Ptr AstDefinition)

AstStmtShowSignature Location (Ptr AstShowSignature)

AstStmtShowTerm Location (Ptr AstShowTerm)

AstStmtMinimize Location (Ptr AstMinimize)

AstStmtScript Location (Ptr AstScript)

AstStmtProgram Location (Ptr AstProgram)

AstStmtExternal Location (Ptr AstExternal)

AstStmtEdge Location (Ptr AstEdge)

AstStmtHeuristic Location (Ptr AstHeuristic)

AstStmtProject Location (Ptr AstProject)

AstStmtSignature Location Signature

AstStmtTheoryDefn Location (Ptr AstTheoryDefinition)

Instances

Eq AstStatement

Methods

(==) :: AstStatement -> AstStatement -> Bool

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

Show AstStatement

Methods

showsPrec :: Int -> AstStatement -> ShowS

show :: AstStatement -> String

showList :: [AstStatement] -> ShowS

Storable AstStatement

Methods

sizeOf :: AstStatement -> Int

alignment :: AstStatement -> Int

peekElemOff :: Ptr AstStatement -> Int -> IO AstStatement

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

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

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

peek :: Ptr AstStatement -> IO AstStatement

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

Functions

type CallbackAST a = Ptr AstStatement -> Ptr a -> IO CBool

mkCallbackAst :: CallbackAST a -> IO (FunPtr (CallbackAST a))

parseProgram :: MonadIO m => CString -> FunPtr (CallbackAST a) -> Ptr a -> FunPtr (Logger b) -> Ptr b -> CUInt -> m CBool