techniques.FOL
Class PositiveLiteral

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

public class PositiveLiteral
extends Literal


Constructor Summary
PositiveLiteral(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

PositiveLiteral

public PositiveLiteral(Proposition p)
Method Detail

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