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 contexttarget
Declaration
Swift
public override func translate(to newContext: Z3Context) -> Z3Pattern