TernaryLogic (Averest) | Averest

TernaryLogic Type

Namespace: Averest.TeachingTools
Assembly: Averest.dll
Parent Module: TernaryLogic
Base Type: obj
All Interfaces: IEquatable<TernaryLogic> , IStructuralEquatable , IComparable<TernaryLogic> , IComparable , IStructuralComparable

this datatype defines the formulas of ternary logic; note that TernEqu is equality which is always a boolean value, and different to equivalence

Union cases

Union case	Description
`TernAbsent TernaryLogic` Full Usage: `TernAbsent TernaryLogic` Parameters: Item : `TernaryLogic`	Item : `TernaryLogic`
`TernConj(TernaryLogic, TernaryLogic)` Full Usage: `TernConj(TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic`
`TernConst THREE` Full Usage: `TernConst THREE` Parameters: Item : `THREE`	Item : `THREE`
`TernDisj(TernaryLogic, TernaryLogic)` Full Usage: `TernDisj(TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic`
`TernEqu(TernaryLogic, TernaryLogic)` Full Usage: `TernEqu(TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic`
`TernGuard(TernaryLogic, TernaryLogic)` Full Usage: `TernGuard(TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic`
`TernImpl(TernaryLogic, TernaryLogic)` Full Usage: `TernImpl(TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic`
`TernNeg TernaryLogic` Full Usage: `TernNeg TernaryLogic` Parameters: Item : `TernaryLogic`	Item : `TernaryLogic`
`TernParITE(TernaryLogic, TernaryLogic, TernaryLogic)` Full Usage: `TernParITE(TernaryLogic, TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic` Item3 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic` Item3 : `TernaryLogic`
`TernSeqITE(TernaryLogic, TernaryLogic, TernaryLogic)` Full Usage: `TernSeqITE(TernaryLogic, TernaryLogic, TernaryLogic)` Parameters: Item1 : `TernaryLogic` Item2 : `TernaryLogic` Item3 : `TernaryLogic`	Item1 : `TernaryLogic` Item2 : `TernaryLogic` Item3 : `TernaryLogic`
`TernVar string` Full Usage: `TernVar string` Parameters: Item : `string`	Item : `string`

Instance members

Instance member	Description
`this.IsTernAbsent` Full Usage: `this.IsTernAbsent` Returns: `bool`	Returns: `bool`
`this.IsTernConj` Full Usage: `this.IsTernConj` Returns: `bool`	Returns: `bool`
`this.IsTernConst` Full Usage: `this.IsTernConst` Returns: `bool`	Returns: `bool`
`this.IsTernDisj` Full Usage: `this.IsTernDisj` Returns: `bool`	Returns: `bool`
`this.IsTernEqu` Full Usage: `this.IsTernEqu` Returns: `bool`	Returns: `bool`
`this.IsTernGuard` Full Usage: `this.IsTernGuard` Returns: `bool`	Returns: `bool`
`this.IsTernImpl` Full Usage: `this.IsTernImpl` Returns: `bool`	Returns: `bool`
`this.IsTernNeg` Full Usage: `this.IsTernNeg` Returns: `bool`	Returns: `bool`
`this.IsTernParITE` Full Usage: `this.IsTernParITE` Returns: `bool`	Returns: `bool`
`this.IsTernSeqITE` Full Usage: `this.IsTernSeqITE` Returns: `bool`	Returns: `bool`
`this.IsTernVar` Full Usage: `this.IsTernVar` Returns: `bool`	Returns: `bool`
`this.toStr uppLv` Full Usage: `this.toStr uppLv` Parameters: uppLv : `int` Returns: `string`	uppLv : `int` Returns: `string`