Commit a0582bfa authored by Christian Müller's avatar Christian Müller

add top,bot symbols

parent 9c620cdc
Workflow
forallmay a
forallmay a
True -> T1 += (a)
forallmay a
¬ T1(a) -> T2 += (a)
......
......@@ -114,8 +114,8 @@ object WorkflowParser extends RegexParsers with LazyLogging {
def TYPEDVAR = IDENT ~ ((":" ~> IDENT)?) ^^ { case str ~ typ => if (typ.isDefined) Var(str, typ.get) else Var(str) }
// logics
def tt = "True" ^^^ True
def ff = "False" ^^^ False
def tt = ("True" | "⊤") ^^^ True
def ff = ("False" | "⊥") ^^^ False
def AND = (repsep(TERM, "∧") | repsep(TERM, "&&")) ^^ { case ts => And.make(ts) }
def OR = (repsep(TERM, "∨") | repsep(TERM, "||")) ^^ { case ts => Or.make(ts) }
def SIMPLETERM = (tt | ff | FUN )
......
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