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

Method IsBuiltin

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

IsBuiltin returns true if this predicate symbol is for a built-in predicate.

()

Source from the content-addressed store, hash-verified

908
909// IsBuiltin returns true if this predicate symbol is for a built-in predicate.
910func (p PredicateSym) IsBuiltin() bool {
911 return strings.HasPrefix(p.Symbol, ":")
912}
913
914// Variable represents a variable by the name.
915type Variable struct {

Callers 6

makeDeltaRulesFunction · 0.95
oneStepEvalPremiseMethod · 0.80
premiseAtomFunction · 0.80
premiseNegAtomFunction · 0.80
AnalyzeMethod · 0.80
CheckRuleMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected