vishnu.model.algebra.normalform
Class LogicalOperations

java.lang.Object
  extended by vishnu.model.algebra.normalform.LogicalOperations

public class LogicalOperations
extends java.lang.Object

Author:
Mariano Tepper
 

Constructor Summary
LogicalOperations()
           
 
Method Summary
static SQLOperand absorption(SQLOperand o)
           
static SQLOperand association(SQLOperand o)
           
static SQLOperand complementation(SQLOperand o)
           
static SQLOperand conmutation(SQLOperand o)
           
static SQLOperand distribution(SQLOperand o)
           
static SQLOperand doubleNegation(SQLOperand o)
           
static SQLOperand idempotency(SQLOperand o)
           
static SQLOperand identity(SQLOperand o)
           
static SQLOperand morgan(SQLOperand o)
           
static SQLOperand zero(SQLOperand o)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LogicalOperations

public LogicalOperations()
Method Detail

morgan

public static SQLOperand morgan(SQLOperand o)

doubleNegation

public static SQLOperand doubleNegation(SQLOperand o)

distribution

public static SQLOperand distribution(SQLOperand o)

conmutation

public static SQLOperand conmutation(SQLOperand o)

association

public static SQLOperand association(SQLOperand o)

complementation

public static SQLOperand complementation(SQLOperand o)

zero

public static SQLOperand zero(SQLOperand o)

identity

public static SQLOperand identity(SQLOperand o)

idempotency

public static SQLOperand idempotency(SQLOperand o)

absorption

public static SQLOperand absorption(SQLOperand o)