org.sat4j.pb.tools
Class StringNegator

java.lang.Object
  extended by org.sat4j.pb.tools.StringNegator
All Implemented Interfaces:
INegator

public class StringNegator
extends Object
implements INegator


Field Summary
static INegator instance
           
 
Method Summary
 boolean isNegated(Object thing)
           
 Object unNegate(Object thing)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

instance

public static final INegator instance
Method Detail

isNegated

public boolean isNegated(Object thing)
Specified by:
isNegated in interface INegator

unNegate

public Object unNegate(Object thing)
Specified by:
unNegate in interface INegator


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