public interface ClingoResultHandler
void
handle(ClingoResult r)
void handle(ClingoResult r)
Copyright © 2012-2017. All Rights Reserved.