Interface TCoreResolvedAssignment

An assignment carrying the values constraint closure resolved, which may include CONTESTED. Evaluation feeds its own closure output back into premise evaluation through this type; a reader supplies TCoreExpressionAssignment, which is assignable to this one but never the reverse.

interface TCoreResolvedAssignment {
operatorAssignments: Record<string, TCoreOperatorAssignment>;
variables: TCoreResolvedVariableValues;
}

Index

Properties

operatorAssignments variables

Properties

operatorAssignments

operatorAssignments: Record<string, TCoreOperatorAssignment>

Operator expression ID → accepted/rejected. Unset operators evaluate normally.

variables

variables: TCoreResolvedVariableValues

Variable ID → true/false/null/contested.