proposit-core
    Preparing search index...

    Interface TCorePremiseEvaluationResult

    interface TCorePremiseEvaluationResult {
        expressionValues: Record<string, TCoreTrivalentValue>;
        inferenceDiagnostic?: TCorePremiseInferenceDiagnostic;
        premiseId: string;
        premiseType: "inference" | "constraint";
        rootExpressionId?: string;
        rootValue?: TCoreTrivalentValue;
        variableValues: Record<string, TCoreTrivalentValue>;
    }
    Index

    Properties

    expressionValues inferenceDiagnostic? premiseId premiseType rootExpressionId? rootValue? variableValues

    Properties

    expressionValues: Record<string, TCoreTrivalentValue>

    Per-expression truth values keyed by expression ID.

    inferenceDiagnostic?: TCorePremiseInferenceDiagnostic

    Inference-specific diagnostics for implies/iff roots.

    premiseId: string

    ID of the evaluated premise.

    premiseType: "inference" | "constraint"

    Premise classification derived from the root expression.

    rootExpressionId?: string

    Root expression ID, if the premise has a root.

    rootValue?: TCoreTrivalentValue

    Truth value of the root expression, if the premise was evaluable.

    variableValues: Record<string, TCoreTrivalentValue>

    Referenced variable truth values keyed by variable ID.

    Settings

    Member Visibility

    On This Page

    Properties