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 }