proposit-core
    Preparing search index...

    Type Alias TAutoNormalizeConfig

    Granular auto-normalization flags.

    Each flag controls a specific automatic structural correction during expression mutation operations. Using this object instead of a plain boolean for autoNormalize allows fine-grained control over which normalizations are applied.

    type TAutoNormalizeConfig = {
        absorbSameOperator: boolean;
        collapseDoubleNegation: boolean;
        collapseEmptyFormula: boolean;
        negationInsertFormula: boolean;
        repositionOnCollision: boolean;
        wrapInsertFormula: boolean;
    }
    Index

    Properties

    absorbSameOperator collapseDoubleNegation collapseEmptyFormula negationInsertFormula repositionOnCollision wrapInsertFormula

    Properties

    absorbSameOperator: boolean

    Absorb same-operator children through a formula after an operator swap in updateExpression.

    collapseDoubleNegation: boolean

    Collapse double negation (NOT(NOT(x)) → x) during toggleNegation and normalize.

    collapseEmptyFormula: boolean

    Collapse empty formulas/operators and promote single children after removal.

    negationInsertFormula: boolean

    Insert a formula buffer when toggleNegation wraps a non-not operator in NOT.

    repositionOnCollision: boolean

    Auto-redistribute sibling positions when a midpoint collision is detected.

    wrapInsertFormula: boolean

    Insert a formula node when wrapping/inserting creates operator-under-operator.

    Settings

    Member Visibility

    On This Page

    Properties