Z3ApplyResult Class Reference
Z3ApplyResult
public class Z3ApplyResult : Z3RefCountedObjectZ3ApplyResult objects represent the result of an application of a tactic to a goal. It contains the subgoals that were produced.
-
Declaration
Swift
public let context: Z3Context -
Return the number of subgoals in this
Z3ApplyResultobject returned byZ3Tactic.apply(to:params:).Declaration
Swift
public var subgoalCount: UInt32 { get } -
Converts this
Z3ApplyResultobject returned byZ3Tactic.apply(to:params:)into a string.Declaration
Swift
public func toString() -> String -
Return one of the subgoals in this
Z3ApplyResultobject returned byZ3Tactic.apply(to:params:).Seealso
subgoalCountDeclaration
Swift
public func subgoalAt(index: UInt32) -> Z3Goal