Package eu.iv4xr.framework.extensions.ltl

Interface IExplorableState

All Superinterfaces:
IState
All Known Implementing Classes:
GWState
public interface IExplorableState extends IState
Should be hashable and implements equals as well!
Author:
iswbprasetya

  • Method Summary

    Modifier and Type
    Method
    Description
    IExplorableState
    clone()
     

    Methods inherited from interface eu.iv4xr.framework.extensions.ltl.IState

    showState