|
|
|
| Description |
| Read stages from XML files, and write solutions to XML files.
|
|
| Synopsis |
|
|
|
| Documentation |
|
| data Statistics |
| Statistics for a process of stage solving.
| | Constructors | | Statistics | | | 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.
|
|
|  Instances | |
|
|
| 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 |
