1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
package dk.aau.cs.TCTL;
import dk.aau.cs.TCTL.visitors.ITCTLVisitor;
public class TCTLFalseNode extends TCTLAbstractStateProperty {
public TCTLAbstractStateProperty copy() {
return new TCTLFalseNode();
}
public TCTLAbstractStateProperty replace(TCTLAbstractProperty object1, TCTLAbstractProperty object2) {
if (this == object1 && object2 instanceof TCTLAbstractStateProperty) {
TCTLAbstractStateProperty obj2 = (TCTLAbstractStateProperty) object2;
obj2.setParent(parent);
return obj2;
} else {
return this;
}
}
@Override
public void accept(ITCTLVisitor visitor, Object context) {
visitor.visit(this, context);
}
public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
return false;
}
public boolean containsAtomicPropositionWithSpecificTransitionInTemplate(String templateName, String transitionName) {
return false;
}
public boolean containsPlaceHolder() {
return false;
}
@Override
public boolean hasNestedPathQuantifiers() {
return false;
}
public TCTLAbstractProperty findFirstPlaceHolder() {
return null;
}
public boolean equals(Object obj) {
if (obj instanceof TCTLFalseNode) {
return true;
}
return false;
}
public String toString() {
return "false";
}
public boolean isSimple() {
return true;
}
}
|