01: /*
02: * Copyright 2007 Bastian Schenke Licensed under the Apache License, Version 2.0 (the "License");
03: * you may not use this file except in compliance with the License.
04: * You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0
05: * Unless required by applicable law or agreed to in writing, software distributed under the
06: * License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
07: * either express or implied. See the License for the specific language governing permissions
08: * and limitations under the License.
09: */
10: package nz.org.take.r2ml;
11:
12: import de.tu_cottbus.r2ml.Condition;
13:
14: /**
15: * @author Bastian Schenke (bastian.schenke@googlemail.com)
16: *
17: */
18: public interface Normalizer {
19:
20: /**
21: * Calculate the Disjunctive Normal Form of a quantifier free formula.
22: *
23: * @param condition a formula
24: * @return a normalized formula in DNF
25: * @throws R2MLException if the normalization has failed
26: */
27: public Condition normalize(Condition condition)
28: throws R2MLException;
29:
30: }
|