proposit-core
    Preparing search index...

    Interface TCoreValidityCheckResult

    interface TCoreValidityCheckResult {
        checkedVariableIds?: string[];
        counterexamples?: TCoreCounterexample[];
        isValid?: boolean;
        numAdmissibleAssignments?: number;
        numAssignmentsChecked?: number;
        ok: boolean;
        truncated?: boolean;
        validation?: TCoreValidationResult;
    }
    Index

    Properties

    checkedVariableIds? counterexamples? isValid? numAdmissibleAssignments? numAssignmentsChecked? ok truncated? validation?

    Properties

    checkedVariableIds?: string[]

    Variable IDs used to generate the checked assignments.

    counterexamples?: TCoreCounterexample[]

    Counterexamples found (one or many depending on mode/options).

    isValid?: boolean

    Validity result when known; may be omitted if truncated before conclusion.

    numAdmissibleAssignments?: number

    Number of assignments satisfying all constraints.

    numAssignmentsChecked?: number

    Total number of assignments evaluated (including inadmissible ones).

    ok: boolean

    false means the validity check could not run to completion.

    truncated?: boolean

    true iff checking stopped due to a configured limit.

    validation?: TCoreValidationResult

    Validation output when ok === false.

    Settings

    Member Visibility

    On This Page

    Properties