org.sat4j.pb.tools
Class StringNegator

java.lang.Object
  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