00001 /* oracleDisprover.cc 00002 */ 00003 #include "osl/checkmate/oracleDisprover.h" 00004 #include "osl/checkmate/oracleDisprover.tcc" 00005 #include "osl/checkmate/simpleCheckHashTable.h" 00006 #include "osl/checkmate/dominanceTable.h" 00007 #include "osl/state/hashEffectState.h" 00008 00009 namespace osl 00010 { 00011 namespace checkmate 00012 { 00013 // explicit template instantiation 00014 #ifdef CHECKMATE_TABLE_ALL 00015 template class OracleDisprover<SimpleCheckHashTable>; 00016 #endif 00017 template class OracleDisprover<DominanceTable>; 00018 } 00019 } 00020 00021 /* ------------------------------------------------------------------------- */ 00022 // ;;; Local Variables: 00023 // ;;; mode:c++ 00024 // ;;; c-basic-offset:2 00025 // ;;; End: