OutcomeMap

extension OutcomeMap
Show on GitHub

  • Returns whether the solving g succeeded or .none if outcome has been computed yet.

    Declaration

    Swift

    fileprivate func succeeded(_ g: GoalIdentity) -> ThreeValuedBit
    Show on GitHub