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 ")
}