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

org.openqed.struct.formula
Interface UnaryFormula

All Known Implementing Classes:
Literal, NegationFormula
public interface UnaryFormula

Method Summary
 UnaryOperator getOperator()
           
 FofFormula getSubFormula()
           
 boolean isIdentity()
           
 boolean isNegation()
           
 

Method Detail

getOperator

UnaryOperator getOperator()

getSubFormula

FofFormula getSubFormula()

isNegation

boolean isNegation()

isIdentity

boolean isIdentity()
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD