Set of atoms found in the cone of influence of the expression.
Set of atoms found in the cone of influence of the expression.
Set of literals found in the cone of influence of the expression.
Set of literals found in the cone of influence of the expression.
Abstract type for literals (atoms or atom negations).