public bool Equals(Transition <A, S> other)
{
return(Origin.Id == other.Origin.Id &&
Target.Id == other.Target.Id &&
SymbolIn.Equals(other.SymbolIn) &&
StackSymbolIn.Equals(other.StackSymbolIn) &&
StackSymbolsWritten.SequenceEqual(other.StackSymbolsWritten));
}
public bool Equals(SDATransition <A, S> other)
{
return(SymbolIn.Equals(other.SymbolIn) &&
StackSymbolIn.Equals(other.StackSymbolIn) &&
StackSymbolsWritten.SequenceEqual(other.StackSymbolsWritten));
}
internal XElement ToXml()
{
return(new XElement("transition", SymbolIn.ToString() + "," + StackSymbolIn.ToString() + "/" + String.Join("", StackSymbolsWritten)));
}
public bool Equals(DeterminisedSDATransition <A, S> other)
{
return(SymbolIn.Equals(other.SymbolIn) &&
StackSymbolIn.Equals(other.StackSymbolIn) &&
StackSymbolsSetWritten.Equals(other.StackSymbolsSetWritten));
}
public bool CanBeEntered(A symbol, S stackSymbol)
{
return(SymbolIn.Equals(symbol) && StackSymbolIn.Equals(stackSymbol));
}