Class

cafesat.api.Formulas

PropVar

Related Doc: package Formulas

Permalink

class PropVar extends Formula

Represents a propositional variable.

The constructor is private to the package, you can get an instance of PropVar by using FormulaBuilder.propVar.

Linear Supertypes
Formula, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. PropVar
  2. Formula
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

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: Formula): Formula

    Permalink

    Returns the conjunction of this and that.

    Returns the conjunction of this and that.

    Definition Classes
    Formula

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

    Permalink
    Definition Classes
    AnyRef → Any

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  8. def equals(other: Any): Boolean

    Permalink
    Definition Classes
    Formula → AnyRef → Any

  9. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  11. def hashCode(): Int

    Permalink
    Definition Classes
    Formula → AnyRef → Any

  12. def iff(that: Formula): Formula

    Permalink

    Returns a formula representing the equivalence of this and that.

    Returns a formula representing the equivalence of this and that.

    Definition Classes
    Formula

  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  15. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  17. def size: Int

    Permalink

    Returns the number of nodes in the Formula

    Returns the number of nodes in the Formula

    A variable counts as one node, and any conjunction, disjunction, and negation of a node counts as an additional node.

    Definition Classes
    Formula

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

    Permalink
    Definition Classes
    AnyRef

  19. def toString(): String

    Permalink
    Definition Classes
    Formula → AnyRef → Any

  20. def unary_!(): Formula

    Permalink

    Returns the negation of this.

    Returns the negation of this.

    Definition Classes
    Formula

  21. final def wait(): Unit

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

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

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

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

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

  24. def xor(that: Formula): Formula

    Permalink

    Returns a formula representing the xor of this and that.

    Returns a formula representing the xor of this and that.

    Definition Classes
    Formula

  25. def ||(that: Formula): Formula

    Permalink

    Returns the disjunction of this and that.

    Returns the disjunction of this and that.

    Definition Classes
    Formula

Inherited from Formula

Inherited from AnyRef

Inherited from Any

Ungrouped