/** An object of this class represents a literal (signed symbol) */
public class Literal {

    /** sign of the literal: true = unnegated, false = negated */
    public boolean sign;

    /** index of proposition symbol */
    public int symbol;
}