edu.ucsb.ccs.jaqual
Class Logical

java.lang.Object
  |
  +--edu.ucsb.ccs.jaqual.Logical

public class Logical

extends java.lang.Object

This class defines some useful logic operators.

Version:

$Id: Logical.java,v 1.1 2002/05/03 05:36:55 parkera Exp $

Author:

Parker Abercrombie

Constructor Summary

Logical()

Method Summary

static boolean

implies(boolean op1, boolean op2) Implication operator.

Methods inherited from class java.lang.Object

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

Constructor Detail

Logical

public Logical()

Method Detail

implies

public static boolean implies(boolean op1,
                              boolean op2)

Implication operator. +-----------------------------+ | op1 | op2 | op1 implies op2 | |-----+-----+-----------------| | 1 | 1 | 1 | | 1 | 0 | 0 | | 0 | 1 | 1 | | 0 | 0 | 1 | +-----------------------------+ a implies b => !a || b

Parameters:

op1 - the first operand.

op2 - the second operand.

Returns:

the result of !op1 || op2.