Interface TCoreArgumentEvaluationOptions

interface TCoreArgumentEvaluationOptions {
    includeDiagnostics?: boolean;
    includeExpressionValues?: boolean;
    strictUnknownAssignmentKeys?: boolean;
    validateFirst?: boolean;
}

Properties

includeDiagnostics?: boolean

Include inference diagnostics in premise results.

includeExpressionValues?: boolean

Include per-expression truth maps in premise results (may be verbose).

strictUnknownAssignmentKeys?: boolean

Reject assignment keys that are not referenced by the evaluated premises.

validateFirst?: boolean

Run argument/premise evaluability validation before evaluating.