AttackCandidatesModule

The statements whose arguments may attack an argument, or be attacked by it (module attackCandidates): the graph builders only check the attacks (see the module attackRelation) between an argument and the arguments for these statements, and query mode explores them.

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