Class DefaultModelChecker

  • All Implemented Interfaces:
    ModelChecker

    public class DefaultModelChecker
    extends Object
    implements ModelChecker
    Default implementation of a ModelChecker.
    Author:
    Rene Schneider - initial API and implementation