Closed dickensc closed 3 years ago
This is a part of the changes made in the larger onlinePSL project.
This class will be used by both the online grounding iterator and the lazy atom manager.
lgtm!
This is a part of the changes made in the larger onlinePSL project.
This class will be used by both the online grounding iterator and the lazy atom manager.