it.unibo.tuprolog.argumentation.actor.message.DataMessages.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of actor-solver Show documentation

A 2p-kt library for structured argumentation

There is a newer version: 0.9.0

package it.unibo.tuprolog.argumentation.actor.message

import akka.actor.typed.ActorRef

enum class Label {
    IN,
    OUT,
    UND,
    NOT_FOUND,
}

data class Response(
    val claim: String,
    val queryChain: List,
)

interface KbMessage

object Reset : KbMessage

data class Add(val elem: String) : KbMessage

data class RequireEvaluation(val elem: String, val replyTo: ActorRef) : KbMessage

data class EvaluationResponse(val inArgs: List, val outArgs: List, val undArgs: List) : KbMessage

data class Eval(val id: String, val elem: String) : KbMessage

data class EvalResponse(val id: String, val elem: String, val response: Label, val queryChain: List) : KbMessage

data class FindAttacker(val id: String, val argument: String, val queryChain: List, val replyTo: ActorRef) : KbMessage

data class ExpectedResponses(val id: String, val number: Int) : KbMessage

data class AttackerResponse(val id: String, val argument: String, val queryChain: List, val response: Label) : KbMessage