Screenshots

A few screenshots illustrating jInfer's GUI.

Overall view of jInfer GUI.
Overall view of jInfer GUI.
Rule displayer.
Rule displayer showing a simple initial grammar.
Automaton editor - simple case.
Automaton editor used for interactive simplification showing an easy case to simplify.
Automaton editor - more complex case.
The same editor showing a slightly more complex case.
Project properties window.
Properties window of a jInfer project.
Result of an inference run - XSD schema.
Result of an inference run - new XSD schema.