Options
All
  • Public
  • Public/Protected
  • All
Menu

Module IEquivalenceClass

Argdown statements are automatically grouped into equivalence classes by using their titles as identifiers. All member statements of such a class are considered to be logically equivalent (as essentially meaning the same).

Each [[Statement]] (apart from argument descriptions) belongs to one and only one equivalence class.

Statements for which no title is defined will be given an automatically generated one and will belong to an equivalence class with only one member.

Statements in Argdown are basically string occurrences, not strings. This means that for each time a statement is defined with a certain title and text in the Argdown source code, there will be a separate member in the equivalence class with this title. This makes it possible to save occurrence-specific data with each statement (e.g. its location in the text).

The relations/tags of an equivalence class are the union set of all relations/tags of the class members. Logical relations with other statements can be of type: entails, contrary, contradictory Dialectical relations with arguments or inferences can be of type: support, attack, undercut.

Index

Properties

Optional color

color: undefined | string

Optional data

data: any

Optional endColumn

endColumn: undefined | number

Optional endLine

endLine: undefined | number

Optional endOffset

endOffset: undefined | number

Optional isUsedAsIntermediaryConclusion

isUsedAsIntermediaryConclusion: undefined | false | true

is true if any member statement is used as a main conclusion in an argument's pcs

Optional isUsedAsMainConclusion

isUsedAsMainConclusion: undefined | false | true

is true if any member statement is used as a main conclusion in an argument's pcs

Optional isUsedAsPremise

isUsedAsPremise: undefined | false | true

is true if any member statement is used as a premise in an argument's pcs

Optional isUsedAsRelationStatement

isUsedAsRelationStatement: undefined | false | true

is true if any member statement is used as content of a relation (will ignore references)

Optional isUsedAsTopLevelStatement

isUsedAsTopLevelStatement: undefined | false | true

is true if any member statement is used as top level element (as child of the argdown rule)

members

members: IStatement[]

The statements that share the title with this equivalence class and are considered to be logically equivalent. See the description of this class for further details.

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 tags

tags: string[]

Optional title

title: undefined | string

type

Functions

Const create

Const getCanonicalMember

  • Provides a default statement that can be used to reqpresent this equivalence class. The statement chosen is the one that occurs last in the Argdown source code.

    Parameters

    Returns IStatement | undefined

Const getCanonicalMemberText

Generated using TypeDoc