protected override bool EqualBody(Cell other)
{
var state = (StatePCPseudoCell)other;
return(StateId.Equals(state.StateId));
}
public bool Equals(Variable other)
{
return(Id.Equals(other.Id) && ArgLocal == other.ArgLocal && IsInit == other.IsInit && IsReadOnly == other.IsReadOnly && Type.Equals(other.Type));
}
protected override bool EqualBody(Cell other)
{
var temp = (VariableCell)other;
return(Id.Equals(temp.Id));
}
