ApplySubst returns the result of applying given substitution to this atom.
(s Subst)
| 1021 | |
| 1022 | // ApplySubst returns the result of applying given substitution to this atom. |
| 1023 | func (a Atom) ApplySubst(s Subst) Term { |
| 1024 | newargs := make([]BaseTerm, len(a.Args)) |
| 1025 | for i, t := range a.Args { |
| 1026 | newargs[i] = t.ApplySubstBase(s) |
| 1027 | } |
| 1028 | return Atom{a.Predicate, newargs} |
| 1029 | } |
| 1030 | |
| 1031 | // IsGround returns true if all arguments are constants. |
| 1032 | func (a Atom) IsGround() bool { |
nothing calls this directly
no test coverage detected