View Javadoc

1   package org.sat4j.pb.tools;
2   
3   public interface INegator {
4   
5   	boolean isNegated(Object thing);
6   
7   	Object unNegate(Object thing);
8   }