c

z3.scala.dsl

SetUnion

case class SetUnion[+A >: BottomSort <: SetSort](args: Tree[A]*) extends Tree[SetSort] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Tree[SetSort], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SetUnion
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Tree
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SetUnion(args: Tree[A]*)

Value Members

  1. val args: Tree[A]*
  2. def ast(z3: Z3Context): Z3AST
    Definition Classes
    Tree