Main.scala 533 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
package de.tum.workflows

import pqltl.PQLTL._
import blocks.WorkFlow._
import Implicits._

object Main extends App {
  
//  val post = Historically(Forall(List("x", "p"), Neg(And(Fun("Conf", List("x", "p")), Fun("Know", List("x", "p"))))))
//
//  val workflow = Workflow(List(
//      ForallMayBlock(List("a1", "p1"), Add(True, "Conf", List("a1", "p1"))),
//      ForallMayBlock(List("a2", "b2", "p2"), Add(Fun("Conf", List("b2", "p2")), "Know", List("a2", "p2")))
//  ))
  
//  println(Neg(post).simplify())
//  println(workflow)
}