use of com.dat3m.dartagnan.solver.caat.misc.EdgeDirection in project Dat3M by hernanponcedeleon.
the class LocationGraph method edgeStream.
@Override
public Stream<Edge> edgeStream(int id, EdgeDirection dir) {
EventData e = getEvent(id);
if (!e.isMemoryEvent()) {
return Stream.empty();
}
Function<EventData, Edge> edgeMapping = dir == EdgeDirection.OUTGOING ? (x -> new Edge(id, x.getId())) : (x -> new Edge(x.getId(), id));
return addrEventsMap.get(e.getAccessedAddress()).stream().map(edgeMapping);
}
Aggregations