| java.lang.Object
 de.uka.ilkd.key.gui.assistant.ProofAssistantAI
| ProofAssistantAI | | public class ProofAssistantAI (Code) | | The proof assistant AI receives input descriptions
AIInput from the
ProofAssistantController . These descriptions are
analyzed, an action
AIAction is chosen and send back to the
controller which interprets the action.
|
| Constructor Summary | |
| public | ProofAssistantAI()
creates and initializes the AI, i.e. |
| Method Summary | |
| public AIAction | analyze(AIInput input)
analyzes the given input and decides about the action to be
taken
Parameters:
input - the AIInput to be evaluated the action to be performed, e.g. |
| ProofAssistantAI | | public ProofAssistantAI()(Code) | | creates and initializes the AI, i.e. loads the dictionary
|
| analyze | | public AIAction analyze(AIInput input)(Code) | | analyzes the given input and decides about the action to be
taken
Parameters:
input - the AIInput to be evaluated the action to be performed, e.g. display a text in theuser interface, set prover options etc. |
|
|