Z3ApplyResult
public class Z3ApplyResult : Z3RefCountedObject
Z3ApplyResult 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
Z3ApplyResult
object returned byZ3Tactic.apply(to:params:)
.Declaration
Swift
public var subgoalCount: UInt32 { get }
-
Converts this
Z3ApplyResult
object returned byZ3Tactic.apply(to:params:)
into a string.Declaration
Swift
public func toString() -> String
-
Return one of the subgoals in this
Z3ApplyResult
object returned byZ3Tactic.apply(to:params:)
.Seealso
subgoalCount
Declaration
Swift
public func subgoalAt(index: UInt32) -> Z3Goal