org.deri.iris.evaluation.wellfounded

Classes  ProgramDoubler WellFoundedEvaluationStrategy WellFoundedEvaluationStrategyFactory