Commit 0e44aaca authored by Christian Müller's avatar Christian Müller

logging, readme

parent 1eee9254
# Looping Workflows
Scala Implementation of the workflow language with loops.
Workflows can be written directly in Scala by instantiating case classes.
You can find implicits helping with that in ``de.tum.workflows.Implicits``.
For now, it is possible to generate the LTL formula for a workflow using
``Encoding.toFOLTL(w)``
and translate it to pure LTL that can be parsed by Spot.
An example can be found at ``de.tum.workflows.Main``
It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflow to the console.
(You can generate an eclipse project by running ``sbt eclipse`` after installing the sbt plugin)
......@@ -37,5 +37,5 @@ object Main extends App with LazyLogging {
// agent list
val res2 = LTL.eliminateUniversals(res, List("a"))
val res3 = LTL.eliminatePredicates(res2)
logger.info(res3.toString())
logger.info(s"Complete formula: $res3")
}
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment