org.sat4j.pb.tools
Interface INegator<T>

All Known Implementing Classes:
StringNegator

public interface INegator<T>


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

Method Detail

isNegated

boolean isNegated(T thing)

unNegate

T unNegate(T thing)


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