projects
/
IRC.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
changes: now Inference engine works fine with the EyeTracking benchmark.
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
BinaryRelation.java
1
package Analysis.SSJava;
2
3
public class BinaryRelation{
4
//suchthat lower<higher
5
VarID higher;
6
VarID lower;
7
8
public BinaryRelation(VarID h, VarID l){
9
higher = h;
10
lower = l;
11
}
12
13
public String toString(){
14
return lower.toString()+ "<" + higher.toString();
15
}
16
}