Method ApplySubst

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

Returns a new term.

(s Subst)

Source from the content-addressed store, hash-verified

131
132	// Returns a new term.
133	ApplySubst(s Subst) Term
134	}
135
136	// BaseTerm represents a subset of terms: constant, variables or ApplyFn.

getPushdownFunction · 0.65

TestEmptyArrayProgramFunction · 0.65

CheckFactMethod · 0.65

oneStepEvalClauseMethod · 0.65

EvalQueryMethod · 0.65

evalLetFunction · 0.65

evalDoFunction · 0.65

TestRectifyAtomFunction · 0.65

ApplySubstMethod · 0.65

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

no outgoing calls

TestEmptyArrayProgramFunction · 0.52

TestRectifyAtomFunction · 0.52