proposit-core
    Preparing search index...

    Interface TCoreExpressionAssignment

    Full expression assignment: variable truth values and operator acceptance states.

    interface TCoreExpressionAssignment {
        operatorAssignments: Record<string, TCoreOperatorAssignment>;
        variables: TCoreVariableAssignment;
    }
    Index

    Properties

    operatorAssignments: Record<string, TCoreOperatorAssignment>

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

    Variable ID → true/false/null (null = unset/not sure).