Implicits.scala 345 Bytes
Newer Older
1
package de.tum.niwo
Christian Müller's avatar
Christian Müller committed
2

3
import de.tum.niwo.foltl.FOLTL._
Christian Müller's avatar
Christian Müller committed
4
import scalax.collection.edge.LBase.LEdgeImplicits
5
import de.tum.niwo.blocks.SimpleWFBlock
Christian Müller's avatar
Christian Müller committed
6

Christian Müller's avatar
Christian Müller committed
7
object Implicits  {
Christian Müller's avatar
Christian Müller committed
8 9 10 11 12 13 14
  implicit def toList[A](v: A): List[A] = List(v)

  // Logic
  implicit def nameToVar(name: String) = Var(name)
  
  implicit def nameToVarList(name: String) = List(Var(name))
}