Packages

case class INot(subformula: IFormula) extends IFormula with Product with Serializable

Negation of a formula.

Linear Supertypes
Serializable, Product, Equals, IFormula, IExpression, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. INot
  2. Serializable
  3. Product
  4. Equals
  5. IFormula
  6. IExpression
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new INot(subformula: IFormula)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def &(that: IFormula): IFormula

    Conjunction of two formulas.

    Conjunction of two formulas.

    Definition Classes
    IFormula
  4. def &&&(that: IFormula): IFormula

    Conjunction operator that directly simplify expressions involving true/false.

    Conjunction operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  5. def </>(that: IFormula): IFormula

    Exclusive-or of two formulas.

    Exclusive-or of two formulas.

    Definition Classes
    IFormula
  6. def <===>(that: IFormula): IFormula

    Equivalence operator that directly simplify expressions involving true/false.

    Equivalence operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  7. def <=>(that: IFormula): IFormula

    Equivalence of two formulas.

    Equivalence of two formulas.

    Definition Classes
    IFormula
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def ===>(that: IFormula): IFormula

    Implication operator that directly simplify expressions involving true/false.

    Implication operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  10. def ==>(that: IFormula): IFormula

    Implication between two formulas.

    Implication between two formulas.

    Definition Classes
    IFormula
  11. def andSimplify(that: IFormula): IFormula

    Conjunction operator that directly simplify expressions involving true/false.

    Conjunction operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  12. def apply(i: Int): IFormula

    Return the ith sub-expression.

    Return the ith sub-expression.

    Definition Classes
    INot → IExpression
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def eqvSimplify(that: IFormula): IFormula

    Equivalence operator that directly simplify expressions involving true/false.

    Equivalence operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  18. val hashCode: Int
    Definition Classes
    INot → AnyRef → Any
  19. def impSimplify(that: IFormula): IFormula

    Disjunction operator that directly simplify expressions involving true/false.

    Disjunction operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  20. def isFalse: Boolean

    Incomplete check whether the given formula is unsatisfiable.

    Incomplete check whether the given formula is unsatisfiable.

    Definition Classes
    IFormula
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def isTrue: Boolean

    Incomplete check whether the given formula is valid.

    Incomplete check whether the given formula is valid.

    Definition Classes
    IFormula
  23. def iterator: Iterator[IExpression]

    Iterator over the sub-expressions of this expression.

    Iterator over the sub-expressions of this expression.

    Definition Classes
    IExpression
  24. def length: Int

    Number of sub-expressions.

    Number of sub-expressions.

    Definition Classes
    INot → IExpression
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. def notSimplify: IFormula

    Negation of a formula, with direct simplification.

    Negation of a formula, with direct simplification.

    Definition Classes
    IFormula
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  29. def orSimplify(that: IFormula): IFormula

    Disjunction operator that directly simplify expressions involving true/false.

    Disjunction operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula
  30. def productElementNames: Iterator[String]
    Definition Classes
    Product
  31. def subExpressions: IndexedSeq[IExpression]

    The sub-expressions of this expression.

    The sub-expressions of this expression.

    Definition Classes
    IExpression
  32. val subformula: IFormula
  33. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  34. def toString(): String
    Definition Classes
    INot → AnyRef → Any
  35. def unary_!: IFormula

    Negation of a formula.

    Negation of a formula.

    Definition Classes
    IFormula
  36. def unary_~: IFormula

    Negation of a formula, with direct simplification.

    Negation of a formula, with direct simplification.

    Definition Classes
    IFormula
  37. def update(newSubExprs: Seq[IExpression]): INot

    Replace the subexpressions of this node with new expressions

    Replace the subexpressions of this node with new expressions

    Definition Classes
    INot → IFormula → IExpression
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  40. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  41. def |(that: IFormula): IFormula

    Disjunction of two formulas.

    Disjunction of two formulas.

    Definition Classes
    IFormula
  42. def |||(that: IFormula): IFormula

    Disjunction operator that directly simplify expressions involving true/false.

    Disjunction operator that directly simplify expressions involving true/false.

    Definition Classes
    IFormula

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from IFormula

Inherited from IExpression

Inherited from AnyRef

Inherited from Any

Ungrouped