Identities Public Fields

Identities Public Enumerations

Identities Constructors

New Constructor Specifying Root Sheet of Assertion; sets Inventoy Public Sub New(ByVal Root As SheetOfAssertion) Remarks: Parameters: ByVal Root As SheetOfAssertion

Identities Public Properties

I Inventory of this Graph-Construction Category: Behavior Public ReadOnly Property I() As Inventory Remarks: IndexParameters: Return Value: Inventory

RootSA Root Graph of this Construction Category: Behavior Public ReadOnly Property RootSA() As SheetOfAssertion Remarks: IndexParameters: Return Value: SheetOfAssertion

Identities Public Methods

ITSA Compares two ProtoGraphs, which may be Beta or Alpha Public Shared Function ITSA(ByVal RemainingGraph As ProtoGraph, ByVal DeitGraph As ProtoGraph) As Boolean Remarks: Parameters: ByVal RemainingGraph As ProtoGraph ByVal DeitGraph As ProtoGraph Return Value: Boolean

ITSA Compares two ConjunctiveEGs for Logical Identity with respect to a given Ligature in each Public Shared Function ITSA(ByVal RemainingKEG As ConjunctiveEG, ByVal DeitKEG As ConjunctiveEG, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingKEG As ConjunctiveEG ByVal DeitKEG As ConjunctiveEG ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

ITSA Compares two Cuts for Logical Identity with respect to a given Ligature in each Public Shared Function ITSA(ByVal RemainingCut As Cut, ByVal DeitCut As Cut, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingCut As Cut ByVal DeitCut As Cut ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

ITSA Compares two Graphs for Logical Identity with respect to a given Ligature in each Public Shared Function ITSA(ByVal RemainingGraph As ProtoGraph, ByVal DeitGraph As ProtoGraph, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingGraph As ProtoGraph ByVal DeitGraph As ProtoGraph ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

ITSA Compares two Dots for Logical Identity with respect to a given Ligature in each Public Shared Function ITSA(ByVal RemainingDot As Dot, ByVal DeitDot As Dot, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingDot As Dot ByVal DeitDot As Dot ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

ITSA Compares two Spots for Logical Identity with respect to a given Ligature in each Public Shared Function ITSA(ByVal RemainingSpot As Spot, ByVal DeitSpot As Spot, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingSpot As Spot ByVal DeitSpot As Spot ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

ITSA Compares two Collections of Beta Graphs as unordered sets, and returns True iff each member of the first has a unique ITSA match in the second Public Shared Function ITSA(ByVal RemainingGraphs As ProtoGraphCollection, ByVal DeitGraphs As ProtoGraphCollection, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingGraphs As ProtoGraphCollection ByVal DeitGraphs As ProtoGraphCollection ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

ITSAAlpha Compares two Collections of Protographs as unordered sets; they are the same provided each Graph in the first has a unique ITSA in the other; Beta-specific elements are ignored Public Shared Function ITSAAlpha(ByVal colP As ProtoGraphCollection, ByVal colQ As ProtoGraphCollection, Optional ByVal RemainingLig As Ligature=Nothing, Optional ByVal DeitLig As Ligature=Nothing) As Boolean Remarks: Parameters: ByVal colP As ProtoGraphCollection ByVal colQ As ProtoGraphCollection Optional ByVal RemainingLig As Ligature =Nothing Optional ByVal DeitLig As Ligature =Nothing Return Value: Boolean

ITSAAlpha Compares two Cuts; Beta-specific elements are ignored Public Shared Function ITSAAlpha(ByVal C1 As Cut, ByVal C2 As Cut, Optional ByVal RemainingLig As Ligature=Nothing, Optional ByVal DeitLig As Ligature=Nothing) As Boolean Remarks: Parameters: ByVal C1 As Cut ByVal C2 As Cut Optional ByVal RemainingLig As Ligature =Nothing Optional ByVal DeitLig As Ligature =Nothing Return Value: Boolean

ITSAAlpha Alpha Compare of two Spots, considering, however, # of Hooks Public Shared Function ITSAAlpha(ByVal Spot1 As Spot, ByVal Spot2 As Spot, Optional ByVal RemainingLig As Ligature=Nothing, Optional ByVal DeitLig As Ligature=Nothing) As Boolean Remarks: Parameters: ByVal Spot1 As Spot ByVal Spot2 As Spot Optional ByVal RemainingLig As Ligature =Nothing Optional ByVal DeitLig As Ligature =Nothing Return Value: Boolean

ITSAAlpha Compares two ConjunctiveEGs; Beta-specific elements are ignored Public Shared Function ITSAAlpha(ByVal K1 As ConjunctiveEG, ByVal K2 As ConjunctiveEG, Optional ByVal RemainingLig As Ligature=Nothing, Optional ByVal DeitLig As Ligature=Nothing) As Boolean Remarks: Parameters: ByVal K1 As ConjunctiveEG ByVal K2 As ConjunctiveEG Optional ByVal RemainingLig As Ligature =Nothing Optional ByVal DeitLig As Ligature =Nothing Return Value: Boolean

ITSAAlpha Compares two ProtoGraphs (NOS) for Logical Sameness; Beta-specific elements are ignored Public Shared Function ITSAAlpha(ByVal P As ProtoGraph, ByVal Q As ProtoGraph, Optional ByVal RemainingLig As Ligature=Nothing, Optional ByVal DeitLig As Ligature=Nothing) As Boolean Remarks: Parameters: ByVal P As ProtoGraph ByVal Q As ProtoGraph Optional ByVal RemainingLig As Ligature =Nothing Optional ByVal DeitLig As Ligature =Nothing Return Value: Boolean

ITSAAlpha A preliminary compare of Dots, so only quasi-Alpha Public Shared Function ITSAAlpha(ByVal D1 As Dot, ByVal D2 As Dot, Optional ByVal RemainingLig As Ligature=Nothing, Optional ByVal DeitLig As Ligature=Nothing) As Boolean Remarks: Parameters: ByVal D1 As Dot ByVal D2 As Dot Optional ByVal RemainingLig As Ligature =Nothing Optional ByVal DeitLig As Ligature =Nothing Return Value: Boolean

ITSALigatures This Compares the portions of given Ligatures Located in given Graphs Public Shared Function ITSALigatures(ByVal RemainingLig As Ligature, ByVal DeitLig As Ligature, ByVal RemainingGraph As ProtoGraph, ByVal DeitGraph As ProtoGraph) As Boolean Remarks: Parameters: ByVal RemainingLig As Ligature ByVal DeitLig As Ligature ByVal RemainingGraph As ProtoGraph ByVal DeitGraph As ProtoGraph Return Value: Boolean

LigScopesWork Checks Scopes of Remaining and Deiterated Ligatures for appropriateness in their respective Graphs at START of Beta Deitieration Public Shared Function LigScopesWork(ByVal RemainingGraph As ProtoGraph, ByVal DeitGraph As ProtoGraph, ByVal RemainingLigature As Ligature, ByVal DeitLigature As Ligature) As Boolean Remarks: Parameters: ByVal RemainingGraph As ProtoGraph ByVal DeitGraph As ProtoGraph ByVal RemainingLigature As Ligature ByVal DeitLigature As Ligature Return Value: Boolean

PathRelative Returns the portion of Tip.Path beginning with Root up to Tip; returns empty String iff Not LTE(Root, Tip) Public Shared Function PathRelative(ByVal Root As ProtoGraph, ByVal Tip As ProtoGraph) As String Remarks: Parameters: ByVal Root As ProtoGraph ByVal Tip As ProtoGraph Return Value: String

ShowITSAMapsFor Code in this function may be activated to help Debug ITSA Functions Public Shared Function ShowITSAMapsFor(ByVal P As ProtoGraph, ByVal Q As ProtoGraph) As String Remarks: Parameters: ByVal P As ProtoGraph ByVal Q As ProtoGraph Return Value: String

Identities Public Events