Object

util.sat

TernaryLogic

Related Doc: package sat

Permalink

object TernaryLogic

Created by rdelmas on 26/06/16.

Defines ternary semantics (true, false, X) for propositional operators and links with standard boolean semantics.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TernaryLogic
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait TernaryVal extends AnyRef

    Permalink

    Base type for all ternary values.

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object TernaryConflict extends TernaryVal with Product with Serializable

    Permalink

    The

    The

    Conflict

    value. Conflict }}}

  5. object TernaryFalse extends TernaryVal with Product with Serializable

    Permalink

    The

    The

    False

    value. False }}}

  6. object TernaryTrue extends TernaryVal with Product with Serializable

    Permalink

    The

    The

    True

    value. True }}}

  7. object TernaryUndef extends TernaryVal with Product with Serializable

    Permalink

    The

    The

    Undef

    value. Undef }}}

  8. object TernaryVal

    Permalink

    Companion object allowing to create ternary values from dual rail encoded literals or from standard propositions.

  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. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  13. def eval(e: Expr)(implicit ctx: Map[Int, TernaryVal]): TernaryVal

    Permalink

    Performs ternary evaluation under a given expression given a context map.

    Performs ternary evaluation under a given expression given a context map.

    e

    Expression to evaluate

    ctx

    The evaluation context, assigns ternary values to Atoms by their integer identifier.

    returns

    The evaluation of e in ctx.

  14. def eval(e: Expr)(implicit ctx: Map[Int, TernaryVal]): TernaryVal

    Permalink

    Performs ternary evaluation under a given expression given a context map.

    Performs ternary evaluation under a given expression given a context map.

    e

    Expression to evaluate

    ctx

    The evaluation context, assigns ternary values to Atoms by their integer identifier.

    returns

    The evaluation of e in ctx.

  15. def evalAnd(kids: List[TernaryVal]): TernaryVal

    Permalink

    Evaluates a conjunction based on its kids values.

  16. def evalAtom(id: Int, ctx: Map[Int, TernaryVal]): TernaryVal

    Permalink

    Evaluates an atom based on its unique identifier by a lookup into the given ctx map.

  17. def evalIte(kids: List[TernaryVal]): TernaryVal

    Permalink

    Evaluates an if-then-else based on its kids values.

  18. def evalNot(kid: List[TernaryVal]): TernaryVal

    Permalink

    Evaluates a negation based on its kids values.

  19. def evalOr(kids: List[TernaryVal]): TernaryVal

    Permalink

    Evaluates a disjunction based on its kids values.

  20. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  22. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  24. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  27. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  28. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit

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

Inherited from AnyRef

Inherited from Any

Ungrouped