Interface Literal

All Known Subinterfaces:
CanNegate<T>
All Known Implementing Classes:
AbstractCallLiteral, AbstractCountLiteral, AbstractLiteral, AggregationLiteral, AssignLiteral, BooleanLiteral, CallLiteral, CheckLiteral, ConstantLiteral, CountLiteral, EquivalenceLiteral, LeftJoinLiteral, RepresentativeElectionLiteral

public interface Literal
In mathematical logic, a literal is an atomic formula or its negation. A literal is a formula that is either true or false, but not both. It is a basic building block of logic.

A clause is a propositional (well-formed) formula formed from a finite collection of literals and logical connectives.