/*
* Copyright (C) 1999-2004 <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</a>
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
package test.org.mandarax.comparators;
import java.util.Comparator;
import org.mandarax.kernel.ClauseSet;
import org.mandarax.util.comparators.DefaultClauseSetComparator;
import org.mandarax.util.comparators.PreferFactsWithLessVariables;
import org.mandarax.util.comparators.PreferRulesWithLessNegatedPrerequisites;
import org.mandarax.util.comparators.PreferRulesWithLessVariablesInPrerequisites;
import org.mandarax.util.comparators.PreferRulesWithMorePrerequisites;
/**
* Comparator test, see #getComparator for definition of clause order.
* @author <A href="http://www-ist.massey.ac.nz/JBDietrich" target="_top">Jens Dietrich</A>
* @version 3.4 <7 March 05>
* @since 2.2
*/
public class ComparatorTest4 extends ComparatorTest{
/**
* Constructor.
*/
public ComparatorTest4() {
super ();
}
/**
* Get the expected order.
* @return an array of clause sets
*/
protected ClauseSet[] getExpectedOrder() {
// F0 - fact with 0 variables
// F1 - fact with 1 variable
// F2 - fact with 2 variables
// R0 - 1 prerequisite, 4 variables (occurrences), no negated prerequisite
// R1 - 2 prerequisites, 6 variables (occurrences), no negated prerequisite
// R2 - 2 prerequisites, 6 variables (occurrences), 1 prerequisite is negated
return new ClauseSet[] {F0,F1,F2,R0,R1,R2};
}
/**
* Get the input order.
* @return an array of clause sets
*/
protected ClauseSet[] getInputOrder() {
return new ClauseSet[] {F0,R0,F1,R1,F2,R2};
}
/**
* Get the comparator.
* @return a comparator
*/
protected Comparator getComparator() {
DefaultClauseSetComparator comp = new DefaultClauseSetComparator();
comp.setTopLevelOrder(new String[]{comp.FACTS,comp.SQL_CLAUSE_SETS,comp.OTHERS,comp.RULES});
comp.setComparators4Facts(new Comparator[]{new PreferFactsWithLessVariables()});
comp.setComparators4Rules(new Comparator[]{
new PreferRulesWithLessNegatedPrerequisites(),
new PreferRulesWithLessVariablesInPrerequisites(),
new PreferRulesWithMorePrerequisites()});
return comp;
}
}
|