Base type for all ternary values.
The
The
Conflict
value. Conflict }}}
The
The
False
value. False }}}
The
The
True
value. True }}}
The
The
Undef
value. Undef }}}
Companion object allowing to create ternary values from dual rail encoded literals or from standard propositions.
Performs ternary evaluation under a given expression given a context map.
Performs ternary evaluation under a given expression given a context map.
Expression to evaluate
The evaluation context, assigns ternary values to Atoms by their integer identifier.
The evaluation of e in ctx.
Performs ternary evaluation under a given expression given a context map.
Performs ternary evaluation under a given expression given a context map.
Expression to evaluate
The evaluation context, assigns ternary values to Atoms by their integer identifier.
The evaluation of e in ctx.
Evaluates a conjunction based on its kids values.
Evaluates an atom based on its unique identifier by a lookup into the given ctx map.
Evaluates an if-then-else based on its kids values.
Evaluates a negation based on its kids values.
Evaluates a disjunction based on its kids values.
Created by rdelmas on 26/06/16.
Defines ternary semantics (true, false, X) for propositional operators and links with standard boolean semantics.