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);
}
