    001    /* Copyright 2000, 2001, Compaq Computer Corporation */
    002
    003    package escjava.pa.generic;
    004
    005    import mocha.wrappers.jbdd.*;
    006
    007    /* General prover abstraction.
    008     */
    009    public interface Prover {
    010
    011        public static final int VALID = 0;
    012        public static final int INVALID = 1;
    013        public static final int UNKNOWN = 2;
    014
    015        // Universally conjunctive and universally disjunctive
    016        public boolean check(jbdd b);
    017        public int quickCheck(jbdd b);
    018
    019        public String printClause(jbdd b);
    020
    021        public String report(); // Reports num queries, etc
    022    }