View on GitHub
CriticalPair
private struct CriticalPair : SendableThe rewritings of a term by two different rules or the same rule at two different positions.
-
The first term of the pair.
Declaration
Swift
let first: Term -
The first term of the pair.
Declaration
Swift
let second: Term -
Creates an instance with the given terms.
Declaration
Swift
init(_ u: Term, _ v: Term)