logic
Class LogicalAnd

java.lang.Object
  logic.Formula
      logic.LogicalAnd

public class LogicalAnd
extends Formula

Logical And

Represents the logical operator AND. Typically returns the intersection of two expressions result.

Copyright(c) 2005 Université Laval, LSFM research group.

Version:

1.0

Author:

Nicolas Richard

Field Summary

static java.lang.String

TYPE Constant representing the logical operator AND

Fields inherited from class logic.Formula

subFormula

Constructor Summary

LogicalAnd(Formula subFormula1, Formula subFormula2)
Default constructor using the base class constructor.

Method Summary

java.lang.String

getType() Returns the constant representing the oprrator AND

Methods inherited from class logic.Formula

depth, equals, getSubFormula, setSubFormula, toString

Methods inherited from class java.lang.Object

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

Field Detail

TYPE

public static final java.lang.String TYPE

Constant representing the logical operator AND

Constructor Detail

LogicalAnd

public LogicalAnd(Formula subFormula1,
                  Formula subFormula2)

Default constructor using the base class constructor.

Parameters:

subFormula1 - the first expression

subFormula2 - the second expression

Method Detail

getType

public java.lang.String getType()

Returns the constant representing the oprrator AND

Specified by:

getType in class Formula

Returns:

a string representing the logical operator AND