Type Alias TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

TPropositCoreOptions: TPropositCoreConfig & {
    argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>;
    claimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>;
    claimCitationLibrary?: ClaimCitationLibrary<TCitation>;
    claimLibrary?: ClaimLibrary<TClaim>;
    forkLibrary?: ForkLibrary<
        TArgFork,
        TPremiseFork,
        TExprFork,
        TVarFork,
        TClaimFork,
    >;
}

Options for constructing a PropositCore instance. Accepts optional pre-constructed library instances and/or shared configuration. When a library instance is provided, it is used directly; otherwise a new one is constructed using the shared config.

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable
TClaim extends TCoreClaim = TCoreClaim
TCitation extends TCoreClaimConnection = TCoreClaimConnection
TAxiom extends TCoreClaimConnection = TCoreClaimConnection
TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord
TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord
TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord
TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord
TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord

Type Declaration

OptionalargumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>
Pre-constructed argument library instance.
OptionalclaimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>
Pre-constructed claim-axiom library instance.
OptionalclaimCitationLibrary?: ClaimCitationLibrary<TCitation>
Pre-constructed claim-citation library instance.
OptionalclaimLibrary?: ClaimLibrary<TClaim>
Pre-constructed claim library instance.
OptionalforkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>
Pre-constructed fork library instance.

Type Alias TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Type Parameters

Type Declaration

`Optional`argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

`Optional`claimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>

`Optional`claimCitationLibrary?: ClaimCitationLibrary<TCitation>

`Optional`claimLibrary?: ClaimLibrary<TClaim>

`Optional`forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Settings

Type Alias TPropositCoreOptions<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Type Parameters

Type Declaration

OptionalargumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

OptionalclaimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>

OptionalclaimCitationLibrary?: ClaimCitationLibrary<TCitation>

OptionalclaimLibrary?: ClaimLibrary<TClaim>

OptionalforkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Settings

`Optional`argumentLibrary?: ArgumentLibrary<TArg, TPremise, TExpr, TVar, TClaim>

`Optional`claimAxiomLibrary?: ClaimAxiomLibrary<TAxiom>

`Optional`claimCitationLibrary?: ClaimCitationLibrary<TCitation>

`Optional`claimLibrary?: ClaimLibrary<TClaim>

`Optional`forkLibrary?: ForkLibrary<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>