Method ApplySubst

ast/ast.go:1235–1237

ApplySubst returns the result of applying given substitution to this inequality.

(s Subst)

// ApplySubst returns the result of applying given substitution to this inequality.
func (e Ineq) ApplySubst(s Subst) Term {
	return Ineq{e.Left.ApplySubst(s).(BaseTerm), e.Right.ApplySubst(s).(BaseTerm)}
}

// Clause represents a clause (a rule of the form "A." or "A :- B1, ..., Bn.").
// When a clause has a body, the resulting relation can be transformed.