-
Returns whether the solving
gsucceeded or.noneif outcome has been computed yet.Declaration
Swift
fileprivate func succeeded(_ g: GoalIdentity) -> ThreeValuedBit
FrontEnd Docs (83% documented)
Returns whether the solving g succeeded or .none if outcome has been computed yet.
Swift
fileprivate func succeeded(_ g: GoalIdentity) -> ThreeValuedBit