public interface ClingoResultHandler
void
handle(ClingoResult r)
void handle(ClingoResult r)
Copyright © 2012–2020. All rights reserved.