proposit-core
    Preparing search index...

    Type Alias TArgumentParserResult<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom>

    The result returned by ArgumentParser.build().

    type TArgumentParserResult<
        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,
    > = {
        claimAxiomLibrary: ClaimAxiomLibrary<TAxiom>;
        claimCitationLibrary: ClaimCitationLibrary<TCitation>;
        claimLibrary: ClaimLibrary<TClaim>;
        engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
        warnings: TParserWarning[];
    }

    Type Parameters

    Index

    Properties

    claimAxiomLibrary claimCitationLibrary claimLibrary engine warnings

    Properties

    claimAxiomLibrary: ClaimAxiomLibrary<TAxiom>
    claimCitationLibrary: ClaimCitationLibrary<TCitation>
    claimLibrary: ClaimLibrary<TClaim>
    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>
    warnings: TParserWarning[]

    Settings

    Member Visibility

    On This Page

    Properties