Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

techniques.FOL
Class Literal

java.lang.Object
  |
  +--techniques.FOL.Literal
Direct Known Subclasses:
NegativeLiteral, PositiveLiteral
public abstract class Literal
extends java.lang.Object

Constructor Summary
Literal()
           
 
Method Summary
abstract  boolean isNegative()
           
abstract  boolean isPositive()
           
 Proposition proposition()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Literal

public Literal()
Method Detail

proposition

public Proposition proposition()

isPositive

public abstract boolean isPositive()

isNegative

public abstract boolean isNegative()
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD