Function AddVars

ast/ast.go:1399–1435

AddVars adds all variables from term to map, where term is either variable, constant or atom.

(term Term, m map[Variable]bool)

// AddVars adds all variables from term to map, where term is either
// variable, constant or atom.
func AddVars(term Term, m map[Variable]bool) {
	switch t := term.(type) {
	case Constant:
		return
	case Variable:
		m[t] = true
	case ApplyFn:
		for _, baseTerm := range t.Args {
			AddVars(baseTerm, m)
		}
	case Atom:
		for _, baseTerm := range t.Args {
			AddVars(baseTerm, m)
		}
	case NegAtom:
		AddVars(t.Atom, m)
	case Eq:
		AddVars(t.Left, m)
		AddVars(t.Right, m)
	case Ineq:
		AddVars(t.Left, m)
		AddVars(t.Right, m)
	case TemporalLiteral:
		AddVars(t.Literal, m)
		if t.Interval != nil {
			addVarsFromInterval(*t.Interval, m)
		}
		if t.Operator != nil {
			addVarsFromInterval(t.Operator.Interval, m)
		}
	case TemporalAtom:
		AddVars(t.Atom, m)
		if t.Interval != nil {
			addVarsFromInterval(*t.Interval, m)
		}
	}
}

func addVarsFromInterval(interval Interval, m map[Variable]bool) {
	if interval.Start.Type == VariableBound {