proposit-core
    Preparing search index...

    Interface TEvaluablePremise

    Narrow view of a PremiseEngine needed for evaluation.

    interface TEvaluablePremise {
        evaluate(
            assignment: TCoreExpressionAssignment,
            options?: {
                resolver?: (variableId: string) => boolean | null;
                strictUnknownKeys?: boolean;
            },
        ): TCorePremiseEvaluationResult;
        getChildExpressions(parentId: string): TCorePropositionalExpression[];
        getDecidableOperatorExpressions(): TCorePropositionalExpression[];
        getExpressions(): TCorePropositionalExpression[];
        getId(): string;
        getVariables(): (
            | {
                argumentId: string;
                argumentVersion: number;
                checksum: string;
                claimId: string;
                claimVersion: number;
                id: string;
                symbol: string;
            }
            | {
                argumentId: string;
                argumentVersion: number;
                boundArgumentId: string;
                boundArgumentVersion: number;
                boundPremiseId: string;
                checksum: string;
                id: string;
                symbol: string;
            }
        )[];
    }
    Index

    Methods

    • Returns (
          | {
              argumentId: string;
              argumentVersion: number;
              checksum: string;
              claimId: string;
              claimVersion: number;
              id: string;
              symbol: string;
          }
          | {
              argumentId: string;
              argumentVersion: number;
              boundArgumentId: string;
              boundArgumentVersion: number;
              boundPremiseId: string;
              checksum: string;
              id: string;
              symbol: string;
          }
      )[]