RewritingRule Structure Reference

lhs

The left-hand side of the rule.

Swift

let lhs: Term

Show on GitHub

rhs

The right-hand side of the rule.

Swift

let rhs: Term

Show on GitHub


                    
                    
                    flags

true if self has been simplified.

Swift

private(set) var flags: RequirementRuleFlags { get }

Show on GitHub


                    
                    
                    init(_:_:)

Creates an instance rewriting lhs to rhs.

Swift

init(_ lhs: Term, _ rhs: Term)

Show on GitHub


                    
                    
                    deconstructed

self as a pair (source, target).

Swift

var deconstructed: (Term, Term) { get }

Show on GitHub


                    
                    
                    isSimplified

true if self has been simplified.

Swift

var isSimplified: Bool { get }

Show on GitHub


                    
                    
                    substituting(_:for:)

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

Swift

func substituting(_ s: Term, for t: Term) -> RewritingRule<Term>

Show on GitHub


                    
                    
                    raiseFlags(_:)

Raises the flags fs in the rule.

Swift

mutating func raiseFlags(_ fs: RequirementRuleFlags)

Show on GitHub

RewritingRule