Interface TArgumentEvaluationContext

argumentId

conclusionPremiseId

getConclusionPremise

• getConclusionPremise(): TEvaluablePremise | undefined

  Returns the conclusion PremiseEngine, or undefined.

  Returns TEvaluablePremise | undefined

getPremise

• getPremise(premiseId: string): TEvaluablePremise | undefined

  Look up a premise by ID.

  Parameters

  • premiseId: string

  Returns TEvaluablePremise | undefined

getVariable

• getVariable(
      variableId: string,
  ):
      | {
          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;
      }
      | undefined

  Look up a variable by ID.

  Parameters

  • variableId: string

  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;
      }
      | undefined

listPremises

• listPremises(): TEvaluablePremise[]

  Returns all premises.

  Returns TEvaluablePremise[]

listSupportingPremises

• listSupportingPremises(): TEvaluablePremise[]

  Returns supporting premises (inference premises minus conclusion).

  Returns TEvaluablePremise[]

validateEvaluability

• validateEvaluability(): TCoreValidationResult

  Pre-evaluation structural validation.

  Returns TCoreValidationResult