AttackBuilderModule

The attacks between the arguments of the graph (module attackBuilder): each argument against those that may attack it (see the module attackCandidates), as the module attackRelation states them, saved in the context (see the module graphStore, which reads them extended to the arguments built on the attacked one).

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