Class Literal

java.lang.Object
  Literal

public class Literal

extends java.lang.Object

An object of this class represents a literal (signed symbol)

Field Summary

boolean	sign sign of the literal: true = unnegated, false = negated
int	symbol index of proposition symbol

Constructor Summary

Literal()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sign

public boolean sign

sign of the literal: true = unnegated, false = negated

symbol

public int symbol

index of proposition symbol

Constructor Detail

Literal

public Literal()