Interface TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>

Top-level diff result from diffArguments.

interface TCoreArgumentDiff<
    TArg extends TCoreArgument = TCoreArgument,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
> {
    argument: TCoreEntityFieldDiff<TArg>;
    premises: TCorePremiseSetDiff<TPremise, TExpr>;
    roles: TCoreRoleDiff;
    variables: TCoreEntitySetDiff<TVar>;
}

Type Parameters

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

Index

Properties

argument premises roles variables

Properties

argument

argument: TCoreEntityFieldDiff<TArg>

premises

premises: TCorePremiseSetDiff<TPremise, TExpr>

roles

roles: TCoreRoleDiff

variables

variables: TCoreEntitySetDiff<TVar>