01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: package de.uka.ilkd.key.proof.init;
09:
10: import de.uka.ilkd.key.strategy.FOLStrategy;
11: import de.uka.ilkd.key.strategy.SetOfStrategyFactory;
12: import de.uka.ilkd.key.strategy.StrategyFactory;
13:
14: public class PureFOLProfile extends AbstractProfile {
15:
16: private final static StrategyFactory DEFAULT = new FOLStrategy.Factory();
17:
18: public PureFOLProfile() {
19: super ("standardRules-FOL.key");
20: }
21:
22: public String name() {
23: return "Pure FOL Profile";
24: }
25:
26: protected SetOfStrategyFactory getStrategyFactories() {
27: return super .getStrategyFactories().add(DEFAULT);
28: }
29:
30: public StrategyFactory getDefaultStrategyFactory() {
31: return DEFAULT;
32: }
33: }
|