array.go - Z3 Go API

func (c *Context) MkArraySort(domain, range_ *Sort) *Sort

Array operations and sorts MkArraySort creates an array sort.

func (c *Context) MkConstArray(sort *Sort, value *Expr) *Expr

MkConstArray creates a constant array.

func (c *Context) MkSelect(array, index *Expr) *Expr

MkSelect creates an array read (select) operation.

func (c *Context) MkStore(array, index, value *Expr) *Expr

MkStore creates an array write (store) operation.

Functions