org.sat4j.pb.tools
Class StringNegator

java.lang.Object
  org.sat4j.pb.tools.StringNegator

All Implemented Interfaces:

INegator<java.lang.String>

public class StringNegator
extends java.lang.Object
implements INegator<java.lang.String>

Field Summary

static INegator<java.lang.String>

instance

Method Summary

boolean	isNegated(java.lang.String thing)
java.lang.String	unNegate(java.lang.String 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<java.lang.String> instance

Method Detail

isNegated

public boolean isNegated(java.lang.String thing)

Specified by:

isNegated in interface INegator<java.lang.String>

unNegate

public java.lang.String unNegate(java.lang.String thing)

Specified by:

unNegate in interface INegator<java.lang.String>