Class RabinizerState


  • @Immutable
    public abstract class RabinizerState
    extends Object
    • Constructor Detail

      • RabinizerState

        public RabinizerState()
    • Method Detail

      • monitorStates

        public abstract List<owl.translations.rabinizer.MonitorState> monitorStates()