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.
Logical negation.