Class

galileo.logic

BoolNot

Related Doc: package logic

Permalink

case class BoolNot(e: Expr) extends Expr with Bool1 with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Bool1, Expr, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BoolNot
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Bool1
  7. Expr
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new BoolNot(e: Expr)

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def +(that: Expr): Expr

    Permalink
    Definition Classes
    Expr

  4. def -(that: Expr): Sum

    Permalink
    Definition Classes
    Expr

  5. def <(that: Expr): Boolean

    Permalink
    Definition Classes
    Expr

  6. def <(d: Double): Boolean

    Permalink
    Definition Classes
    Expr

  7. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  8. def >(d: Double): Boolean

    Permalink
    Definition Classes
    Expr

  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. def denominatorToString(): String

    Permalink
    Definition Classes
    Expr

  12. def derive(v: Variable): Expr

    Permalink
    Definition Classes
    Expr

  13. val doubleValue: Double

    Permalink
    Definition Classes
    Expr

  14. val e: Expr

    Permalink
    Definition Classes
    BoolNot → Bool1

  15. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  16. def eval(): Expr

    Permalink
    Definition Classes
    Expr

  17. def expand: Expr

    Permalink
    Definition Classes
    Expr

  18. def extractFactor(e: Expr): Option[Expr]

    Permalink
    Definition Classes
    Expr

  19. def factor: Expr

    Permalink
    Definition Classes
    Expr

  20. def factorToString(): String

    Permalink
    Definition Classes
    Expr

  21. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  22. def flatFactors: List[Expr]

    Permalink
    Definition Classes
    Expr

  23. def flatTerms: List[Expr]

    Permalink
    Definition Classes
    Expr

  24. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  25. def info(env: Option[Environment] = None): String

    Permalink
    Definition Classes
    BoolNot → Expr

  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  27. def leadingVariable: Option[String]

    Permalink
    Definition Classes
    Expr

  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. def possibleFactors: List[Expr]

    Permalink
    Definition Classes
    Expr

  32. def simplify: Expr

    Permalink
    Definition Classes
    Expr

  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  34. def toStringWithSign(): String

    Permalink
    Definition Classes
    Expr

  35. def unary_-(): Expr

    Permalink
    Definition Classes
    Expr

  36. def variables: List[Variable]

    Permalink
    Definition Classes
    Bool1

  37. def visit(env: Option[Environment] = None): Expr

    Permalink
    Definition Classes
    Expr

  38. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  39. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  40. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Bool1

Inherited from Expr

Inherited from AnyRef

Inherited from Any

Ungrouped