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    }