proposit-core
    Preparing search index...

    Interface TCoreValidityCheckOptions

    interface TCoreValidityCheckOptions {
        excludedVariableIds?: Set<string>;
        forcedTrueVariableIds?: Set<string>;
        includeCounterexampleEvaluations?: boolean;
        maxAssignmentsChecked?: number;
        maxVariables?: number;
        mode?: "firstCounterexample" | "exhaustive";
        validateFirst?: boolean;
    }
    Index

    Properties

    excludedVariableIds? forcedTrueVariableIds? includeCounterexampleEvaluations? maxAssignmentsChecked? maxVariables? mode? validateFirst?

    Properties

    excludedVariableIds?: Set<string>

    IDs to exclude from the 2^n enumeration. Used for axiomatic-bound variables that are forced-true by the engine — they do not appear as free choices in the truth-table search.

    forcedTrueVariableIds?: Set<string>

    IDs that are fixed to true in every generated assignment. Typically the same set as excludedVariableIds — axiomatic-bound variables are both excluded from enumeration and pinned to true in each row.

    includeCounterexampleEvaluations?: boolean

    Include full evaluation payloads for captured counterexamples.

    maxAssignmentsChecked?: number

    Safety limit for generated assignments checked before truncating.

    maxVariables?: number

    Safety limit for the number of variables used in truth-table generation.

    mode?: "firstCounterexample" | "exhaustive"

    Stop at first counterexample or continue exhaustively.

    validateFirst?: boolean

    Run evaluability validation before truth-table search.

    Settings

    Member Visibility

    On This Page

    Properties