object RewriteBooleans

Source
RewriteBooleans.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RewriteBooleans
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. val ToFakeBoolean: FunctionSymbol
  2. val ToRealBoolean: FunctionSymbol
  3. def rewriteFakeBoolean(n: Node): Node
  4. def rewriteFakeBooleanEqOne(n: Node): Node
  5. def rewriteFakeBooleanWithEquals(n: Node): Node