All Downloads are FREE. Search and download functionalities are using the official Maven repository.

it.unibo.jakta.agents.bdi.goals.impl.ActExternallyImpl.kt Maven / Gradle / Ivy

package it.unibo.jakta.agents.bdi.goals.impl

import it.unibo.jakta.agents.bdi.goals.Act
import it.unibo.jakta.agents.bdi.goals.ActExternally
import it.unibo.jakta.agents.bdi.goals.Goal
import it.unibo.tuprolog.core.Struct
import it.unibo.tuprolog.core.Substitution

class ActExternallyImpl(override val value: Struct) : ActExternally {
    override fun applySubstitution(substitution: Substitution) =
        ActExternallyImpl(value.apply(substitution).castToStruct())

    override fun toString(): String = "ActExternally($value)"

    override fun copy(value: Struct): Goal = ActExternallyImpl(value)

    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (javaClass != other?.javaClass) return false
        other as Act
        if (value != other.value) return false
        return true
    }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy