Test.Target.Serialize

Documentation

class SMTLIB2 a where

Minimal complete definition

smt2

Methods

smt2 :: a -> Builder

Instances

SMTLIB2 Command

Methods

smt2 :: Command -> Builder

SMTLIB2 SymConst

Methods

smt2 :: SymConst -> Builder

SMTLIB2 Constant

Methods

smt2 :: Constant -> Builder

SMTLIB2 Brel

Methods

smt2 :: Brel -> Builder

SMTLIB2 Bop

Methods

smt2 :: Bop -> Builder

SMTLIB2 Expr

Methods

smt2 :: Expr -> Builder

SMTLIB2 Sort

Methods

smt2 :: Sort -> Builder

SMTLIB2 Symbol

Methods

smt2 :: Symbol -> Builder

SMTLIB2 LocSymbol

Methods

smt2 :: LocSymbol -> Builder

SMTLIB2 (Triggered Expr)

Methods

smt2 :: Triggered Expr -> Builder

SMTLIB2 (Symbol, Sort)

Methods

smt2 :: (Symbol, Sort) -> Builder

smt2App :: Expr -> Builder

mkRel :: (SMTLIB2 a, SMTLIB2 a1) => Brel -> a -> a1 -> Builder

mkNe :: (SMTLIB2 a, SMTLIB2 a1) => a -> a1 -> Builder

smt2s :: SMTLIB2 a => [a] -> Builder

smt2many :: [Builder] -> Builder