Uses of Package
demo.inpro.synthesis

Packages that use demo.inpro.synthesis

demo.inpro.synthesis

Classes in demo.inpro.synthesis used by demo.inpro.synthesis

PatternDemonstrator
implementing classes should call super() in their constructor place the JEditorPane PatternDemonstrator.generatedText somewhere hook up PatternDemonstrator.goAction which starts synthesis

PatternDemonstrator.InstallmentAction

PatternDemonstrator.StartAction
action that triggers a new installment to be created and hooked up with the installment actions

TreeStructuredInstallmentIU
multiple synthesis paths organized in a tree structure.