abstract class Resolver {
 void notifyCollisionParticleSegment(Particles psA, int iA, Segment s, double tcoll);
 void notifyCollisionParticleParticle(Particles psA, int iA, Particles psB, int iB, double tcoll);
}