Class Literal

java.lang.Object
  extended byLiteral

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()