Options
All
  • Public
  • Public/Protected
  • All
Menu

Class ExplodeArgumentsPlugin

Hierarchy

  • ExplodeArgumentsPlugin

Implements

Index

Constructors

constructor

Properties

name

name: string = "ExplodeArgumentsPlugin"

The name of the plugin

run

run: IRequestHandler = ...

Use this method to do the main work outside of the Argdown AST. This is the last method to be called by the ArgdownApplication.

Methods

explodeArgument

getInferentialStep

getSettings

substituteStatementInEquivalenceClass

Generated using TypeDoc