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)


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.