c

z3.scala.dsl

BVAddNoOverflow

case class BVAddNoOverflow[+A >: BottomSort <: BVSort](left: Tree[A], right: Tree[A], isSigned: Boolean) extends BinaryOp[A, BVSort] with Product with Serializable

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

Instance Constructors

  1. new BVAddNoOverflow(left: Tree[A], right: Tree[A], isSigned: Boolean)

Value Members

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