Packages

trait AbsVar extends AnyRef

Source
Logic.scala
Linear Supertypes
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AbsVar
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def domainSyms: Option[Set[Sym]]
  2. abstract def groupedDomains: List[Set[Sym]]
  3. abstract def implications: List[(Sym, List[Sym], List[Sym])]
  4. abstract def mayBeNull: Boolean
  5. abstract def propForEqualsTo(c: Const): Prop
  6. abstract def registerEquality(c: Const): Unit
  7. abstract def registerNull(): Unit
  8. abstract def symForStaticTp: Option[Sym]