Package: jcsp.plugNplay.ints

[Java] Class Delta2Int