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(int symbol, boolean sign)
constructor for creating a literal with the given sign and symbol index

Method Summary

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(int symbol,
               boolean sign)

constructor for creating a literal with the given sign and symbol index