ConjunctiveEGCollection Members

ConjunctiveEGCollection Overview

Constructors New(ConjunctiveEG[]) Starts a new ConjunctiveEGCollection with an Array of ConjunctiveEGs New(ConjunctiveEG) Starts a new ConjunctiveEGCollection with its first element New() Almost plain vanilla constructor New(SheetOfAssertion) Starts a new ConjunctiveEGCollection with a reference to the RootSA

Public Properties Item Default Property of this Collection

Public Methods Add (ContainerGraph) Adds a ContainerGraph to this ContainerGraphCollection and Returns its Position in the Collection Add (ConjunctiveEG) Adds a ConjunctiveEG to this ConjunctiveEGCollection and Returns its Position in the Collection Clone Creates a Shallow Copy of this Collection ToArray Converts this Collection to an Array of ConjunctiveEGs