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: //
09: //
10: //
11:
12: package de.uka.ilkd.key.counterexample;
13:
14: public class Clause {
15: private String comment;
16: private String antecedent;
17: private String consequent;
18:
19: public Clause() {
20: }
21:
22: public Clause(String ante, String cnsq) {
23: antecedent = ante;
24: consequent = cnsq;
25: }
26:
27: public Clause(String ante, String cnsq, String com) {
28: antecedent = ante;
29: consequent = cnsq;
30: comment = "% " + com + "\n\n";
31: }
32:
33: public String toString() {
34: return comment + antecedent + "->" + consequent + ".\n";
35: }
36:
37: public void setComment(String com) {
38: comment = "% " + com + "\n\n";
39: }
40:
41: public void setAntecedent(String ante) {
42: antecedent = ante;
43: }
44:
45: public void setConsequent(String cnsq) {
46: consequent = cnsq;
47: }
48:
49: public String getClause() {
50: return antecedent + "->" + consequent + ".\n";
51: }
52: }
|