14 |
this.obs = obs; |
this.obs = obs; |
15 |
} |
} |
16 |
|
|
|
public Graph getObservedGraph(Obs obs) { |
|
|
throw new Error("DoubleObs"); |
|
|
} |
|
|
|
|
17 |
public ConstGraph getObservedConstGraph(Obs obs) { |
public ConstGraph getObservedConstGraph(Obs obs) { |
18 |
throw new Error("DoubleObs"); |
throw new Error("DoubleObs"); |
19 |
} |
} |
20 |
|
|
21 |
public void close() { } |
public void close() { } |
22 |
|
|
23 |
|
public Obs getObserver() { |
24 |
|
return obs; |
25 |
|
} |
26 |
|
|
27 |
|
public ConstGraph getOriginalConstGraph() { |
28 |
|
return constgraph; |
29 |
|
} |
30 |
|
|
31 |
public boolean contains(Object e0, Object e1, Object e2) { |
public boolean contains(Object e0, Object e1, Object e2) { |
32 |
return constgraph.contains(e0, e1, e2, obs); |
return constgraph.contains(e0, e1, e2, obs); |
33 |
} |
} |