org.sat4j.pb.tools

Interface INegator

All Known Implementing Classes:

StringNegator

public interface INegator

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isNegated(Object thing)
Object	unNegate(Object thing)

Method Detail

isNegated

boolean isNegated(Object thing)

unNegate

Object unNegate(Object thing)