<<enumeration>> Logical {Analysis}

Documentation
Handy for a weak sort of 3 valued logic, where truth or falsity is not attributable to all well-formed statements.

Parent PackageTruthAbstractNo
Export ControlPublicAccessLink Class forNone
Class KindNormalClassCardinalityn
Space ConcurrencySequential
PersistenceYes  


Operations
NameSignatureClass
=Logical = (Logical b)Logical
orLogical or (Logical b)Logical
xorLogical xor (Logical b)Logical
andLogical and (Logical b)Logical
impliesLogical implies (Logical b)Logical
notLogical not ()Logical


Attributes
NameClassTypeInitial Value
TRUELogical 1
FALSELogical 0
MAYBELogical 0.5


Realize Relationships
NameClassSupplier
--Not Named--LogicalDiscreteTruth