ProtoGraphCollection Public Fields

ProtoGraphCollection Public Enumerations

ProtoGraphCollection Constructors

New The plain vanilla Constructor Public Sub New() Remarks: Parameters:

New Instantiates a ProtoGraphCollection from an Array of ProtoGraphs Public Sub New(ByVal EGArray As ProtoGraph[]) Remarks: Parameters: ByVal EGArray As ProtoGraph[]

New Starts a new ProtoGraphCollection with a reference to the RootSA Public Sub New(ByVal Root As SheetOfAssertion) Remarks: Parameters: ByVal Root As SheetOfAssertion

ProtoGraphCollection Public Properties

Inventory Properties and Methods giving an Inventory of the Graph Construction and other useful things Category: Behavior Public Property Inventory() As Inventory Remarks: IndexParameters: Return Value: Inventory

Item Default Property of this Collection; the Graph at a given 0-based position in the Collection Category: Default Public ReadOnly Property Item(ByVal Index As Int32) As ProtoGraph Remarks: IndexParameters: ByVal Index As Int32 Return Value: ProtoGraph

RootSA The Root-most SheetOfAssertion in this Graph-Construction Category: Public Property RootSA() As SheetOfAssertion Remarks: IndexParameters: Return Value: SheetOfAssertion

ProtoGraphCollection Public Methods

Add Adds a ProtoGraph to this ProtoGraphCollection and Returns its Position in the Collection Public Overloads Function Add(ByVal NewEG As ProtoGraph) As Int32 Remarks: Parameters: ByVal NewEG As ProtoGraph Return Value: Int32

AddAt Adds a ProtoGraph to this ProtoGraphCollection at a given position Public Sub AddAt(ByVal Index As Int32, ByVal NewEG As ProtoGraph) Remarks: Parameters: ByVal Index As Int32 ByVal NewEG As ProtoGraph Return Value: Void

AddIfNew Adds a ProtoGraph to this Collection and returns its Index provided it is not already a member; if it is a member, returns its Index Public Overloads Function AddIfNew(ByVal Candidate As ProtoGraph) As Int32 Remarks: Parameters: ByVal Candidate As ProtoGraph Return Value: Int32

AddRange Adds a ProtoGraphCollection to the end of this Collection Public Overloads Sub AddRange(ByVal EGCollection As ProtoGraphCollection) Remarks: Parameters: ByVal EGCollection As ProtoGraphCollection Return Value: Void

AddRange Adds an Array of Protographs to the end of this Collection Public Overloads Sub AddRange(ByVal EGArray As ProtoGraph[]) Remarks: Parameters: ByVal EGArray As ProtoGraph[] Return Value: Void

AddRange Adds all the Immediate SubGraphs of a given ProtoGraph to this Collection (isomorphic to Controls Collectlion) Public Overloads Sub AddRange(ByVal ImmediateSubGraphsOf As ProtoGraph) Remarks: Parameters: ByVal ImmediateSubGraphsOf As ProtoGraph Return Value: Void

CastToPartiallyComparableCollection Returns this Collection cast to Type PartiallyComparableCollection, and all its members to Type IPartiallyComparable Public Function CastToPartiallyComparableCollection() As PartiallyComparableCollection Remarks: Parameters: Return Value: PartiallyComparableCollection

Clone Clones this Collection with the option of making it a Deep Copy Public Function Clone(ByVal Deep As Boolean) As ProtoGraphCollection Remarks: A Deep Copy involves new instances of the Collection Members, as well as of the Collection; THIS IS NOT YET IMPLEMENTED, AND SO A SHALLOW COPY WILL BE RETURNED! Parameters: ByVal Deep As Boolean Return Value: ProtoGraphCollection

Clone Creates a Shallow Copy of this Collection Public Function Clone() As ProtoGraphCollection Remarks: A Shallow Copy involves a new instance of the Collection, but not of its Members Parameters: Return Value: ProtoGraphCollection

Contains Returns True iff a given ProtoGraph belongs to this Collection Public Overloads Function Contains(ByVal EG As ProtoGraph) As Boolean Remarks: Parameters: ByVal EG As ProtoGraph Return Value: Boolean

DoMeets Diagnostic; produces a Debug listing of the Meets of pairs of elements in this ProtoGraphCollection Public Function DoMeets() As Object Remarks: Parameters: Return Value: Object

IndexOf Returns the Index of a given Graph if it is in this Collection; else returns -1 Public Overloads Function IndexOf(ByVal EG As ProtoGraph) As Int32 Remarks: Parameters: ByVal EG As ProtoGraph Return Value: Int32

Infimum Returns the Rootmost element, if it exists, of this ProtoGraphCollection; else, returns Nothing Public Function Infimum() As ProtoGraph Remarks: Parameters: Return Value: ProtoGraph

IsMaximal Returns True iff a given Graph is a Maximal element in this ProtoGraphCollection Public Function IsMaximal(ByVal P As ProtoGraph) As Boolean Remarks: Parameters: ByVal P As ProtoGraph Return Value: Boolean

IsMinimal Returns True iff a given Graph is a Minimal element in this ProtoGraphCollection Public Function IsMinimal(ByVal P As ProtoGraph) As Boolean Remarks: Parameters: ByVal P As ProtoGraph Return Value: Boolean

IsTree Returns True iff this Collection has an Infimum Public Function IsTree() As Boolean Remarks: Parameters: Return Value: Boolean

MaximalElements Returns the ProtoGraphCollection of Maximal Elements of this ProtoGraphCollection Public Function MaximalElements() As ProtoGraphCollection Remarks: Parameters: Return Value: ProtoGraphCollection

MinimalElements Returns the ProtoGraphCollection of Minimal Elements of this ProtoGraphCollection Public Function MinimalElements() As ProtoGraphCollection Remarks: Parameters: Return Value: ProtoGraphCollection

PowerArray Gives the Power Set of this Collection, in the form of an Array of 2^Count Collections, one for each subset of this Collection Public Function PowerArray() As ProtoGraphCollection[] Remarks: Parameters: Return Value: ProtoGraphCollection[]

Remove Removes a given ProtoGraph from this Collection Public Overloads Sub Remove(ByVal Removee As ProtoGraph) Remarks: Parameters: ByVal Removee As ProtoGraph Return Value: Void

ShowLowerBounds Returns a String listing Lower Bounds calculations for the pairs in this ProtoGraphCollection Public Function ShowLowerBounds() As String Remarks: Parameters: Return Value: String

ShowLTERelations Returns a String listing LTE relations for pairs of elements in this ProtoGraphCollection Public Function ShowLTERelations() As String Remarks: Parameters: Return Value: String

ToArray Copies (passes) this Collection to an Array of ProtoGraphs, returns length of Array Public Function ToArray(ByRef EGArray As ProtoGraph[]) As Int32 Remarks: Parameters: ByRef EGArray As ProtoGraph[] Return Value: Int32

ToString Returns a String Representing this Collection Public Overloads Overrides Function ToString() As String Remarks: Parameters: Return Value: String

ToString Returns a String Representing this Collection; has option of printing on Multiple Lines Public Overloads Function ToString(ByVal MultiLine As Boolean) As String Remarks: Parameters: ByVal MultiLine As Boolean Return Value: String

ProtoGraphCollection Public Events