func()

in src/ct/relation/relation.go [83:118]


func (r *Relation) HumanReadable() string {
	if r.VariableType == variables.Numerical {
		var s string
		if r.Lower != nil {
			s = r.DisplayName
			if r.Lower.Incl {
				s += " ≥ "
			} else {
				s += " > "
			}
			s += r.Lower.Value
		}
		if r.Upper != nil {
			if r.Lower != nil {
				if r.Lower.Value < r.Upper.Value {
					s += " and "
				} else {
					s += " or "
				}
			}
			s += r.DisplayName

			if r.Upper.Incl {
				s += " ≤ "
			} else {
				s += " < "
			}
			s += r.Upper.Value
		}
		if r.Unit != "" {
			s += " " + r.Unit
		}
		return s
	}
	return text.Join(text.Titles(r.Value), ", ", " or ")
}