smtLib-1.0.5: A library for working with the SMTLIB format.

Safe HaskellSafe

SMTLib1

Synopsis

Documentation

newtype Name Source

Constructors

N String 

data Ident Source

Constructors

I Name [Integer] 

data Quant Source

Constructors

Exists 
Forall 

Instances

data Conn Source

Constructors

Not 
Implies 
And 
Or 
Xor 
Iff 
IfThenElse 

Instances

data Binder Source

Constructors

Bind 

Fields

bindVar :: Name
 
bindSort :: Sort
 

Instances

data Annot Source

Constructors

Attr 

Instances

data FunDecl Source

Constructors

FunDecl 

Fields

funName :: Ident
 
funArgs :: [Sort]
 
funRes :: Sort
 
funAnnots :: [Annot]
 

data PredDecl Source

Constructors

PredDecl 

Fields

predName :: Ident
 
predArgs :: [Sort]
 
predAnnots :: [Annot]
 

data Status Source

Constructors

Sat 
Unsat 
Unknown 

data Script Source

Constructors

Script 

Fields

scrName :: Ident
 
scrCommands :: [Command]