org.sat4j.pb.tools

Class StringNegator

java.lang.Object

org.sat4j.pb.tools.StringNegator

All Implemented Interfaces:

INegator

public final class StringNegator
extends Object
implements INegator

Field Summary

Fields

Modifier and Type	Field and Description
static INegator	INSTANCE

Method Summary

Methods

Modifier and Type	Method and Description
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