Package dbf :: Module ver_32 :: Class Quantum
[hide private]
[frames] | no frames]

Class Quantum

source code

object --+
         |
        Quantum

Logical field return type that implements boolean algebra

Accepts values of True/On, False/Off, or None/Null/Unknown/Other

Instance Methods [hide private]
a new object with type S, a subtype of T
__new__(cls, value=None) source code
 
A(x, y)
OR (disjunction): x | y => True iff at least one of x, y is True
source code
 
_C_material(x, y)
IMP (material implication) x >> y => False iff x == True and y == False
source code
 
_C_material_reversed(y, x)
IMP (material implication) x >> y => False iff x = True and y = False
source code
 
_C_relevant(x, y)
IMP (relevant implication) x >> y => True iff both x, y are True, False iff x == True and y == False, Other if x is False
source code
 
_C_relevant_reversed(y, x)
IMP (relevant implication) x >> y => True iff both x, y are True, False iff x == True and y == False, Other if y is False
source code
 
D(x, y)
NAND (negative AND) x.D(y): False iff x and y are both True
source code
 
E(x, y)
EQV (equivalence) x.E(y): True iff x and y are the same
source code
 
J(x, y)
XOR (parity) x ^ y: True iff only one of x,y is True
source code
 
K(x, y)
AND (conjunction) x & y: True iff both x, y are True
source code
 
N(x)
NEG (negation) -x: True iff x = False
source code
 
__eq__(x, y) source code
 
__hash__(x)
hash(x)
source code
 
__ne__(x, y) source code
 
__bool__(x) source code
 
__repr__(x)
repr(x)
source code
 
__str__(x)
str(x)
source code
 
__add__(x, y)
OR (disjunction): x | y => True iff at least one of x, y is True
source code
 
__and__(x, y)
AND (conjunction) x & y: True iff both x, y are True
source code
 
__mul__(x, y)
AND (conjunction) x & y: True iff both x, y are True
source code
 
__neg__(x)
NEG (negation) -x: True iff x = False
source code
 
__or__(x, y)
OR (disjunction): x | y => True iff at least one of x, y is True
source code
 
__radd__(x, y)
OR (disjunction): x | y => True iff at least one of x, y is True
source code
 
__rand__(x, y)
AND (conjunction) x & y: True iff both x, y are True
source code
 
__rmul__(x, y)
AND (conjunction) x & y: True iff both x, y are True
source code
 
__ror__(x, y)
OR (disjunction): x | y => True iff at least one of x, y is True
source code
 
__rxor__(x, y)
XOR (parity) x ^ y: True iff only one of x,y is True
source code
 
__xor__(x, y)
XOR (parity) x ^ y: True iff only one of x,y is True
source code

Inherited from object: __delattr__, __format__, __getattribute__, __init__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __subclasshook__

Class Methods [hide private]
 
set_implication(cls, method)
sets IMP to material or relevant
source code
Class Variables [hide private]
  __rshift__ = None
hash(x)
  __rrshift__ = None
hash(x)
  true = object.__new__(Quantum)
  false = object.__new__(Quantum)
  unknown = object.__new__(Quantum)
Properties [hide private]

Inherited from object: __class__

Method Details [hide private]

__new__(cls, value=None)

source code 
Returns: a new object with type S, a subtype of T
Overrides: object.__new__
(inherited documentation)

__hash__(x)
(Hashing function)

source code 

hash(x)

Overrides: object.__hash__
(inherited documentation)

__repr__(x)
(Representation operator)

source code 

repr(x)

Overrides: object.__repr__
(inherited documentation)

__str__(x)
(Informal representation operator)

source code 

str(x)

Overrides: object.__str__
(inherited documentation)