OrderPropertiesPackage Member Details

Public Fields

OrderPropertiesPackage Constructors


Public Properties
IsAntisymmetric
Returns True iff the Order in question is Antisymmetric, i.e., if X <= Y and Y <= X, then X = Y, for all X, Y in the domain Category: Behavior
Public Property IsAntisymmetric() As Boolean
Remarks:
IndexParameters:
Return Value:
Boolean
IsReflexive
Returns True iff the Order in question is Reflexive, e.g.., X <= X, for all X in the domain Category: Behavior
Public Property IsReflexive() As Boolean
Remarks:
IndexParameters:
Return Value:
Boolean
IsSymmetric
Returns True iff the Order in question is Symmetric, i.e., X <= Y iff Y <= X, for all X, Y in the domain Category: Behavior
Public Property IsSymmetric() As Boolean
Remarks:
IndexParameters:
Return Value:
Boolean
IsTransitive
Returns True iff the Order in question is Transitive, i.e., if X <= Y and Y <= Z, then X <= Z, for all X, Y, Z in the domain Category: Behavior
Public Property IsTransitive() As Boolean
Remarks:
IndexParameters:
Return Value:
Boolean


OrderPropertiesPackage Public Methods
ToString
Returns a String representation of this OrderPropertiesPackage
Public Overrides Function ToString() As String
Remarks:
Parameters:
Return Value:
String