Quantifiers use relations!!!
[repair.git] / Repair / RepairCompiler / MCC / IR / LiteralExpr.java
1 package MCC.IR;
2
3 import java.util.*;
4
5 public abstract class LiteralExpr extends Expr {
6
7     public Set getRequiredDescriptors() {
8         return new HashSet();
9     }
10
11     public Set getInversedRelations() {
12         return new HashSet();
13     }
14
15     public boolean isInvariant(Set vars) {
16         return true;
17     }
18
19     public Set findInvariants(Set vars) {
20         return new HashSet(); /* We won't lift literals...gcc can do this */
21     }
22 }