com.redhat.lightblue.assoc.qrew.rules

Class EliminateNOT

java.lang.Object

com.redhat.lightblue.assoc.qrew.Rewriter

com.redhat.lightblue.assoc.qrew.rules.EliminateNOT

public class EliminateNOT
extends Rewriter

If

   q={$not:{w}}
 

and w can be negatable, then this rewrites q as

   q=negation of w
 

Field Summary

Fields

Modifier and Type	Field and Description
static Rewriter	INSTANCE

Constructor Summary

Constructors

Constructor and Description
EliminateNOT()

Method Summary

Modifier and Type	Method and Description
QueryExpression	rewrite(QueryExpression q)

Methods inherited from class com.redhat.lightblue.assoc.qrew.Rewriter

dyncast

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final Rewriter INSTANCE

Constructor Detail

EliminateNOT

public EliminateNOT()

Method Detail

rewrite

public QueryExpression rewrite(QueryExpression q)

Specified by:

rewrite in class Rewriter