ptp/pandamonium-theorem-prover/persistence/src/main/java/dao/BaseDao.java

package dao;

class BaseDao {

    <T> void save(final T t) {
        //TODO insert DB calls here for insert and update
    }

    <T> void delete(final T t) {
        //TODO insert DB calls here to delete
    }
}