techniques.FOL
Class NegativeLiteral

java.lang.Object
  |
  +--techniques.FOL.Literal
        |
        +--techniques.FOL.NegativeLiteral

public class NegativeLiteral

extends Literal

Constructor Summary

NegativeLiteral(Proposition p)

 

Method Summary
boolean	isNegative()
boolean	isPositive()
java.lang.String	toString()

 

Methods inherited from class techniques.FOL.Literal

proposition

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

NegativeLiteral

public NegativeLiteral(Proposition p)

isPositive

public boolean isPositive()

Overrides:

isPositive in class Literal

isNegative

public boolean isNegative()

Overrides:

isNegative in class Literal

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object