AttackTerm

The term of the module AttackModule as Kotlin reads and builds it (see AttackModule)

Types

class Parts(val type: Term, val attacker: Term, val attacked: Term, val on: Term)

The parts of the term of an attack, by name

fun of(type: Term, attacker: Term, attacked: Term, on: Term): Struct

The term of an attack, made of its parts

The parts of attack, the term of an attack; null if it is not one