AttackRelationModule

When an argument attacks another one directly (module attackRelation): rebutting or undermining it through a conflict between their conclusions, rebutting or undermining it through a contrary premise, or undercutting its top rule. Whether the attack succeeds is up to the graph extensions (preferences, restrictions).

Properties

Link copied to clipboard
override val alias: String
Link copied to clipboard
open override val baseContent: Library
Link copied to clipboard
open override val baseFlags: Iterable<ArgsFlag<*, *>>
Link copied to clipboard
open override val prologRawTheory: String
Link copied to clipboard
open override val prologTheory: Theory
Link copied to clipboard
open override val theoryOperators: OperatorSet

Functions

Link copied to clipboard
open fun content(): Library
Link copied to clipboard
open fun flags(): Iterable<ArgsFlag<*, *>>
Link copied to clipboard
override fun identifier(): String