Copyright | Rogério Pontes 2015 |
---|---|
License | WTFPL |
Maintainer | rogerp62@outlook.com |
Stability | stable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Smtlib.Syntax.Syntax
Description
This module contains The syntax to create commands and responses.
Documentation
Constructors
Constructors
ErrorBehavior | |
Name | |
Authors | |
Version | |
Status | |
ReasonUnknown | |
AllStatistics | |
InfoFlags String |
data VarBinding Source
Instances
data QualIdentifier Source
Constructors
QIdentifier Identifier | |
QIdentifierAs Identifier Sort |
Instances
Constructors
AttrValueConstant SpecConstant | |
AttrValueSymbol String | |
AttrValueSexpr [Sexpr] |
Constructors
Attribute String | |
AttributeVal String AttrValue |
data Identifier Source
Instances
Constructors
SortId Identifier | |
SortIdentifiers Identifier [Sort] |
data SpecConstant Source
Constructors
SpecConstantNumeral Integer | |
SpecConstantDecimal String | |
SpecConstantHexadecimal String | |
SpecConstantBinary String | |
SpecConstantString String |
Instances
Constructors
SexprSpecConstant SpecConstant | |
SexprSymbol String | |
SexprKeyword String | |
SexprSxp [Sexpr] |
data CmdResponse Source
Constructors
Instances
data CheckSatResponse Source
type GetInfoResponse = [InfoResponse] Source
data InfoResponse Source
Constructors
ResponseErrorBehavior ErrorBehavior | |
ResponseName String | |
ResponseAuthors String | |
ResponseVersion String | |
ResponseReasonUnknown ReasonUnknown | |
ResponseAttribute Attribute |
Instances
type GetAssertionsResponse = [Term] Source
type GetProofResponse = Sexpr Source
type GetUnsatCoreResponse = [String] Source
type GetValueResponse = [ValuationPair] Source
type GetAssignmentResponse = [TValuationPair] Source
type GetOptionResponse = AttrValue Source