Package adalid.core.expressions

Class XB.BooleanExpressionBuilder.OrderedPair

java.lang.Object

adalid.core.expressions.XB.BooleanExpressionBuilder.OrderedPair

Enclosing class:

XB.BooleanExpressionBuilder

public class XB.BooleanExpressionBuilder.OrderedPair
extends Object

Constructor Summary

Constructors

Constructor	Description
OrderedPair()

Method Summary

Modifier and Type	Method	Description
BooleanOrderedPairX	and(BooleanExpression x, BooleanExpression y)
BooleanOrderedPairX	nand(BooleanExpression x, BooleanExpression y)
BooleanOrderedPairX	nor(BooleanExpression x, BooleanExpression y)
BooleanOrderedPairX	or(BooleanExpression x, BooleanExpression y)
BooleanOrderedPairX	xImpliesY(BooleanExpression x, BooleanExpression y)
BooleanOrderedPairX	xnor(BooleanExpression x, BooleanExpression y)
BooleanOrderedPairX	xor(BooleanExpression x, BooleanExpression y)

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderedPair

public OrderedPair()

Method Detail

and

public BooleanOrderedPairX and(BooleanExpression x,
                               BooleanExpression y)

nand

public BooleanOrderedPairX nand(BooleanExpression x,
                                BooleanExpression y)

or

public BooleanOrderedPairX or(BooleanExpression x,
                              BooleanExpression y)

nor

public BooleanOrderedPairX nor(BooleanExpression x,
                               BooleanExpression y)

xor

public BooleanOrderedPairX xor(BooleanExpression x,
                               BooleanExpression y)

xnor

public BooleanOrderedPairX xnor(BooleanExpression x,
                                BooleanExpression y)

xImpliesY

public BooleanOrderedPairX xImpliesY(BooleanExpression x,
                                     BooleanExpression y)