Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface IInference

An inference in an argument's premise-conclusion-structure (pcs). To keep the pcs simple, inferences are stored as property of the conclusion statement that is inferred. Thus, the last statement of a pcs will always be a conclusion containing an inference.

Inferences can be identified by their argument's title and their conclusion's index in the argument's pcs.

Hierarchy

Index

Properties

Optional argumentTitle

argumentTitle: undefined | string

The title of the argument of whose pcs this inference is a part of

Optional conclusionIndex

conclusionIndex: undefined | number

The pcs index of the conclusion containing this inference

Optional data

data: any

Optional endColumn

endColumn: undefined | number

Optional endLine

endLine: undefined | number

Optional endOffset

endOffset: undefined | number

Optional inferenceRules

inferenceRules: string[]

Optional relations

relations: IRelation[]

Optional section

section: ISection | null

Optional startColumn

startColumn: undefined | number

Optional startLine

startLine: undefined | number

Optional startOffset

startOffset: undefined | number

Optional title

title: undefined | string

type

type: INFERENCE

Generated using TypeDoc