proposit-core
    Preparing search index...

    Interface TCoreArgumentEvaluationResult

    interface TCoreArgumentEvaluationResult {
        allSupportingPremisesTrue?: TCoreTrivalentValue;
        assignment?: TCoreExpressionAssignment;
        conclusion?: TCorePremiseEvaluationResult;
        conclusionTrue?: TCoreTrivalentValue;
        constraintPremises?: TCorePremiseEvaluationResult[];
        isAdmissibleAssignment?: TCoreTrivalentValue;
        isCounterexample?: TCoreTrivalentValue;
        ok: boolean;
        preservesTruthUnderAssignment?: TCoreTrivalentValue;
        propagatedVariableValues?: Record<string, TCoreTrivalentValue>;
        referencedVariableIds?: string[];
        supportingPremises?: TCorePremiseEvaluationResult[];
        validation?: TCoreValidationResult;
    }
    Index

    Properties

    allSupportingPremisesTrue? assignment? conclusion? conclusionTrue? constraintPremises? isAdmissibleAssignment? isCounterexample? ok preservesTruthUnderAssignment? propagatedVariableValues? referencedVariableIds? supportingPremises? validation?

    Properties

    allSupportingPremisesTrue?: TCoreTrivalentValue

    true iff every supporting premise evaluates to true.

    assignment?: TCoreExpressionAssignment

    The assignment used for this evaluation.

    conclusion?: TCorePremiseEvaluationResult

    Evaluation result for the designated conclusion premise.

    conclusionTrue?: TCoreTrivalentValue

    The truth value of the conclusion premise root expression.

    constraintPremises?: TCorePremiseEvaluationResult[]

    Evaluation results for constraint premises (used to determine admissibility).

    isAdmissibleAssignment?: TCoreTrivalentValue

    true iff all constraint premises evaluate to true under the assignment.

    isCounterexample?: TCoreTrivalentValue

    true iff constraints are satisfied, all supporting premises are true, and the conclusion is false.

    ok: boolean

    false means evaluation could not be completed (typically validation failure).

    preservesTruthUnderAssignment?: TCoreTrivalentValue

    Convenience inverse of isCounterexample for the evaluated assignment.

    propagatedVariableValues?: Record<string, TCoreTrivalentValue>

    Evaluator's authoritative propagated variable values across the whole argument. Populated only when includeDiagnostics: true. Key set matches referencedVariableIds; still-unresolved variables appear with value null.

    referencedVariableIds?: string[]

    All variable IDs referenced across evaluated supporting/conclusion/constraint premises.

    supportingPremises?: TCorePremiseEvaluationResult[]

    Evaluation results for premises designated as supporting the argument.

    validation?: TCoreValidationResult

    Validation output when ok === false, or when validation was requested and included.

    Settings

    Member Visibility

    On This Page

    Properties