Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
A mapper refinement to establish the contract of a asynchronous, query-wise translation of input words.
A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.
Interface for a system under learning (SUL) that can make single steps.
Copyright © 2018. All rights reserved.