All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class tadt.standard.ExtendedBoolean 

java.lang.Object
   |
   +----tadt.standard.ExtendedBoolean
public class ExtendedBoolean
extends Object
This class implements the standard boolean operations on a Two-Valued Logic.

Constructor Index

o ExtendedBoolean(boolean)
Build an ExtendedBoolean from a boolean value.
o ExtendedBoolean(boolean, boolean)
Build an ExtendedBoolean from two boolean values.

Method Index

o and(ExtendedBoolean)
And this one with another.
o not(ExtendedBoolean)
Not.
o or(ExtendedBoolean)
Or this one with another.
o satisfied()
Satisfied?
o unsatisfied()
Unsatisfied?

Constructors

o ExtendedBoolean 
  public ExtendedBoolean(boolean satisfied)
Build an ExtendedBoolean from a boolean value.

Parameters:
satisfied - - truth condition of the true part
o ExtendedBoolean 
  public ExtendedBoolean(boolean satisfied,
                         boolean unsatisfied)
Build an ExtendedBoolean from two boolean values. Not implemented for a two-valued logic.

Parameters:
satisfied - - truth condition of the true part
unsatisfied - - truth condition of the false part

Methods

o and 
  public ExtendedBoolean and(ExtendedBoolean other)
And this one with another.

Parameters:
other - - the other one
Returns:
this && other
o or 
  public ExtendedBoolean or(ExtendedBoolean other)
Or this one with another.

Parameters:
other - - the other one
Returns:
this || other
o not 
  public ExtendedBoolean not(ExtendedBoolean other)
Not.

Returns:
!this
o satisfied 
  public boolean satisfied()
Satisfied?

Returns:
true if truth condition is represented
o unsatisfied 
  public boolean unsatisfied()
Unsatisfied?

Returns:
true if false condition is represented 
All Packages  Class Hierarchy  This Package  Previous  Next  Index