PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.entity/io.github.srs.model.entity.dynamicentity/io.github.srs.model.entity.dynamicentity.agent/io.github.srs.model.entity.dynamicentity.agent.termination/CoverageTermination

CoverageTermination

io.github.srs.model.entity.dynamicentity.agent.termination.CoverageTermination
final case class CoverageTermination() extends StatefulTermination[Agent, ExplorationTerminationState]

A termination condition that ends an agent’s exploration when a given percentage of the environment has been visited.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def compute(prev: BaseState, current: BaseState, entity: Agent, action: Action[_[_]], state: ExplorationTerminationState): (Boolean, ExplorationTerminationState)

Computes whether the exploration termination condition has been met.

Computes whether the exploration termination condition has been met.

Value parameters

action

the action taken by the agent

current

current simulation state

entity

the agent whose termination condition is being evaluated

prev

previous simulation state

state

the mutable ExplorationTerminationState being updated

Attributes

Returns

a tuple (terminated: Boolean, updatedState: ExplorationState)

Definition Classes

Inherited methods

final override def evaluate(prev: BaseState, curr: BaseState, entity: Agent, action: Action[_[_]]): Boolean

Attributes

Definition Classes
Inherited from:
StatefulTermination
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with