public bool VisitMutableBox(MutableBoxDatum d)
{
bw.Write(B_MUTABLE_BOX);
IntDatum id = (IntDatum)(mutableBoxMap[d]);
bw.Write((int)id.Value);
return(true);
}
public bool VisitInt(IntDatum d)
{
bw.Write(B_INT);
bw.WriteBigInteger(d.Value);
return(true);
}
public State VisitInt(State state, IntDatum d) => state;
public string VisitInt(IntDatum d)
{
return(d.Value.ToString());
}
public SetDatum VisitInt(IntDatum d) => SetDatum.Empty;
public string VisitInt(IntDatum d)
{
return("i" + d.Value);
}
private bool EqualInt(IntDatum x, IntDatum y)
{
return(x.Value == y.Value);
}
private int CompareInt(IntDatum x, IntDatum y)
{
return(BigInteger.Compare(x.Value, y.Value));
}
