Z3Pattern

public class Z3Pattern : Z3AstBase

Kind of AST used to represent pattern and multi-patterns used to guide quantifier instantiation.

  • Convert the current AST node into a string.

    Declaration

    Swift

    public override func toString() -> String

  • Translate/Copy the AST self from its current context to context target

    Declaration

    Swift

    public override func translate(to newContext: Z3Context) -> Z3Pattern