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

org.sat4j.pb.tools
Interface INegator

All Known Implementing Classes:
StringNegator
public interface INegator

Method Summary
 boolean isNegated(Object thing)
           
 Object unNegate(Object thing)
           
 

Method Detail

isNegated

boolean isNegated(Object thing)

unNegate

Object unNegate(Object thing)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.