Chop Logic Core - v1.4.0
    Preparing search index...

    Type Alias PropFormulaVariablesMap

    PropFormulaVariablesMap: Map<number, PropAtom>

    Maps indices to atomic propositions for variable tracking. Used to maintain associations between formula parts.

    Settings

    Member Visibility