Control.Search.Language

Documentation

spacetype :: GenMode -> [Char]

xsspace :: PrettyFlags -> Value -> String -> Doc

data GenMode

Constructors

ModeUnk

ModeGecode

ModeFZ

ModeMCP

Instances

Eq GenMode

data PrettyFlags

Constructors

PrettyFlags

Fields

genMode :: GenMode

Instances

Eq PrettyFlags

renderVar :: PrettyFlags -> Value -> Doc

class Pretty x where

Methods

prettyX :: PrettyFlags -> x -> Doc

pretty :: x -> Doc

Instances

Pretty Statement

Pretty Constraint

Pretty Value

Pretty Type

Pretty Struct

data Struct

Constructors

Struct String [(Type, String)]

Instances

Eq Struct

Ord Struct

Show Struct

Pretty Struct

data Type

Constructors

Pointer Type

SpaceType

Int

Bool

Union [(Type, String)]

SType Struct

THook String

Instances

Eq Type

Ord Type

Show Type

Pretty Type

data Value

Constructors

IVal Int32

BVal Bool

RootSpace

Minus Value Value

Plus Value Value

Mult Value Value

Div Value Value

Mod Value Value

Abs Value

Var String

Ref Value

Deref Value

Clone Value

Field String String

Field' Value String

PField Value String

Lt Value Value

Gq Value Value

Gt Value Value

Eq Value Value

BaseContinue

And Value Value

Or Value Value

Not Value

VHook String

Max Value Value

AVarElem String Value Value

AVarSize String Value

BAVarElem String Value Value

BAVarSize String Value

IVar String Value

MinDom Value

MaxDom Value

Degree Value

WDegree Value

UbRegret Value

LbRegret Value

Median Value

Random

Null

New Struct

Base

Cond Value Value Value

Assigned Value

Dummy Int

MaxVal

MinVal

Instances

Eq Value

Num Value

Ord Value

Show Value

Simplifiable Value

Pretty Value

Eq (Value -> Value -> Value)

Eq (Value -> Value)

Eq (Info -> Value)

Num (Info -> Value)

Ord (Value -> Value -> Value)

Ord (Value -> Value)

Show (Value -> Value -> Value)

Show (Value -> Value)

Show (Info -> Value)

divValue :: Value -> Value -> Value

true :: Value

false :: Value

(&&&) :: Value -> Value -> Value

(|||) :: Value -> Value -> Value

(@>) :: Value -> Value -> Value

(@>=) :: Value -> Value -> Value

(@<=) :: Value -> Value -> Value

(@==) :: Value -> Value -> Value

(@->) :: Value -> String -> Value

(@=>) :: Value -> String -> Value

(@<) :: Value -> Value -> Value

lex :: [Value -> Value -> Value] -> [Value] -> [Value] -> Value

simplValue :: Value -> Value

data Constraint

Constructors

EqC Value Value

NqC Value Value

LtC Value Value

LqC Value Value

GtC Value Value

GqC Value Value

TrueC

FalseC

Instances

Eq Constraint

Ord Constraint

Show Constraint

Pretty Constraint

($==) :: Value -> Value -> Constraint

($/=) :: Value -> Value -> Constraint

($<) :: Value -> Value -> Constraint

($<=) :: Value -> Value -> Constraint

($>) :: Value -> Value -> Constraint

($>=) :: Value -> Value -> Constraint

neg :: Constraint -> Constraint

data Statement

Constructors

IfThenElse Value Statement Statement

Push Value

Skip

Seq Statement Statement

Assign Value Value

Abort

Print Value [String]

SHook String

Post Value Constraint

Fold String Value Value Value (Value -> Value) (Value -> Value -> Value)

IFold String Value Value Value (Value -> Value) (Value -> Value -> Value)

BFold String Value Value Value (Value -> Value) (Value -> Value -> Value)

BIFold String Value Value Value (Value -> Value) (Value -> Value -> Value)

Delete Value

Block Statement Statement

DebugOutput String

DebugValue String Value

Instances

Eq Statement

Ord Statement

Show Statement

Monoid Statement

Simplifiable Statement

Pretty Statement

inliner :: (Statement -> Maybe Statement) -> Statement -> Statement

comment :: [Char] -> Statement

dec :: Value -> Statement

inc :: Value -> Statement

(>>>) :: Statement -> Statement -> Statement

(<==) :: Value -> Value -> Statement

assign :: Value -> Value -> Statement

ifthen :: Value -> Statement -> Statement

seqs :: [Statement] -> Statement

simplStmt :: Statement -> Statement

class Simplifiable a where

Methods

simplify :: a -> a

Instances

Simplifiable Statement

Simplifiable Value