case class Iff[+A >: BottomSort <: BoolSort](left: Tree[A], right: Tree[A]) extends BinaryPred[BoolSort] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, BinaryPred[BoolSort], BinaryOp[BoolSort, BoolSort], Tree[BoolSort], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Iff
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. BinaryPred
  7. BinaryOp
  8. Tree
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Iff(left: Tree[A], right: Tree[A])

Value Members

  1. def ast(z3: Z3Context): Z3AST
    Definition Classes
    Tree
  2. val left: Tree[A]
    Definition Classes
    Iff → BinaryOp
  3. val right: Tree[A]
    Definition Classes
    Iff → BinaryOp