edu.williams.cs.ljil.finitizer
Interface InteractiveFrontend

All Known Implementing Classes:

FSPBuilderUI

public interface InteractiveFrontend

Author:

shimon A frontend (UI of some sort) that the FSPBuilder uses when it must prompt the user.

Method Summary

java.lang.Object

chooseFromList(java.lang.String prompt, java.lang.Object[] choices)

Method Detail

chooseFromList

java.lang.Object chooseFromList(java.lang.String prompt,
                                java.lang.Object[] choices)