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