RewritingTerm

protocol RewritingTerm : Collection, Equatable, Sendable where Self.Element : Hashable, Self.Element : Sendable, Self.Index == Int, Self.SubSequence : Sendable

A term in a rewriting system.

Show on GitHub

  • Creates a term with the given symbols.

    Declaration

    Swift

    init<S>(_ s: S) where S : Sequence, Self.Element == S.Element
    Show on GitHub

  • Returns a copy of self in which occurrences of s have been replaced by t.

    Declaration

    Swift

    func substituting(_ s: Self, for t: Self) -> Self
    Show on GitHub

  • Returns u concatenated with v.

    Declaration

    Swift

    static func + (u: Self, v: Self) -> Self
    Show on GitHub

  • Returns u concatenated with v.

    Declaration

    Swift

    static func + <S>(u: Self, v: S) -> Self where S : Sequence, Self.Element == S.Element
    Show on GitHub

  • Returns u concatenated with v.

    Declaration

    Swift

    static func + <S>(u: S, v: Self) -> Self where S : Sequence, Self.Element == S.Element
    Show on GitHub