com.declarativa.interprolog

Interface LPSEngine.CycleHandler

Enclosing class:

LPSEngine

public static interface LPSEngine.CycleHandler

Method Summary

Modifier and Type	Method and Description
String	handleCycle(int T, TermModel[] fluents, TermModel[] actions) Notification that LPS is starting a cycle, reporting the current state and last actions, and returning input events for LPS to continue.

Method Detail

handleCycle

String handleCycle(int T,
                   TermModel[] fluents,
                   TermModel[] actions)

Notification that LPS is starting a cycle, reporting the current state and last actions, and returning input events for LPS to continue. LPS execution hangs during the execution of this method. Fluents and actions reported are those specified via LPSEngine.go(String, String, String)

Parameters:

T - the cycle about to start

fluents -

actions -

Returns:

a well-formed Prolog list, e.g. "[]" or "[time_to_eat(philosopher(0)),time_to_eat(philosopher(1))]"; or null to stop the LPS computation