public DTDSequenceAutomata Sequence (DTDAutomata left, DTDAutomata right) { Hashtable rightPool = sequenceTable [left] as Hashtable; if (rightPool == null) { rightPool = new Hashtable (); sequenceTable [left] = rightPool; } DTDSequenceAutomata result = rightPool [right] as DTDSequenceAutomata; if (result == null) { result = new DTDSequenceAutomata (root, left, right); rightPool [right] = result; } return result; }
public DTDSequenceAutomata Sequence(DTDAutomata left, DTDAutomata right) { Hashtable rightPool = sequenceTable [left] as Hashtable; if (rightPool == null) { rightPool = new Hashtable(); sequenceTable [left] = rightPool; } DTDSequenceAutomata result = rightPool [right] as DTDSequenceAutomata; if (result == null) { result = new DTDSequenceAutomata(root, left, right); rightPool [right] = result; } return(result); }
public DTDSequenceAutomata Sequence(DTDAutomata left, DTDAutomata right) { Hashtable hashtable = this.sequenceTable[left] as Hashtable; if (hashtable == null) { hashtable = new Hashtable(); this.sequenceTable[left] = hashtable; } DTDSequenceAutomata dtdsequenceAutomata = hashtable[right] as DTDSequenceAutomata; if (dtdsequenceAutomata == null) { dtdsequenceAutomata = new DTDSequenceAutomata(this.root, left, right); hashtable[right] = dtdsequenceAutomata; } return(dtdsequenceAutomata); }