Class NullModelChecker

  • All Implemented Interfaces:
    ModelChecker

    public class NullModelChecker
    extends Object
    implements ModelChecker
    This ModelChecker implementation does not perform any checks. The normally used checker is replaced with this one if the checks shall be omitted (for example for performance reasons).
    Author:
    Rene Schneider - initial API and implementation