toLogicMap method

Map<Logic, bool?> toLogicMap()

Implementation

Map<Logic, bool?> toLogicMap() {
  return {
    LogicAtom("commutative"): commutative,
    LogicAtom("complex"): complex,
    LogicAtom("imaginary"): imaginary,
    LogicAtom("real"): real,
    LogicAtom("extendedReal"): extendedReal,
    LogicAtom("integer"): integer,
    LogicAtom("nonInteger"): nonInteger,
    LogicAtom("odd"): odd,
    LogicAtom("even"): even,
    LogicAtom("prime"): prime,
    LogicAtom("composite"): composite,
    LogicAtom("zero"): zero,
    LogicAtom("nonzero"): nonzero,
    LogicAtom("rational"): rational,
    LogicAtom("algebraic"): algebraic,
    LogicAtom("transcendental"): transcendental,
    LogicAtom("irrational"): irrational,
    LogicAtom("finite"): finite,
    LogicAtom("infinite"): infinite,
    LogicAtom("negative"): negative,
    LogicAtom("nonNegative"): nonNegative,
    LogicAtom("positive"): positive,
    LogicAtom("nonPositive"): nonPositive,
    LogicAtom("extendedNegative"): extendedNegative,
    LogicAtom("extendedNonNegative"): extendedNonNegative,
    LogicAtom("extendedPositive"): extendedPositive,
    LogicAtom("extendedNonPositive"): extendedNonPositive,
    LogicAtom("extendedNonzero"): extendedNonzero,
    LogicAtom("hermitian"): hermitian,
    LogicAtom("antiHermitian"): antiHermitian,
  };
}