MCPcopy
hub / github.com/google/mangle / Equals

Method Equals

ast/ast.go:130–130  ·  view source on GitHub ↗

Syntactic (or structural) equality. If Equals returns true, terms have the same string representation.

(Term)

Source from the content-addressed store, hash-verified

128 // Syntactic (or structural) equality.
129 // If Equals returns true, terms have the same string representation.
130 Equals(Term) bool
131
132 // Returns a new term.
133 ApplySubst(s Subst) Term

Callers 15

MatchesFunction · 0.65
addAtomMethod · 0.65
removeAtomMethod · 0.65
ContainsMethod · 0.65
readPredMethod · 0.65
TestStoreFunction · 0.65
findExactMethod · 0.65
ContainsMethod · 0.65
TestAddContainsRemoveFunction · 0.65
StringMethod · 0.65
unifyMethod · 0.65
UnifyTermsFunction · 0.65

Implementers 9

Constantast/ast.go
Variableast/ast.go
Atomast/ast.go
NegAtomast/ast.go
ApplyFnast/ast.go
Eqast/ast.go
Ineqast/ast.go
TemporalAtomast/temporal.go
TemporalLiteralast/temporal.go

Calls

no outgoing calls

Tested by 15

TestStoreFunction · 0.52
TestAddContainsRemoveFunction · 0.52
equalsFunction · 0.52
TestUnifyPositiveFunction · 0.52
ShouldQueryMethod · 0.52
ExecuteQueryMethod · 0.52
TestEvalExternalFunction · 0.52
TestTopDownFunction · 0.52
TestResolveHeadTime_TimestampBoundsFunction · 0.52
equalsFunction · 0.52
TestParseClausePositiveFunction · 0.52
TestParseLiteralOrFormulaPositiveFunction · 0.52