Type Members

1.  case class AndExpr(a: BooleanExpr, b: BooleanExpr) extends BooleanExpr with Product with Serializable
2.  trait Backend extends AnyRef
3.  sealed trait BooleanExpr extends Node
4.  sealed trait Node extends AnyRef
5.  case class NotExpr(e: BooleanExpr) extends BooleanExpr with Product with Serializable
6.  case class OrExpr(a: BooleanExpr, b: BooleanExpr) extends BooleanExpr with Product with Serializable
7.  case class PropSeq(s: Sequence) extends Property with Product with Serializable
8.  sealed trait Property extends Node
9.  case class PropertyEnv(preds: Map[String, Expression]) extends Product with Serializable
10.  case class PropertyTop(prop: Property, name: String = "", predicates: Seq[String] = Seq(), disableIff: BooleanExpr = FalseExpr, op: VerificationOp = NoOp) extends Node with Product with Serializable
11.  case class SeqConcat(s1: Sequence, s2: Sequence) extends Sequence with Product with Serializable
12.  case class SeqFuse(s1: Sequence, s2: Sequence) extends Sequence with Product with Serializable
13.  case class SeqImplies(s1: Sequence, p1: Property) extends Sequence with Product with Serializable
14.  case class SeqImpliesNext(s1: Sequence, p1: Property) extends Sequence with Product with Serializable
15.  case class SeqIntersect(s1: Sequence, s2: Sequence) extends Sequence with Product with Serializable
16.  case class SeqNot(s1: Sequence) extends Sequence with Product with Serializable
17.  case class SeqOr(s1: Sequence, s2: Sequence) extends Sequence with Product with Serializable
18.  case class SeqPred(predicate: BooleanExpr) extends Sequence with Product with Serializable
19.  sealed trait Sequence extends Node
20.  case class SymbolExpr(name: String) extends BooleanExpr with Product with Serializable
21.  sealed trait VerificationOp extends AnyRef