|
|||||||||||||||||||
Source file | Conditionals | Statements | Methods | TOTAL | |||||||||||||||
EqualFormula.java | - | 0% | 0% | 0% |
|
1 | /* | |
2 | * Created on 11.02.2005 | |
3 | * | |
4 | * To change the template for this generated file go to | |
5 | * Window>Preferences>Java>Code Generation>Code and Comments | |
6 | */ | |
7 | package org.qedeq.kernel.bo.logic; | |
8 | ||
9 | import org.qedeq.kernel.base.list.Element; | |
10 | ||
11 | ||
12 | /** | |
13 | * Encapsulates a logical formula. | |
14 | * TODO mime 20050205: what for is this anyway??? | |
15 | * | |
16 | * @version $Revision: 1.3 $ | |
17 | * @author Michael Meyling | |
18 | */ | |
19 | final class EqualFormula { | |
20 | ||
21 | /** Element that defines the logical content. */ | |
22 | private final Element formula; | |
23 | ||
24 | ||
25 | /** | |
26 | * Constructor. | |
27 | * | |
28 | * @param formula Element that defines the logical content. | |
29 | */ | |
30 | 0 | EqualFormula(final Element formula) { |
31 | 0 | this.formula = formula; |
32 | } | |
33 | ||
34 | 0 | public String toString() { |
35 | 0 | return formula.toString(); |
36 | } | |
37 | ||
38 | } |
|