|Read stages from XML files, and write solutions to XML files.
|data Statistics |
|Statistics for a process of stage solving.
|statElapsed :: !NominalDiffTime||The number of seconds spent to find solutions or to prove
unexistence of any.
|statTestedStates :: !Int||The number of states examined to find solutions or to
prove unexistence of any.
|readStage :: IOSArrow XmlTree Stage|
Validates and reads a Stage from XmlTree.
- Example of input XML
- See example/simple.xml
- The RelaxNG schema
- See schemas/lupu-stage-1.0.rng
|writeSolution :: IOSArrow (Stage, (Maybe Solution, Maybe Statistics)) XmlTree|
Writes a Stage, Solution and Statistics to XmlTree.
- Example of output XML
- Run roro example/simple.xml and see what
appears to the stdout.
|Produced by Haddock version 2.1.0|