: Public <<enumeration>> Enumeration
Created: 4/10/2008 12:15:53 PM
Modified: 4/10/2008 12:15:53 PM
Project:
Advanced:
Most valuable in the predicate calculus, where items are either True or False, unless they are ill formed.
Operation
Public
=( b: Boolean,
):Boolean
Details:
sequential
Public
and( b: Boolean,
):Boolean
Details:
sequential
Public
implies( b: Boolean,
):Boolean
Details:
sequential
Public
not():Boolean
Details:
sequential
Public
or( b: Boolean,
):Boolean
Details:
sequential
Public
xor( b: Boolean,
):Boolean
Details:
sequential
Element Source Role Target Role
«FeatureType» OM_TruthObservation
Class   		Name: result
  		Name:  
 
Details:
 
Tag Value
persistence persistent
Details:
 
Object Type Connection Notes
«FeatureType» OM_TruthObservation Class Strong  
«Type» DiscreteTruth Class Realization