Setup Annotations

These are the annotations which can be used to set details about the learning setup, such as which methods should be called to start, initialize and shut down the SUL and which methods should be called to ensure equivalence between queries. Below all annotations are showcased together with a small example. More information about their exact workings can be found in the JavaDoc.

@Start

The Start is used to indicate which method should be called to start the SUL and which kind of automaton should be learned.

@Start(automaton = "MealyMachine")
@Override
public static void main(String[] args) throws Exception { 
    // code
}

@Shutdown

@Initialize

@PreQuery

@PostQuery

@PreInputInvocation

@PostInputInvocation

@PreOutputInvocation

@PostOutputInvocation