Identities Members

Identities Overview



Constructors

New(SheetOfAssertion) Constructor Specifying Root Sheet of Assertion; sets Inventoy

Public Properties

I Inventory of this Graph-Construction
RootSA Root Graph of this Construction

Public Methods

ITSA (ProtoGraph, ProtoGraph) Compares two ProtoGraphs, which may be Beta or Alpha
ITSA (ConjunctiveEG, ConjunctiveEG, Ligature, Ligature) Compares two ConjunctiveEGs for Logical Identity with respect to a given Ligature in each
ITSA (Cut, Cut, Ligature, Ligature) Compares two Cuts for Logical Identity with respect to a given Ligature in each
ITSA (ProtoGraph, ProtoGraph, Ligature, Ligature) Compares two Graphs for Logical Identity with respect to a given Ligature in each
ITSA (Dot, Dot, Ligature, Ligature) Compares two Dots for Logical Identity with respect to a given Ligature in each
ITSA (Spot, Spot, Ligature, Ligature) Compares two Spots for Logical Identity with respect to a given Ligature in each
ITSA (ProtoGraphCollection, ProtoGraphCollection, Ligature, Ligature) 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
ITSAAlpha (ProtoGraphCollection, ProtoGraphCollection, Ligature, Ligature) 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
ITSAAlpha (Cut, Cut, Ligature, Ligature) Compares two Cuts; Beta-specific elements are ignored
ITSAAlpha (Spot, Spot, Ligature, Ligature) Alpha Compare of two Spots, considering, however, # of Hooks
ITSAAlpha (ConjunctiveEG, ConjunctiveEG, Ligature, Ligature) Compares two ConjunctiveEGs; Beta-specific elements are ignored
ITSAAlpha (ProtoGraph, ProtoGraph, Ligature, Ligature) Compares two ProtoGraphs (NOS) for Logical Sameness; Beta-specific elements are ignored
ITSAAlpha (Dot, Dot, Ligature, Ligature) A preliminary compare of Dots, so only quasi-Alpha
ITSALigatures This Compares the portions of given Ligatures Located in given Graphs
LigScopesWork Checks Scopes of Remaining and Deiterated Ligatures for appropriateness in their respective Graphs at START of Beta Deitieration
PathRelative Returns the portion of Tip.Path beginning with Root up to Tip; returns empty String iff Not LTE(Root, Tip)
ShowITSAMapsFor Code in this function may be activated to help Debug ITSA Functions