public class NullDynamicsCallback implements IDiscreteDynamicsCallback { static NullDynamicsCallback m_staticInstance=null; public static NullDynamicsCallback getInstance() { if(m_staticInstance == null) { m_staticInstance = new NullDynamicsCallback(); } return m_staticInstance; } public void doCallback(ILogicVarBundle vars, double [] arrLfStateCont) { } }