visitLiteral

open override fun visitLiteral(literal: Struct): T

Visits any literal (head or body) of a Clause, regardless of whether it is negated.