z3

Documentation

Overview

+build cgo

Index

• type Conf
  • func NewConf() *Conf
• type Ctx
  • func NewCtx(conf *Conf) *Ctx
  • func (ctx *Ctx) EvalSmt2(s string) string

Types

type Conf

type Conf struct {
	// contains filtered or unexported fields
}

func NewConf

func NewConf() *Conf

type Ctx

type Ctx struct {
	// contains filtered or unexported fields
}

func NewCtx

func NewCtx(conf *Conf) *Ctx

func (*Ctx) EvalSmt2

func (ctx *Ctx) EvalSmt2(s string) string