Package | Description |
---|---|
org.processmining.servicelevelagreements.models.eventcalculus |
Modifier and Type | Method and Description |
---|---|
java.util.List<Solution> |
IEngine.solve(java.lang.String query)
Solves a given query and returns a list of solutions.
|
java.util.List<Solution> |
SWIPrologEngine.solve(java.lang.String query) |
java.util.List<Solution> |
TuPrologEngine.solve(java.lang.String query) |