Type Definitions
Circuit
Represents a boolean equation/circuit consisting
of OR and AND
Type:
TruthPath
If `circuit` is BoolVar, TruthPath is a Boolean.
Otherwise, `circuit` is a AllQuantifier | AnyQuantifier,
and TruthPath is an array of TruthPaths that corresponds
to its children.
E.g., ALL( ANY(A,B), C ).
Suppose A is false, B is true and C is true. Then TruthPath is [[false, true], true]
E.g., ALL( ANY(A,B), C ).
Suppose A is false, B is true and C is true. Then TruthPath is [[false, true], true]
Type:
- Boolean | Array.<TruthPath>
- Source:
TruthValue
Represents a truth value
- 'T': True
- 'F': False
- 'U': unknown (user may have clicked "don't know")
- null : user hasn't clicked on anything
- 'T': True
- 'F': False
- 'U': unknown (user may have clicked "don't know")
- null : user hasn't clicked on anything
Type:
- null | 'U' | 'T' | 'F'