Provides score search support for the IOzSeF constraint solvers (http://www.mozart-oz.org/mogul/doc/tack/iozsef/iozsef.html). First install IOzSeF as described in the Strasheela installation instructions.

Functor

IOzSeF ("IOzSeF.oz")

Import

• Browser(browse:Browse)
• IOzSeF at "x-ozlib://tack/iozsef/iozsef.ozf"
• GUtils at "x-ozlib://anders/strasheela/source/GeneralUtils.ozf"
• Score at "x-ozlib://anders/strasheela/source/ScoreCore.ozf"
• Out at "x-ozlib://anders/strasheela/source/Output.ozf"
• SDistro at "x-ozlib://anders/strasheela/source/ScoreDistribution.ozf"
• ScoreInspector at "x-ozlib://anders/strasheela/ScoreInspector/ScoreInspector.ozf"

Export

• init:<P/2:IozsefInit>
• initBest:<P/3:IozsefInitBest>
• exploreOne:<P/2:IozsefExploreOne>
• exploreAll:<P/2:IozsefExploreAll>
• exploreBest:<P/3:IozsefExploreBest>
• searchOne:<P/2:IozsefSearchOne>
• searchAll:<P/2:IozsefSearchAll>
• searchBest:<P/3:IozsefSearchBest>
• <P/0:AddIOzSeFOuts>

Define

proc{IozsefInit ScoreScript Args}
proc{IozsefInitBest ScoreScript OrderP Args}
Calls IOzSeF.init/IOzSeF.initBest with a script created by SDistro.makeSearchScript. It opens the IOzSeF 'Explorer' without starting any search. Best solution is performed with respect to OrderP (a binary procedure). This variant of the Explorer provides additional features (e.g., support for more forms of recomputation, and various search strategies). It requires an installation of IOzSeF, see http://www.mozart-oz.org/mogul/doc/tack/iozsef/iozsef.html. The meaning of the arguments are the same as for SDistro.makeSearchScript.

Please see the IOzSeF documentation for more information. Note the following procedures
- IOzSeF.getSolutions: Returns the solutions found so far during interactive exploration
- IOzSeF.cancelExploration: Cancels the current interactive exploration.


proc{IozsefExploreOne ScoreScript Args}
proc{IozsefExploreAll ScoreScript Args}
proc{IozsefExploreBest ScoreScript OrderP Args}
Calls IOzSeF.exploreOne/IOzSeF.exploreAll/IOzSeF.exploreBest with a script created by SDistro.makeSearchScript. Best solution is performed with respect to OrderP (a binary procedure). This variant of the Explorer provides additional features (e.g., support for more forms of recomputation, and various search strategies). It requires an installation of IOzSeF, see http://www.mozart-oz.org/mogul/doc/tack/iozsef/iozsef.html. The meaning of the arguments are the same as for SDistro.makeSearchScript.

Please see the IOzSeF documentation for more information. Note the following procedures
- IOzSeF.getSolutions: Returns the solutions found so far during interactive exploration
- IOzSeF.cancelExploration: Cancels the current interactive exploration.


proc{IozsefSearchOne ScoreScript Args}
proc{IozsefSearchAll ScoreScript Args}
proc{IozsefSearchBest ScoreScript OrderP Args}
Calls IOzSeF.searchOne/IOzSeF.searchAll/IOzSeF.searchBest with a script created by SDistro.makeSearchScript. Best solution is performed with respect to OrderP (a binary procedure). It requires an installation of IOzSeF, see http://www.mozart-oz.org/mogul/doc/tack/iozsef/iozsef.html. The meaning of the arguments are the same as for SDistro.makeSearchScript.

Please see the IOzSeF documentation for more information. Note the following procedures
- IOzSeF.cancelSearch: Cancels the current non-interactive search.
- IOzSeF.setOption(Key Value) sets options like explorationStrat (dfs,bdfs,id,lds), noOfSols (0,...), recompStrat (plain,fixed,adaptive), mrd (0,...)
- IOzSeF.getTime


proc{AddIOzSeFOuts }
Extends the IOzSeF menu "Options -> Information Action" by a few entries to output scores into various formats just by clicking the solution nodes in the Explorer. This procedure adds standard output formats like Csound, Lilypond, and MIDI, as well as further formats like ENP and Fomus.



End