definedFacts top-level property

List<LogicAtom> definedFacts
final

Implementation

final definedFacts = [
  LogicAtom('algebraic'),
  LogicAtom('antiHermitian'),
  LogicAtom('commutative'),
  LogicAtom('complex'),
  LogicAtom('composite'),
  LogicAtom('even'),
  LogicAtom('extendedNegative'),
  LogicAtom('extendedNonNegative'),
  LogicAtom('extendedNonPositive'),
  LogicAtom('extendedNonzero'),
  LogicAtom('extendedPositive'),
  LogicAtom('extendedReal'),
  LogicAtom('finite'),
  LogicAtom('hermitian'),
  LogicAtom('imaginary'),
  LogicAtom('infinite'),
  LogicAtom('integer'),
  LogicAtom('irrational'),
  LogicAtom('negative'),
  LogicAtom('nonInteger'),
  LogicAtom('nonNegative'),
  LogicAtom('nonPositive'),
  LogicAtom('nonzero'),
  LogicAtom('odd'),
  LogicAtom('positive'),
  LogicAtom('prime'),
  LogicAtom('rational'),
  LogicAtom('real'),
  LogicAtom('transcendental'),
  LogicAtom('zero'),
];