z3Util

Documentation

Index

• func ConvertBoolBinaryExpr(lhs, rhs z3.Bool, tok token.Token) (z3.Value, error)
• func ConvertBoolUnaryExpr(arg z3.Bool, tok token.Token) (z3.Value, error)
• func ConvertFloatBinaryExpr(lhs, rhs z3.Float, tok token.Token) (z3.Value, error)
• func ConvertFloatUnaryExpr(arg z3.Float, tok token.Token) (z3.Value, error)
• func ConvertIntBinaryExpr(lhs, rhs z3.Int, tok token.Token) (z3.Value, error)
• func ConvertIntUnaryExpr(arg z3.Int, tok token.Token) (z3.Value, error)
• func ConvertRealBinaryExpr(lhs, rhs z3.Real, tok token.Token) (z3.Value, error)
• func ConvertRealUnaryExpr(arg z3.Real, tok token.Token) (z3.Value, error)

Functions

func ConvertBoolBinaryExpr

func ConvertBoolBinaryExpr(lhs, rhs z3.Bool, tok token.Token) (z3.Value, error)

func ConvertBoolUnaryExpr

func ConvertBoolUnaryExpr(arg z3.Bool, tok token.Token) (z3.Value, error)

func ConvertFloatBinaryExpr

func ConvertFloatBinaryExpr(lhs, rhs z3.Float, tok token.Token) (z3.Value, error)

func ConvertFloatUnaryExpr

func ConvertFloatUnaryExpr(arg z3.Float, tok token.Token) (z3.Value, error)

func ConvertIntBinaryExpr

func ConvertIntBinaryExpr(lhs, rhs z3.Int, tok token.Token) (z3.Value, error)

func ConvertIntUnaryExpr

func ConvertIntUnaryExpr(arg z3.Int, tok token.Token) (z3.Value, error)

func ConvertRealBinaryExpr

func ConvertRealBinaryExpr(lhs, rhs z3.Real, tok token.Token) (z3.Value, error)

func ConvertRealUnaryExpr

func ConvertRealUnaryExpr(arg z3.Real, tok token.Token) (z3.Value, error)