Interface TArgumentRoleState<TArg, TPremise, TExpr, TVar>

Conclusion and supporting premise role management.

interface TArgumentRoleState<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> {
    clearConclusionPremise(): TCoreMutationResult<
        { conclusionPremiseId?: string },
        TExpr,
        TVar,
        TPremise,
        TArg,
    >;
    getConclusionPremise(): | PremiseEngine<TArg, TPremise, TExpr, TVar>
    | undefined;
    getRoleState(): { conclusionPremiseId?: string };
    listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
    setConclusionPremise(
        premiseId: string,
    ): TCoreMutationResult<
        { conclusionPremiseId?: string },
        TExpr,
        TVar,
        TPremise,
        TArg,
    >;
}

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Implemented by

ArgumentEngine

Index

Methods

clearConclusionPremise getConclusionPremise getRoleState listSupportingPremises setConclusionPremise

Methods

clearConclusionPremise

clearConclusionPremise(): TCoreMutationResult<
    { conclusionPremiseId?: string },
    TExpr,
    TVar,
    TPremise,
    TArg,
>
Clears the conclusion designation.

Returns TCoreMutationResult<
    { conclusionPremiseId?: string },
    TExpr,
    TVar,
    TPremise,
    TArg,
>
The updated role state and changeset.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:458

getConclusionPremise

getConclusionPremise(): PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined
Returns the conclusion premise, or undefined if none is set.

Returns PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined
The conclusion PremiseEngine, or undefined.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:433

getRoleState

getRoleState(): { conclusionPremiseId?: string }
Returns the current role assignments (conclusion premise ID only; supporting is derived).

Returns { conclusionPremiseId?: string }
The current argument role state.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:471

listSupportingPremises

listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[]
Returns all supporting premises (derived: inference premises that are not the conclusion) in lexicographic ID order.

Returns PremiseEngine<TArg, TPremise, TExpr, TVar>[]
An array of supporting PremiseEngine instances.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:442

setConclusionPremise

setConclusionPremise(
    premiseId: string,
): TCoreMutationResult<
    { conclusionPremiseId?: string },
    TExpr,
    TVar,
    TPremise,
    TArg,
>
Designates a premise as the argument's conclusion.
Parameters
- premiseId: string
  The ID of the premise to designate.
Returns TCoreMutationResult<
    { conclusionPremiseId?: string },
    TExpr,
    TVar,
    TPremise,
    TArg,
>
The updated role state and changeset.

Throws
If the premise does not exist.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:450

Interface TArgumentRoleState<TArg, TPremise, TExpr, TVar>

Type Parameters

Implemented by

Index

Methods

Methods

clearConclusionPremise

Returns TCoreMutationResult<
    { conclusionPremiseId?: string },
    TExpr,
    TVar,
    TPremise,
    TArg,
>

getConclusionPremise

Returns PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined

getRoleState

Returns { conclusionPremiseId?: string }

listSupportingPremises

Returns PremiseEngine<TArg, TPremise, TExpr, TVar>[]

setConclusionPremise

Parameters

Returns TCoreMutationResult<
    { conclusionPremiseId?: string },
    TExpr,
    TVar,
    TPremise,
    TArg,
>

Throws

Settings

On This Page

Interface TArgumentRoleState<TArg, TPremise, TExpr, TVar>

Type Parameters

Implemented by

Index

Methods

Methods

clearConclusionPremise

Returns TCoreMutationResult< { conclusionPremiseId?: string }, TExpr, TVar, TPremise, TArg,>

getConclusionPremise

Returns PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined

getRoleState

Returns { conclusionPremiseId?: string }

listSupportingPremises

Returns PremiseEngine<TArg, TPremise, TExpr, TVar>[]

setConclusionPremise

Parameters

Returns TCoreMutationResult< { conclusionPremiseId?: string }, TExpr, TVar, TPremise, TArg,>

Throws

Settings

On This Page

Returns TCoreMutationResult<
{ conclusionPremiseId?: string },
TExpr,
TVar,
TPremise,
TArg,
>

Returns TCoreMutationResult<
{ conclusionPremiseId?: string },
TExpr,
TVar,
TPremise,
TArg,
>